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 Ω ˜ s -structurées régulières des fusées régulières et des fusées strictes régulières, qui ont pour catégorie quasi-inductive quotient la catégorie des fusées maximales et des fusées strictes maximales respectivement. En particulier, on montre que si ( ???? • , < ) est préinductive la catégorie des fusées strictes maximales contient une sous-catégorie qui est une complétion de ( ???? • , < ) , c’est-à-dire qui est une catégorie inductive admettant ( ???? • , < ) pour sous-catégorie ordonnée régulière et dont tout élément est un sous-agrégat d’éléments de ???? . Si ( ???? • , < ) est un groupoïde ordonné régulier, la catégorie des fusées strictes régulières est isomorphe à la catégorie des fusées strictes maximales et aussi à la catégorie des atlas réguliers. En considérant certains couples de fusées régulières, on définit la notion de superfusées ; les superfusées forment une catégorie quasi-inductive régulière. Soit ( ???? • , < ) une catégorie sous-prélocale vérifiant la condition (P). La catégorie des superfusées a pour sous-catégorie la catégorie quasi-inductive régulière des (P)-superfusées, dont une sous-catégorie saturée par induction admet pour quotient une catégorie sous-locale. On prouve que cette dernière est une complétion “universelle” de ( ???? • , < ) , d’une façon précise c’est une ???? ℓ s -projection de ( ???? • , < ) dans ???? ℓ u , où ???? ℓ u est la catégorie des foncteurs inductifs entre catégories sous-prélocales et ???? ℓ s sa sous-catégorie pleine ayant pour objets les catégories sous-locales. Si de plus ( ???? • , < ) est prélocale, sa complétion universelle est locale. Les résultats de ce travail ont des applications dans différentes questions, en particulier permettent de faire une théorie de la cohomologie à valeur dans une catégorie ordonnée.