Iterative reflections of monads

DOI10.1017/S0960129509990326MaRDI QIDQ3564343zbMATH OpenFDO

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

Publication date 2 June 2010

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

Full work available at URL https://doi.org/10.1017/S0960129509990326

zbMATH Keywords

monaditerative theory

Mathematics Subject Classification ID

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

Recommendations

• How iterative reflections of monads are constructed
• A Description of Iterative Reflections of Monads (Extended Abstract)
• scientific article; zbMATH DE number 2219520
• Equational properties of iterative monads
• On second-order iterative monads
• Some remarks on finitary and iterative monads
• Monads, indexes and transformations
• scientific article; zbMATH DE number 4189993
• Monads, partial evaluations, and rewriting
• scientific article; zbMATH DE number 2068087

Cites work

• A Description of Iterative Reflections of Monads (Extended Abstract)
• Coequalizers and free triples
• Infinite trees and completely iterative theories: A coalgebraic view
• Introduction to extensive and distributive categories
• Iterative algebras
• Iterative algebras at work
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• 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

(14)

• Elgot theories: a new perspective of iteration theories (extended abstract)
• Recursive program schemes and context-free monads
• On iteratable endofunctors
• Monads as extension systems -- no iteration is necessary
• Equational properties of iterative monads
• On second-order iterative monads
• A Description of Iterative Reflections of Monads (Extended Abstract)
• Base modules for parametrized iterativity
• Some remarks on finitary and iterative monads
• Algebras with parametrized iterativity
• Closure functions and general iterates as reflectors
• How iterative reflections of monads are constructed
• Elgot theories: a new perspective on the equational properties of iteration
• scientific article; zbMATH DE number 7533352 (Why is no real title available?)

This page was built for publication: Iterative reflections of monads

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