On simple and extensional coalgebras beyond Set

zbMATH Open1186.18003MaRDI QIDQ3408010FDOQ3408010

Authors: M. Kianpi, Celestin Nkuimi-Jugnia 

Publication date: 24 February 2010

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

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)

Cited In (5)

• Coamalgamation, congruence coextension and cotransferability
• A simplification functor for coalgebras
• Extensional quotient coalgebras
• Some facets of Horn covarieties in a category
• Cosemisimple 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)