Categorical models and quasigroup homotopies.
Categorical properties of iterated power.
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 representations of categorical groups.
Categorical strong shape theory
Categorical structures enriched in a quantaloid: categories, distributors and functors.
Categorical structures enriched in a quantaloid : regular presheaves, regular semicategories
Categorical structures enriched in a quantaloid: tensored and cotensored categories.
Catégorie algébriques prégaloisiennes
Catégorie des -modules non-singuliers
Catégorie des points d'un espace projectif
Catégorie et -catégorie des ensembles ordonnés
Catégorie homotopique stable d’un site suspendu avec intervalle
Cet article présente la construction de la catégorie homotopique stable d’un site suspendu avec intervalle arbitraire. La fonctorialité de cette construction est étudiée, avec des applications à la théorie homotopique des schémas introduite par F. Morel et V. Voevodsky.
Categorie omologiche
Catégories à sommes commutables
Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies
Catégories accessibles à produits fibrés
Catégories cartésiennement fermées engendrées par des monoïdes
Catégories, complexes et homotopie
Catégories de foncteurs structurés