Categories with Monadic Effects and State Machines by Marcin Szamotulski

In this posts we will present categories which can run monadic actions, which we call categories with monadic effects (abr. EffCategories ). It turns out that one can build them in an abstract way, much the same way as free monads, and use them to specify state machines in a succinct and type-safe manner.