A Description of Iterative Reflections of Monads (Extended Abstract)

DOI10.1007/978-3-642-00596-1_12zbMath1234.18003OpenAlexW1948193640MaRDI QIDQ3617727

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

Publication date: 31 March 2009

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00596-1_12

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (2)

How iterative reflections of monads are constructed ⋮ Iterative reflections of monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterative algebras
• Unique fixed points vs. least fixed points
• Regular trees and the free iterative theory
• On the algebraic structure of rooted trees
• Terminal coalgebras and free iterative theories
• Coequalizers and free triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Iterative algebras at work
• Iterative reflections of monads
• Elgot Algebras

This page was built for publication: A Description of Iterative Reflections of Monads (Extended Abstract)