scientific article

zbMath1186.18003MaRDI QIDQ3408010

Celestin Nkuimi-Jugnia, Maurice Kianpi

Publication date: 24 February 2010

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebracomplete latticebisimulationtoposcongruencesimplificationorthogonalunitarysimpleextensionalextensionalizationbehavioralsubcoalgebra\(*\)-extensional\(*\)-simpleextensionally splitHorn covarietysimply split

Mathematics Subject Classification ID

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

Related Items (1)

Some facets of Horn covarieties in a category

This page was built for publication: