On simple and extensional coalgebras beyond Set

MaRDI QIDQ3408010zbMATH OpenFDO

Authors M. Kianpi, Celestin Nkuimi-Jugnia

Publication date 24 February 2010

zbMATH Keywords

coalgebracongruencetoposorthogonalbisimulationunitarysimplesimplificationcomplete latticeextensionalextensionalizationbehavioralsubcoalgebra\(*\)-extensional\(*\)-simpleextensionally splitHorn covarietysimply split

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Coalgebras and comodules; corings (16T15) Definitions and generalizations in theory of categories (18A05) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) 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)

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

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)