Categoria degli universi di dispositivi e categoria delle -algebre
Catégories modelables et catégories esquissables
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.
Catégories préadditives structurées
Categories with slicing.
Complétion des catégories ordonnées
Cet article fait suite à trois mémoires parus dans les Annales de l’Institut Fourier (tomes 10, 13 et 14). Son but est d’étendre aux catégories ordonnées les résultats sur les atlas et sur la complétion, précédemment obtenus dans le cas des groupoïdes sous-préinductifs et prélocaux.Soit une catégorie ordonnée régulière dont le groupoïde des éléments inversibles est ordonné semi-régulier. On associe à les catégories -structurées régulières des fusées régulières et des fusées strictes régulières,...
Complétion d'un foncteur structuré
Construction of Cartesian closed topological hulls