Categorical constructions in graph theory.
Categorical data-specifications.
Categorical domain theory: Scott topology, powercategories, coherent categories.
Categorical investigation of -graded -algebras
Categorical models and quasigroup homotopies.
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 à limites projectives non vides et catégories accessibles à limites projectives finies
Catégories accessibles à produits fibrés
Catégories de Peano et catégories algorithmiques, récursivité
Catégories et structures : extraits
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
Categories of components and loop-free categories.
Categories of directed spaces
The main goal of the present paper is to unify two commonly used models of directed spaces: d-spaces and streams. To achieve this, we provide certain "goodness" conditions for d-spaces and streams. Then we prove that the categories of good d-spaces and good streams are isomorphic. Next, we prove that the category of good d-spaces is complete, cocomplete, and cartesian closed (assuming we restrict to compactly generated weak Hausdorff spaces). The category of good d-spaces is large enough to contain...
Categories of functors between categories with partial morphisms
It is well-known that the composition of two functors between categories yields a functor again, whenever it exists. The same is true for functors which preserve in a certain sense the structure of symmetric monoidal categories. Considering small symmetric monoidal categories with an additional structure as objects and the structure preserving functors between them as morphisms one obtains different kinds of functor categories, which are even dt-symmetric categories.
Categories of models of infinitary Horn theories
Categories of Semigroups with Divisor Theory
Categories of systems of -relations