scientific article; zbMATH DE number 2070402

MaRDI QIDQ4466657zbMATH OpenFDO

Authors Christian Dzierzon, Christoph Schubert

Publication date 8 June 2004

zbMATH Keywords

categoriescoalgebrasterminal objectstrees

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Categories of algebras (08C05)

Review text

In the case of polynomial functors, the terminal object of the category of all \(\Sigma\)-coalgebras for a bounded signature \(\Sigma\) can be constructed as a coalgebra of \(\Sigma\)-trees. The authors present a direct proof of this fact and describe the unique morphism from any given \(\Sigma\)-coalgebra to the terminal coalgebra. For the entire collection see [Zbl 1034.08002].

Recommendations

• On a description of terminal coalgebras and iterative theories
• Terminal coalgebras in well-founded set theory
• Logical construction of final coalgebras
• Terminal coalgebras and free iterative theories
• scientific article; zbMATH DE number 2104415

Cited in

(3)

• Terminal coalgebras and free iterative theories
• Representations of first order function types as terminal coalgebras
• Relatively terminal coalgebras

This page was built for publication:

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