On simple and extensional coalgebras beyond Set

MaRDI QIDQ3408010zbMATH OpenFDO

Authors M. Kianpi, Celestin Nkuimi-Jugnia

Publication date 24 February 2010

zbMATH Keywords

\(*\)-extensional\(*\)-simplebehavioralbisimulationcoalgebracomplete latticecongruenceextensionalextensionalizationextensionally splitHorn covarietyorthogonalsimplesimplificationsimply splitsubcoalgebratoposunitary

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Coalgebras and comodules; corings (16T15) Definitions and generalizations in theory of categories (18A05) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories and theories (18C99)

Recommendations

• A simplification functor for coalgebras
• Extensional quotient coalgebras
• On universal categories of coalgebras
• Coalgebras in a category of classes
• On the structure of categories of coalgebras

Cited in

(5)

• Extensional quotient coalgebras
• A simplification functor for coalgebras
• Coamalgamation, congruence coextension and cotransferability
• Cosemisimple coalgebras.
• Some facets of Horn covarieties in a category

This page was built for publication: On simple and extensional coalgebras beyond \({\mathcal S}et\)

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