Complete iterativity for algebras with effects

DOI10.1007/978-3-642-03741-2_4MaRDI QIDQ2888475zbMATH OpenOpenAlexFDO

Authors Stefan Milius, T. Palm, Daniel Schwencke

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

distributive lawinitial algebraiterative algebramonadterminal coalgebra

Mathematics Subject Classification ID

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

Recommendations

• Completely iterative algebras and completely iterative monads
• On iteratable endofunctors
• On algebras with effectful iteration
• On functors preserving coproducts and algebras with iterativity
• On Algebras with Iteration

Cites work

• A fixpoint theorem for complete categories
• Braided tensor categories
• Complete iterativity for algebras with effects
• Completely iterative algebras and completely iterative monads
• Generic Trace Semantics via Coinduction
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• Iterative algebras
• Iterative algebras at work
• Monads on symmetric monoidal closed categories
• Notions of computation and monads
• Solving reflexive domain equations in a category of complete metric spaces
• Strong functors and monoidal monads
• The category-theoretic solution of recursive program schemes
• Une théorie combinatoire des séries formelles
• Unique fixed points vs. least fixed points

Cited in

(15)

• On functors preserving coproducts and algebras with iterativity
• Complete Elgot monads and coalgebraic resumptions
• On algebras with effectful iteration
• Coalgebraic semantics for nominal automata
• Iterated covariant powerset is not a monad
• Trace semantics via determinization
• Kleene monads: handling iteration in a framework of generic effects
• Complete iterativity for algebras with effects
• On coalgebras over algebras
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• On the behaviour of coalgebras with side effects and algebras with effectful iteration
• On coalgebras over algebras
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
• Behavioural equivalences for coalgebras with unobservable moves

This page was built for publication: Complete iterativity for algebras with effects

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