Complete Iterativity for Algebras with Effects

DOI10.1007/978-3-642-03741-2_4zbMath1239.68046OpenAlexW1521150094MaRDI QIDQ2888475

T. Palm, Daniel Schwencke, Stefan Milius

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_4

zbMATH Keywords

terminal coalgebramonaddistributive lawiterative algebrainitial algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (10)

Complete Iterativity for Algebras with Effects ⋮ Iterated covariant powerset is not a monad ⋮ On Coalgebras over Algebras ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ On coalgebras over algebras ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Trace semantics via determinization ⋮ Coalgebraic semantics for nominal automata

Cites Work

• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Notions of computation and monads
• Iterative algebras
• The category-theoretic solution of recursive program schemes
• Unique fixed points vs. least fixed points
• Une théorie combinatoire des séries formelles
• Braided tensor categories
• Completely iterative algebras and completely iterative monads
• A fixpoint theorem for complete categories
• Monads on symmetric monoidal closed categories
• Strong functors and monoidal monads
• Complete Iterativity for Algebras with Effects
• Iterative algebras at work
• Generic Trace Semantics via Coinduction

This page was built for publication: Complete Iterativity for Algebras with Effects