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
Catégories qualifiables et catégories esquissables
Categories with slicing.
Categories with Ultraproducts
Category theory based on combinatory logic.
Cauchy completion in category theory
Cauchy-completion and the associated sheaf
Čech extensions and localization of homotopy functors
Čech methods and the adjoint functor theorem
Chain homotopy pullbacks and pushouts
Characterization of injective envelopes
Characterization of pointed varieties of universal algebras with normal projections.