Complétion des catégories ordonnées

Ehresmann, Charles. "Complétion des catégories ordonnées." Annales de l'institut Fourier 14.2 (1964): 89-144. <http://eudml.org/doc/73854>.

@article{Ehresmann1964,
abstract = {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 $(\{\cal C\}^\bullet ,&lt; )$ une catégorie ordonnée régulière dont le groupoïde des éléments inversibles est ordonné semi-régulier. On associe à $(\{\cal C\}^\bullet , &lt; )$ les catégories $\widetilde\{\Omega \}^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 $(\{\cal C\}^\bullet , &lt; )$ est préinductive la catégorie des fusées strictes maximales contient une sous-catégorie qui est une complétion de $(\{\cal C\}^\bullet , &lt; )$, c’est-à-dire qui est une catégorie inductive admettant $(\{\cal C\}^\bullet , &lt; )$ pour sous-catégorie ordonnée régulière et dont tout élément est un sous-agrégat d’éléments de $\{\cal C\}$. Si $(\{\cal C\}^\bullet , &lt; )$ 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 $(\{\cal C\}^\bullet , &lt; )$ 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 $(\{\cal C\}^\bullet , &lt; )$, d’une façon précise c’est une $\{\cal J\}^s_\ell $-projection de $(\{\cal C\}^\bullet , &lt; )$ dans $\{\cal J\}^u_\ell $, où $\{\cal J\}^u_\ell $ est la catégorie des foncteurs inductifs entre catégories sous-prélocales et $\{\cal J\}^s_\ell $ sa sous-catégorie pleine ayant pour objets les catégories sous-locales. Si de plus $(\{\cal C\}^\bullet , &lt; )$ 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.},
author = {Ehresmann, Charles},
journal = {Annales de l'institut Fourier},
language = {fre},
number = {2},
pages = {89-144},
publisher = {Association des Annales de l'Institut Fourier},
title = {Complétion des catégories ordonnées},
url = {http://eudml.org/doc/73854},
volume = {14},
year = {1964},
}

TY - JOUR
AU - Ehresmann, Charles
TI - Complétion des catégories ordonnées
JO - Annales de l'institut Fourier
PY - 1964
PB - Association des Annales de l'Institut Fourier
VL - 14
IS - 2
SP - 89
EP - 144
AB - 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 $({\cal C}^\bullet ,&lt; )$ une catégorie ordonnée régulière dont le groupoïde des éléments inversibles est ordonné semi-régulier. On associe à $({\cal C}^\bullet , &lt; )$ les catégories $\widetilde{\Omega }^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 $({\cal C}^\bullet , &lt; )$ est préinductive la catégorie des fusées strictes maximales contient une sous-catégorie qui est une complétion de $({\cal C}^\bullet , &lt; )$, c’est-à-dire qui est une catégorie inductive admettant $({\cal C}^\bullet , &lt; )$ pour sous-catégorie ordonnée régulière et dont tout élément est un sous-agrégat d’éléments de ${\cal C}$. Si $({\cal C}^\bullet , &lt; )$ 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 $({\cal C}^\bullet , &lt; )$ 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 $({\cal C}^\bullet , &lt; )$, d’une façon précise c’est une ${\cal J}^s_\ell $-projection de $({\cal C}^\bullet , &lt; )$ dans ${\cal J}^u_\ell $, où ${\cal J}^u_\ell $ est la catégorie des foncteurs inductifs entre catégories sous-prélocales et ${\cal J}^s_\ell $ sa sous-catégorie pleine ayant pour objets les catégories sous-locales. Si de plus $({\cal C}^\bullet , &lt; )$ 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.
LA - fre
UR - http://eudml.org/doc/73854
ER -