Publication:2847820
From MaRDI portal
zbMath1271.18006MaRDI QIDQ2847820
Olha Shkaravska, A. John Power
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051813
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Related Items
Runners in Action, The costructure–cosemantics adjunction for comodels for computational effects, Tensors of Comodels and Models for Operational Semantics, Towards Effects in Mathematical Operational Semantics, Stream processors and comodels, Sound and complete equational reasoning over comodels, Decomposing Comonad Morphisms., Sweedler theory of monads, Coalgebraic update lenses, Monoidal indeterminates and categories of possible worlds, Programming with algebraic effects and handlers, Combining algebraic effects with continuations, Fully abstract trace semantics for protected module architectures, Stateful runners of effectful computations, Comonadic Notions of Computation, Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?