On Rational Monads and Free Iterative Theories

DOI10.1016/S1571-0661(04)80557-7zbMath1270.18010OpenAlexW2062248772MaRDI QIDQ2842813

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

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80557-7

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (5)

Monads for behaviour ⋮ The coinductive resumption monad ⋮ Explicit substitutions and higher-order syntax ⋮ Completely iterative algebras and completely iterative monads ⋮ Terminal coalgebras and free iterative theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence and construction of free iterative theories
• On the algebraic structure of rooted trees
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Some remarks on finitary and iterative monads
• Universal coalgebra: A theory of systems
• A fixpoint theorem for complete categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
• A Coalgebraic View of Infinite Trees and Iteration
• A final coalgebra theorem
• Parametric corecursion

This page was built for publication: On Rational Monads and Free Iterative Theories