Terminal coalgebras and free iterative theories
From MaRDI portal
Publication:2500475
Recommendations
- On a description of terminal coalgebras and iterative theories
- Free iterative theories: a coalgebraic view
- scientific article; zbMATH DE number 2070402
- Terminal coalgebras in well-founded set theory
- Cofree coalgebras
- Relatively terminal coalgebras
- Free-algebra functors from a coalgebraic perspective
- The construction of cofree coalgebras
- On terminal coalgebras derived from initial algebras
- Mongruences and cofree coalgebras
Cites work
- A final coalgebra theorem
- A fixpoint theorem for complete categories
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Completely iterative algebras and completely iterative monads
- Covarieties and complete covarieties
- Final Coalgebras are Ideal Completions of Initial Algebras
- Free iterative theories: a coalgebraic view
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 46168 (Why is no real title available?)
- scientific article; zbMATH DE number 3458870 (Why is no real title available?)
- scientific article; zbMATH DE number 3512082 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- Infinite trees and completely iterative theories: A coalgebraic view
- On a description of terminal coalgebras and iterative theories
- On final coalgebras of continuous functors
- On rational monads and free iterative theories
- On the algebraic structure of rooted trees
- On the final sequence of a finitary set functor
- On tree coalgebras and coalgebra presentations
- Parametric corecursion
- Regular trees and the free iterative theory
- The existence and construction of free iterative theories
Cited in
(19)- Bases for parametrized iterativity
- Infinite trees and completely iterative theories: A coalgebraic view
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
- On functors preserving coproducts and algebras with iterativity
- Free-algebra functors from a coalgebraic perspective
- Elgot theories: a new perspective of iteration theories (extended abstract)
- On rational monads and free iterative theories
- On a description of terminal coalgebras and iterative theories
- Coequational logic for finitary functors
- Elgot theories: a new perspective on the equational properties of iteration
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- Recursive coalgebras of finitary functors
- Iterative reflections of monads
- A Description of Iterative Reflections of Monads (Extended Abstract)
- How iterative reflections of monads are constructed
- Free iterative theories: a coalgebraic view
- scientific article; zbMATH DE number 2070402 (Why is no real title available?)
- Coequational logic for accessible functors
- The category-theoretic solution of recursive program schemes
This page was built for publication: Terminal coalgebras and free iterative theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500475)
