From comodels to coalgebras: state and arrays

zbMATH Open1271.18006MaRDI QIDQ2847820FDOQ2847820

Authors: Olha Shkaravska, John Power 

Publication date: 11 September 2013

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

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

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)

Cited In (17)

• Monoidal indeterminates and categories of possible worlds
• Comonadic notions of computation
• Coalgebraic update lenses
• Fully abstract trace semantics for protected module architectures
• Combining algebraic effects with continuations
• 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
• Title not available (Why is that?)
• 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)