A simplification functor for coalgebras

DOI10.1155/IJMMS/2006/56786MaRDI QIDQ2469042zbMATH OpenFDO

Authors M. Kianpi, Celestin Nkuimi-Jugnia

Publication date 1 February 2008

Published in International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/53758

zbMATH Keywords

split coalgebras

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Review text

Summary: For an arbitrary-type functor \(F\), the notion of split coalgebras, that is, coalgebras for which the canonical projections onto the simple factor split, generalizes the well-known notion of simple coalgebras. In case \(F\) weakly preserves kernels, the passage from a coalgebra to its simple factor is functorial. This is the simplification functor. It is left adjoint to the inclusion of the subcategory of simple coalgebras into the category \(\text{Set}_{F}\) of \(F\)-coalgebras, making it an epireflective one. If a product of split coalgebras exists, then this is split and preserved by the simplification functor. In particular, if a product of simple coalgebras exists, this is simple too.

Recommendations

• On simple and extensional coalgebras beyond \({\mathcal S}et\)
• Functors for coalgebras
• Extensional quotient coalgebras
• On universal categories of coalgebras
• Types and coalgebraic structure

Cites work

• A small final coalgebra theorem
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• Products of coalgebras.
• Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems

Cited in

(5)

• Extensional quotient coalgebras
• On simple and extensional coalgebras beyond \({\mathcal S}et\)
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• Some facets of Horn covarieties in a category
• On minimal coalgebras

This page was built for publication: A simplification functor for coalgebras

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