Equational properties of iterative monads

DOI10.1016/j.ic.2009.10.006zbMath1234.68271OpenAlexW2094845618MaRDI QIDQ618163

Jiří Velebil, Jiří Adámek, Stefan Milius

Publication date: 14 January 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.10.006

zbMATH Keywords

Elgot monadextensive categoryiteration monaditerative monad

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items (10)

Unnamed Item ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Unguarded recursion on coinductive resumptions ⋮ Unifying Guarded and Unguarded Iteration ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ Unnamed Item ⋮ A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the final sequence of a finitary set functor
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Iterative algebras
• Unique fixed points vs. least fixed points
• Regular trees and the free iterative theory
• Introduction to extensive and distributive categories
• On the algebraic structure of rooted trees
• Recursion and corecursion have the same equational logic
• Infinite trees and completely iterative theories: A coalgebraic view
• Completely iterative algebras and completely iterative monads
• Coequalizers and free triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
• Iterative algebras at work
• What Are Iteration Theories?
• Iterative reflections of monads
• Equational axioms for regular sets
• A Coalgebraic View of Infinite Trees and Iteration
• Algebras, Coalgebras, Monads and Comonads
• A Perspective View of Discrete Automata and Their Design
• Parametric corecursion

This page was built for publication: Equational properties of iterative monads