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.
Convergence in exponentiable spaces.
Convexity theories 0 fin. Foundations.
In this paper we study big convexity theories, that is convexity theories that are not necessarily bounded. As in the bounded case (see [4]) such a convexity theory Γ gives rise to the category ΓC of (left) Γ-convex modules. This is an equationally presentable category, and we prove that it is indeed an algebraic category over Set. We also introduce the category ΓAlg of Γ-convex algebras and show that the category Frm of frames is isomorphic to the category of associative, commutative, idempotent...