How iterative reflections of monads are constructed

DOI10.1016/J.IC.2013.02.003MaRDI QIDQ384934zbMATH OpenOpenAlexFDO

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

Publication date 29 November 2013

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

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

zbMATH Keywords

monadequational lawsiterative theoryrecursive equations

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• A Description of Iterative Reflections of Monads (Extended Abstract)
• Iterative reflections of monads
• On rational monads and free iterative theories
• Completely iterative algebras and completely iterative monads
• On iteratable endofunctors

Cites work

• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• A Description of Iterative Reflections of Monads (Extended Abstract)
• Completely iterative algebras and completely iterative monads
• Introduction to extensive and distributive categories
• Iterative algebras
• Iterative algebras at work
• Iterative reflections of monads
• On the algebraic structure of rooted trees
• Regular trees and the free iterative theory
• Terminal coalgebras and free iterative theories
• Unique fixed points vs. least fixed points

Cited in

(6)

• scientific article; zbMATH DE number 2219520 (Why is no real title available?)
• scientific article; zbMATH DE number 2172974 (Why is no real title available?)
• Iterative reflections of monads
• A Description of Iterative Reflections of Monads (Extended Abstract)
• Coproducts of Ideal Monads
• scientific article; zbMATH DE number 7533352 (Why is no real title available?)

This page was built for publication: How iterative reflections of monads are constructed

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