On simple and extensional coalgebras beyond Set
coalgebracongruencetoposorthogonalbisimulationunitarysimplesimplificationcomplete latticeextensionalextensionalizationbehavioralsubcoalgebra\(*\)-extensional\(*\)-simpleextensionally splitHorn covarietysimply split
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)
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)