On iteratable endofunctors
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3512082 (Why is no real title available?)
- scientific article; zbMATH DE number 3319584 (Why is no real title available?)
- A coalgebraic view of infinite trees and iteration
- A fixpoint theorem for complete categories
- From varieties of algebras to covarieties of coalgebras
- Infinite trees and completely iterative theories: A coalgebraic view
- Initial Algebra Semantics and Continuous Algebras
- Introduction to extensive and distributive categories
- On the algebraic structure of rooted trees
- On the greatest fixed point of a set functor
- Parametric corecursion
- Solving reflexive domain equations in a category of complete metric spaces
- Unique fixed points vs. least fixed points
Cited in
(12)- Generalizing Substitution
- Distributive laws for the coinductive solution of recursive equations
- Final coalgebras and a solution theorem for arbitrary endofunctors
- The category-theoretic solution of recursive program schemes
- Explicit substitutions and higher-order syntax
- Infinite trees and completely iterative theories: A coalgebraic view
- Complete iterativity for algebras with effects
- Completely iterative algebras and completely iterative monads
- On second-order iterative monads
- Closure functions and general iterates as reflectors
- π²πΎπΊπ πππ from iterability
- How iterative reflections of monads are constructed
This page was built for publication: On iteratable endofunctors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842827)
