On Iteratable Endofunctors

DOI10.1016/S1571-0661(04)80570-XzbMath1270.18012OpenAlexW2166740502MaRDI QIDQ2842827

Stefan Milius

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)80570-x

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

Explicit substitutions and higher-order syntax ⋮ The category-theoretic solution of recursive program schemes ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ Completely iterative algebras and completely iterative monads ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Generalizing Substitution

Cites Work

• On the greatest fixed point of a set functor
• Solving reflexive domain equations in a category of complete metric spaces
• Unique fixed points vs. least fixed points
• Introduction to extensive and distributive categories
• On the algebraic structure of rooted trees
• Infinite trees and completely iterative theories: A coalgebraic view
• A fixpoint theorem for complete categories
• Initial Algebra Semantics and Continuous Algebras
• A Coalgebraic View of Infinite Trees and Iteration
• From Varieties of Algebras to Covarieties of Coalgebras
• Parametric corecursion
• Unnamed Item
• Unnamed Item