Iterative reflections of monads

DOI10.1017/S0960129509990326zbMath1239.18005MaRDI QIDQ3564343

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

Publication date: 2 June 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

monaditerative theory

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Theory of computing (68Q99)

Related Items (7)

Recursive Program Schemes and Context-Free Monads ⋮ How iterative reflections of monads are constructed ⋮ Equational properties of iterative monads ⋮ On second-order iterative monads ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ A Description of Iterative Reflections of Monads (Extended Abstract) ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)

Cites Work

• 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
• Infinite trees and completely iterative theories: A coalgebraic view
• Terminal coalgebras and free iterative theories
• Coequalizers and free triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Iterative algebras at work
• A Description of Iterative Reflections of Monads (Extended Abstract)
• Semantics of Higher-Order Recursion Schemes

This page was built for publication: Iterative reflections of monads