Boolean Galois theories.
Calcul des satellites et présentations des bimodules à l'aide des carrés exacts
Calculating limits and colimits in pro-categories
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. We also correct some mistakes in the literature on this topic.
Cantors Diagonalprinzip für Kategorien.
Categorical Pullbacks
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors [14] and it...
Categorical structures enriched in a quantaloid: categories, distributors and functors.
Catégories à sommes commutables
Catégories accessibles à produits fibrés
Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales
Catégories modelables et catégories esquissables
Cauchy completion in category theory
Characterization of pointed varieties of universal algebras with normal projections.
Clones, coclones and coconnected spaces.
Closure operators on O-categories.
Codensity and binding categories
Coequalizers in the generalized algebraic categories
Cogeneration and minimal realization (Preliminary communication)
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 for the pro-category of towers of simplicial sets
Colimits in free categories