Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity.
Coalgebras, braidings, and distributive laws.
Coequalizers in the generalized algebraic categories
Cogeneration and minimal realization (Preliminary communication)
Coherence for pseudodistributive laws revisited.
Colimit-dense subcategories
Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vopěnka’s Principle, we prove that a cocomplete category is locally presentable if and only if it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a -element set is colimit-dense in , and spaces of countable dimension are colimit-dense in .
Colimits of representable algebra-valued functors.
Commutator theory in strongly protomodular categories.
Compléments à l'article «Théories algébriques et extension de préfaisceaux»
Completely regular relational algebras
Complétion monadique
Composites of effective descent maps
Composition-representative subsets.
Concerning binding categories
Condition syntaxique de triplabilité d'un foncteur algébrique esquissé
Conditions syntaxiques de plongement. I. Prolongements de foncteurs et extensions de Kan
Conditions syntaxiques de plongement. II. Prolongements de faisceaux et faisceaux associés
Conditions syntaxiques d'existence de co-adjoints aux foncteurs algébriques
Congruences In Regular Categories.
Constructions fondamentales de dégré supérieur.