From comodels to coalgebras: state and arrays

MaRDI QIDQ2847820zbMATH OpenFDO

Authors Olha Shkaravska, John Power

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051813

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Recommendations

• Sound and complete equational reasoning over comodels
• Tensors of comodels and models for operational semantics
• Countable Lawvere theories and computational effects
• Indexed Lawvere theories for local state
• Algebra and Coalgebra in Computer Science

Cited in

(17)

• Monoidal indeterminates and categories of possible worlds
• Comonadic notions of computation
• Coalgebraic update lenses
• Combining algebraic effects with continuations
• Fully abstract trace semantics for protected module architectures
• Runners in Action
• Sweedler theory of monads
• Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
• Decomposing Comonad Morphisms.
• Programming with algebraic effects and handlers
• Stateful runners of effectful computations
• Stream processors and comodels
• The costructure–cosemantics adjunction for comodels for computational effects
• scientific article; zbMATH DE number 2186713 (Why is no real title available?)
• Towards Effects in Mathematical Operational Semantics
• Tensors of comodels and models for operational semantics
• Sound and complete equational reasoning over comodels

This page was built for publication: From comodels to coalgebras: state and arrays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847820)