D IAGRAMMES C. L AIR Sur le genre d’esquissabilité des catégories modelables (accessibles) possédant les produits de deux Diagrammes, tome 35 (1996), p. 25-52 © Université Paris 7, UER math., 1996, tous droits réservés. L’accès aux archives de la revue « Diagrammes » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ DIAGRAMMES VOLUME 35 ,1996 SUR LE GENRE D'ESQUISSABILITE DES CATEGORIES MODELABLES (ACCESSIBLES l ) POSSEDANT LES PRODUITS DE DEUX C. Lair 1. Introduction. Dans le présent travail, nous prouvons que les catégories modelables (accessibles) possédant les produits de deux sont exactement (à l'équivalence près) les catégories de modèles d'esquisses petites où les co-cônes "distingués" sont tous d'indexations "tamisantes", i.e. "suffisamment" filtrantes pour certaines configurations graphiques (simples) spécifiques. Pour obtenir ce résultat, il suffit d'utiliser systématiquement (comme préconisé en [CQ.C.E], notamment en son Appendice) les notions et méthodes générales antérieurement introduites en [CM.CF.] et/ou [C M C E ] et/ou [CQ C E ] , fondamentalement : • celle de diagramme (d'indexation petite mais non nécessairement discrète) localement co-limite (évidemment dérivée de celle de diagramme localement libre), 1 En américain, "catégories modelables" semble devoir se traduire par "accessible catégories of MakkaïParé" ... 25 • celle d'objet d'une catégorie (localement petite) satisfaisant un cône (d'indexation petite mais non nécessairement discrète) de cette catégorie, • celle d'invariance (éventuelle), à la dualité près, du genre d'indexation tant des cônes à satisfaire que de certains (parmi tous les possibles) diagrammes localement colimites dans la sous-catégorie pleine des objets satisfaisant ces cônes, • celle de modification (ici : par "saturation") d'un diagramme localement co-limite en un autre, plus adéquat. Nous nous sommes donc évertué à les rappeler (une fois de plus .. ), tout au long du texte, avec le degré de généralité approprié, exactement là où leur usage s'impose. 2. Sur l'existence de produits de deux dans certaines catégories qualifiables. 2.1. Catégories qualifiables. Suppososons que / est une catégorie. On note C(/) la catégorie {cône type d'indexation I ) obtenue en adjoignant à / un objet initial {sommet type) Sm(/) et, par conséquent, pour tout objet 1 de / , u n e unique flèche {projection type en I ) p(/)(I) . Sm(/) —» I . Alors, on désigne par B(/) : / - » C(/) le foncteur {base type) injection canonique. Si X est une catégorie, un foncteur IJ:C{I)->X est appelé cône d'indexation / , de base UoB{I) : I-> X, de sommet f/(Sm(/)) et ayant £/(p(/)(I)) : f/(Sm(/)) -» t/(I) pour projection en I , quand I e Ob(/). En particulier, un tel cône peut évidemment être un cône limite. Supposons que J est une catégorie. On désigne par CC{J) = C(7 op ) op la catégorie {co-cône type de co-indexation J) obtenue en adjoignant à J un objet terminal {co-sommet type) CSm(J) = Sm(Jop) et, par conséquent, pour tout objet J de J, une unique flèche {co-projection type en J ) cp(7)(J) = p(/ op )(J) : J -> CSm(J). Alors, on désigne par canonique. CB(J) : J - > CC{J) 26 le foncteur {co-base type) injection Si X est une catégorie, un foncteur V : CC(J) -> X est appelé co-cône de coindexation J, de co-base VoCB{J) : J-^ X, de co-sommet F(CSm(7)) et ayant T(cp(7)(J)) V{]) -> V{CSm{J)) pour co-projection en J , quand J e Ob(J) . En particulier, un tel co-cône peut évidemment être un co-cône co-limite. Supposons que X est une catégorie localement petite Comme en [C.Q.C.E.], si U : C(/ ) ->X est un cône d'indexation petite et si X est un objet de X, on dit que X satisfait U 2 si : • le co-cône X{U{-),X) : CC(/op) = C(/) o p -> Ens est un co-cône co-limite. Compte tenu du calcul des co-limites dans Ens , il est facile de voir que X satisfait U si, et seulement si : • (SAT 1) pour toute flèche x • U{Sm{I)) -> X de X, il existe un objet I de / et une flèche y : U(ï) -> X de X telle que y.f/(p(/)(I)) = x (alors, on pourra dire que y est une factorisation de x par U ), • (SAT 2) pour tous objets I' et I" de / et pour toutes flèches y':U(V)->X et l y" • U(l")-+X de X telles que y .U(p(I)(V)) = y".U(p(I)ÇL")), il existe un entier n > 1 , un zigzag de flèches de / : ^° = (Z°k )lZ°^ ... l et une famille y0 = (y°k : U{Z\) -> X )i l k £2n+i de flèches de X telles que • • y' = y°i et y V i = y M , • y°2h i.U(z°2h 1) = y°2h = y°2hM.U(z°2h), pour tout entier I < h < n , (alors, on pourra dire que la famille y° connecte y ' à y " le long de ^° ) Si 71 est un ensemble de cônes de X d'indexations petites et si X est un objet de X, on dit qu'il satisfait 71 si : • X satisfait tout cône appartenant à %. Comme en [C.Q.C.E.], on dit alors que 11 est une qualification interne à X, on note Satisf(^^Y) la sous-catégorie pleine de X qualifiable (ou qualifiée) par tt, i.e. la sous-catégorie pleine de X dont les objets sont ceux qui satisfont 7i, et on note : 2 Evidemment, la notion de satisfaction généralise aux cas de cônes d'indexations non nécessairement discrètes tant la notion d'orthogonalité que celle d'objet mjectif (voir [C.Q.C.E ] pour une discussion plus complète sur ce thème) 27 inj(»^):Satisf(»,X)->X le foncteur injection canonique. 2.2. Genres et qualifications. On appelle genre de catégories {petites) toute classe $ de catégories petites. Supposons que ^ catégorie localement petite est un genre de catégories et que X est une On dit qu'une qualification %, interne à X, est de genre # ou encore que c'est une ^-qualification si " • pour tout cône U : C(/) —»X appartenant à % , o n a 2.3. /opef Existence de produits de deux dans certaines catégories qualifiables. On dit qu'une catégorie / est co-tamisante si : • (COTAM l)pour tous objets li et I2 de / , il existe un objet S de / et deux flèches Si et s2 de / telles que S] : S —> Ii et S2 : S —» I2 (alors, on pourra dire que le span * a = (S,Si,s2) connecte h à I2 )4, • (COTAM 2) pour tous objets I i , I2 et tous spans o ' = (S',s'i,s' 2 ) et o " = (S ",s "i,s "2) de / , connectant Ii à I2 , il existe un entier n > 1 , un zigzag de flèches de / 7 * > "mLj 2n-l < z*2n , 7 * ^ 2n z* 2n v7 * — c» ^ 2n+l ~ - 3 ?/ et deux familles de flèches de / : 3 Nous préférons dire ici "span" plutôt que "cône", pour éviter toute confusion de "fonction" avec les nombreux autres cônes ... où ces "spans" vont être utilisés. A Bien entendu, il revient au même de dire que / co-filtre les diagrammes discrets, finis, non vides. 28 S*l =(S*i. k " Z \ ~ > I i )p_k<_2n+l s* 2 = (s* 2 . k : Z * k - > I 2 ) ] ^ k , 2 n + i , telles que • S'i = S*u et S*i.2n*l = s"i, • s*i.2h-i.z*2h-i = s*i.2h = s*i.2h*i.z*2h, pour tout entier 1 < h < n , # S'2 = S*2,1 et S*2.2n.l = S" 2 , • s*2,2h i.z*2h-i = s*2.2h = s*2.2h+i.z*2h, pour tout entier 1 < h < n , (alors, on pourra dire que les deux familles s*i et s*2 connectent le span a ' au span a " le long de £* ) Alors, on dit qu'une catégorie est tamisante si sa duale est co-tamisante et on note 7 X appartenant à 7i est une catégorie cotamisante. Plus concrètement, nous dirons donc que 1t est à indexations co-tamisantes Vérifions que LEMME. Si X est une catégorie localement petite et si 7i est une qualification interne à X et à indexations co-tamisantes, i.e. si 7t est une lanc-quahfication, alors le foncteur injection canonique : inj(%,JV) Satisfit*) -> X crée les produits de deux 5 . s On déduit immédiatement du LEMME de 2.3 que : COROLLAIRE. Si / ' est une catégorie petite et tamisante, alors les co-limiies de co-indexation commutent, dans Ens , avec les produits de deux. /' PREUVE. Désignons par CoCones(/') = Fonct(CC(/*)Mns) la catégorie des co-cônes de Ens de coindexation / ' et par CoLim(/') la sous-catégorie pleine de CoCones(/') ayant pour objets les cocônes co-limites. 29 PREUVE. Il suffit de montrer que, si U ' C{I) -^X est un cône d'indexation petite et co-tamisante, si Xi et X2 sont deux objets de X qui satisfont U et si (7ir : Xi x X2 -> Xr)r_ n.2} est un produit dans X, alors X] x X2 satisfait U (à cet effet, pour tout objet Y et toutes flèches yi : Y -> Xi et y2 Y -> X2 de X, on notera [yi,y2] . Y - > Xi x X2 l'unique flèche de X telle que 7Ci.[yi,y2] = yi et K2.[yi,y2] = y2) a) Supposons, tout d'abord, que x : £/(Sm(/)) -> X] x X2 est une flèche de X En conséquence : • il existe (en vertu de (SAT 1), puisque Xi satisfait U) un objet Ii de / et une flèche y, : U{h) ->XX de X telle que yuU(p(I)(h)) = TTI.X, • il existe (en vertu de (SAT 1), puisque X2 satisfait U) un objet I2 de / et une flèche y2 : U{12) -> X2 de X telle que y2.U{p{I){h)) = n2.x Mais, / étant co-tamisante, il existe (en vertu de (COTAM 1)) un span o = (S,Si,s2) de / qui connecte Ii à I2 Dès lors, il est facile de constater (par unicité) que [yi.f/(si),y2.t/(s2)].t/(p(/)(S)) = x , autrement dit Xi x X2 vérifie (SAT 1). b) Supposons, maintenant, que I' et I" sont deux objets de / et que y' . f/(I ') -> Xi x X2 et y " : U{1 ") - > X ] x X 2 sont deux flèches de X telles que y,.t/(p(/)(r)) = y,,.f/(p(/XI"))On en déduit que : • il existe (en vertu de (SAT 2), puisque Xj satisfait U) un entier nj > 1 , un zigzag de flèches de / . £°1 = ( Z °l k )l Z j v .. - TM et une famille y°i = (y° lk \U(Z\k ) -> Xl)1 1 , un zigzag de flèches de / : Notons Yon(CC(/')) : C(/,op) = CC(/')op -> Fonct(CC(/,).£'iis) = CoCones(/') le plongement de Yoneda (il s'agit donc d'un cône de CoCones(/'). d'indexation 7'op) et posons #(/') = ^0^0:(/ 1 )} Il est clair que CoLimC/') = Satisf(^(/'),CoCones(/')) et le LEMME de 2.3 s'applique donc (puisque (7')op est - par définition - co-tamisante) Mais CoCones(/') possède les produits de deux (qui se calculent, évidemment, "point par point"), ce qui permet de conclure facilement. FIN DE LA PREUVE. 30 £ ° 2 ~ ( Z ° 2 . k )lZ z°22n2 >Z 2 3 . . . _ TM - 2.2n2 + l - 1 et une famille y°2 = (y°2.k 'U(Z°2x ) "* X2)i 1 , d'un zigzag de flèches de / . e* -f-7* \ C - 7 * J S 2 h - l ~ ^ Z 2h-l,r>'l 2h-l - ^ 2h-l.l < z*2h u • • • Z * 2 h - 1 . 2 m 2 h ,-1 < z'2h-i.im2h-i » Z *2h-l-2m2h_1 7* ^ 2h-Uz*2h z'2h U m 2 h , et et de deUX familles S*2h-Kl = (S*2h-l.l.r)lZ 1: *2h-L2m2h ^7* ' ^ 2h-1.3 I+l = S2h S *2h-1.2 = (s*2h-1.2r)l£r£2m2h_1+l de flèches de / permettant de connecter le span (¾ 1 = (S2h 1 ,S2h-i.i ,s2h 1.2) au span (obtenu par composition) (z\2h-i ,z°2.2h 1 ).CT2h = (S2h ,z°i.2h i-s2h.i ,z°2.2h-i-S2h.2) le long de £*2h-i , • d'un entier m2h ^ 1 , d'un zigzag de flèches de / : e* -(7* \ C - 7 * 4 S 2 h ~ V z 2 h , r h < r < 2 m 2 h - ^ 2 h ~ ^ 2h,l * z* 2h i 7* " ^ J 2h,2m 2 h -l < z* 2 h i 2 m 2 h , 7* ^ 2h.2m 2h 7* ^ z* 2h . 2m2h 2h,2z*2h 2 ^ 7 * ' ^ 2M ^7* -Q > ^ 2h,2m 2 h +l ^2h+l et de deux familles s*2M = (s*2h.i,r)i le long de £*2h • Dès lors, on dispose aussi : 31 • pour tout 1 < k < 2n+l , de la flèche de X : fk = [y°iUK^\y\UK^2)\ : U(S0 -> Xi x x 2 et, ce, de sorte qu'on a, en particulier : • fi = [Tti.y '.f/(id(r)),7i 2 .y '.^(id(r))] = y ' , • f2n+i = [7C,.y ".t/(id(I ")),7C2.y M.f/(id(I "))] = y " , • pour tout 1 < h < n et tout 1 < r < 2m2h-i+l , de la flèche de X . P 2 h 1, = [y°l,2h-l.^(S*2h.l,l,r),y°2.2h.l.f/(S*2h 1.2,)] : U(Z*2^u) ~> X , X X 2 , • pour tout 1 < h < n et tout entier 1 < r < 2m2h+1 , de la flèche de X • f*2h, = [y°1.2h.l.f/(S*2h,l,r),y°Z2h + l.t/(S*2h.Zr)] f/(Z*2h,) - > X, X X 2 Dans ces conditions, il est facile de constater que la famille de flèches de X • (M > (f l,r )l(* 2.r )l * 3 ' • • • •-^211-1^(^ 2h-l.r)l *2h+l >• • • • ' ' > *2n-l ' (* 2n-l,r )l *2n+l / permet de connecter y ' = fi à f2n+i = y " le long du zigzag de flèches de / : (s i>"-iS k'-"'S 2n)~((Z l,r)l v Z 2n,r )l de sorte que Xi x X2 vérifie aussi (SAT 2). FIN DE LA PREUVE 3. Sur l'existence de produits de deux dans les catégories de modèles de certaines esquisses. 3.1. Esquisses. Comme en [ET.S.A.] et en [C.Q.C.E.] (notamment), on dit que E = (Supp(£ ),CDist(2s ),CCDist(£)) est une esquisse si : • Supp(£) est une catégorie 6 , appelée le support de E, 6 Nous supposons (pour simplifier l'exposé - et la lecture), que les supports des esquisses sont des catégories et non des "présentations de catégories", i.e. des graphes multiplicatifs (voir [E.T.S.A.]). Cependant, il est clair que, dans ce cadre plus général, les différents résultats énoncés ici demeurent tout 32 • CDist(£) est une classe de cônes de Supp(£"), dits distingués dans E , • CCDist(Zi) est une classe de co-cônes de Supp(£"), dits co-distingués dans E Alors, on dit que E est petite si "tout y est petit", i.e. si • • Supp(£) est une catégorie petite, • CDist(£") est un ensemble et l'indexation de tout cône distingué est une catégorie petite, • CCDist(Zi) est un ensemble et la co-indexation de tout co-cône co-distingué est une catégorie petite. Si E et E% sont deux esquisses, on dit qu'un foncteur H : Supp(£) —> Supp(Zi') définit un homomorphisme (encore noté) //£*—» £"' de E vers E} et de support (le foncteur) H si • pour tout cône distingué P : C{A ) -> Supp(£) HoP ' C{A ) -> Supp(£') est distingué dans E}, dans JE, le cône composé • pour tout co-cône co-distingué O : CC{B) -> Supp(£) dans composé HoQ ' CC{B) —> Supp(f) est co-distingué dans E}. E, le co-cône Supposons que X est une catégorie. Si E est une esquisse, on dit qu'un foncteur M : Supp(£ ) -> X définit un modèle (encore noté) M : E -^X de E dans X et de support (le foncteur) M si . • pour tout cône distingué P : C{A) -» Supp(Zs) MoP : C{A ) -> X est un cône limite dans X, dans £ , le cône composé • pour tout co-cône co-distingué O : CC(2Î) -> Supp(ii) dans composé MoO : CC{B ) —> X est un co-cône co-limite dans X. E, le co-cône Alors, on note Mod(£^V) la catégorie de ces modèles, i.e. la sous-catégorie pleine de Fonct(Supp(£)^T) ayant pour objets les modèles de E dans X Si H : E ->E* est un homomorphisme entre deux esquisses et si M* : E' ->X est un modèle de £ ' , il est clair que M'oH : E ->X est un modèle de E . Ainsi, on dispose d'un foncteur "composition à droite par H " : Mod(//,X) : Mod{E\X) -> M o d ( £ ^ ) . Supposons que E est une esquisse petite. On note Yon(Supp(£)) : Supp(£) op ->Fonct(Supp(£ ),£>«) le plongement de Yoneda. aussi valables (à une simple adaptation près concernant le "plongement" - qui. en général, n'en est plus un - de Yoneda). 33 Pour tout cône successivement . P : C{A ) -> Supp(£ ) , distingué dans E , on note • CCA{P) = Yon(Supp(£))oPop : CC(>1op) = C{A ) op -> Fonct(Supp(£\Ens) le cocône associé (par dualité, puis composition avec le plongement de Yoneda) au cône P, • CSCCA(P) le co-sommet du co-cône associé à P , • CLA(P) le co-cône co-limite associé à P, i.e. un co-cône co-limite arbitrairement choisi parmi ceux de même co-base que le co-cône associé à P (il en existe au moins un puisque Fonct(Supp(£),Ens) est, évidemment, co-complète), • CSCLA(P) le co-sommet du co-cône co-limite CLA(P) associé à P, • f{P). CSCLA(P)->CSCCA(P) l'unique flèche de Fonct(Supp(£),£«*) permettant de factoriser le co-cône CCA{P) au travers du co-cône co-limite CLA(P) (puisqu'ils ont même co-base), • U{P) : C(7 ) -> Fonct{Supp{E\Ens) le cône associé à P , d'indexation la catégorie 1 (à un seul objet 0 et une seule flèche id(0) ) et ayant pour (seule) projection la flèche : U(P)(p(f )(0)) - f(P) : CSCLA(P) -> CSCCA(P). Maintenant, pour tout co-cône O : CC{B) -» Supp(£), co-distingué dans E , on note . • U((? ) = Yon(Supp(£ ))oOop : C{Bop) = CC(J5 ) op -> Fonct(Supp(£ \Ens ) le cône associé (par dualité, puis composition avec le plongement de Yoneda) au co-cône O . De la sorte, on obtient une qualification interne à Fonct(Supp(£"),Ens) canomquement associée à E : Qualif(£) ={U{P)\ Pe CDist(£)} u (U(O) I Oe CCDist(£)} et, comme en [C.Q.C.E.], il est facile de constater (compte tenu des propriétés du plongement de Yoneda) que : Mod{E,Ens) = Satisf(Qualif(£),Fonct(Supp(£),£iis)). 3.2. Genres et esquisses. Supposons que $ est un genre de catégories. On dit qu'une esquisse E est de genre $ ou encore que c'est une ^-esquisse si . • pour tout co-cône co-distingué O : CC{B) -> Supp(£) dans £ , o n a 34 B e f 3.3. Existence de produits de deux dans les catégories de modèles de certaines esquisses. Il est clair (en reprenant la notation de 2.3) qu'une esquisse petite E est une 7***-esquisse si, et seulement si • la co-indexation B de tout co-cône co-distingué O : CC{B ) —» Supp(JE" ) dans E est une catégorie tamisante. Plus concrètement, nous dirons donc que E est à co-indexations tamisantes. On vérifie immédiatement que PROPOSITION. Si E est une esquisse petite à co-indexations tamisantes, i.e. si E est une lauK-esquisse petite, alors la catégorie de ses modèles dans Ens possède les produits de deux. PREUVE. Clairement, si E est petite et à co-indexations tamisantes, alors sa qualification associée Qm\\î{E) est à indexations co-tamisantes puisque, par construction, si / est une indexation d'un cône de Qualif(£) , on a 1=1 ou / = JS op , où B est une co-indexation d'au moins un co-cône co-distingué dans E . Par conséquent, le LEMME de 2.3 s'applique et le foncteur injection canonique Mod{E,Ens) = Satisf(Qualif(£),Fonct(Supp(£),£>is)) -> Fonct(Supp(£),£«s) crée les produits de deux. Mais la catégorie Fonct(Supp(£),£>is) possède les produits de deux (qui se calculent, évidemment, "point par point"). FIN DE LA PREUVE. 4. Sur les diagrammes localement co-limites dans les catégories possédant les produits de deux. 4.1. Diagrammes et troncs de co-cônes localement co-limites. Si / ' est une petite catégorie, si F ' : 7' -> Ens est un foncteur et si A ' est un ensemble, on dit (évidemment) que A ' est une (ou un objet) limite de F ' si : • il existe un cône LP : C(J') -» Ens tel que : • IP a pour sommet A' et pour base • U} est un cône limite. 35 F\ Alors, on note (bien entendu) A'=LimF'(J') J'eJ" Si / ' est une petite catégorie, si /)':/'—> Ens est un foncteur et si A " est un ensemble, on dit (évidemment) que A " est une (ou un objet) co-limite de D ' si : • il existe un co-cône P : CC(/') —> Ens tel que : • V} a pour co-sommet A " et pour co-base Z)', • V% est un co-cône co-limite. Alors, on note (bien entendu) : A" = CoLimD'(I') . Supposons que X est une catégorie localement petite et que / et J sont deux catégories petites. On dit qu'un foncteur F : J ->X admet pour (petit) diagramme localement co-limite le foncteur D : / —» X si : • naturellement en tout objet X de X, on a (dans Ens ) : CoLim X{D{l\X) = Lim X(F(J),X). Ie/op JeJ°P Supposons que / et J sont deux catégories petites. On désigne par TCC(7,7) la catégorie {tronc de co-cône type de co-indexation J et d'indexation I) obtenue en adjoignant à la réunion de / et J (supposées disjointes, pour simplifier) une unique flèche {co-projection type en (J,I) ) cp(J,/)(J,I) : J -> I et, ce, pour tout objet I de / et pour tout objet J de J . Alors, on désigne par CB(J,7) : / - > TCC(/7) et CSm(J,7) I -> TCC(7,7) foncteurs {co-base type et diagramme co-sommital type) injections canoniques. les Si X est une catégorie localement petite, un foncteur W : TCC{JJ) -*X est appelé un {petit) tronc de co-cône de X, de co-indexation J, d'indexation I, de cobase WoCB{JJ) : J->X, de diagramme co-sommital WoCSm(./,/) : 7 ^ X et ayant ^(cp(7,/)(J,I)) : W{]) -> ^(1) pour co-projection en (J,I), quand J G Ob{J) et I E Ob(/). En particulier, on dit qu'il s'agit d'un tronc de co-cône localement co-limite si • (LCOLIM 1) pour tout objet X de X et tout co-cône V:CC(J)-*X de cosommet X et de même co-base VoCB{J) = WoCB{JJ) : / - » X que le tronc de co- 36 cône W. TCC{JJ) -> X, il existe (au moins) un objet I de / et (au moins) une flèche y : ^(1) - > X d e X telle que : • pour tout objet J de 7 , on a y.^(cp(J,/)(J,I)) = r(cp(J)(J)), • (LCOLIM 2) pour tout objet X de X , tous objets I' et I" de / et toutes flèches y ' : W{V) -> X et y " : W{\ ") - • X de X telles que : • pour tout objet J de J, on ay'.^(cp(./,/)(J,r)) = y".^(cp(/,/)(J,I M )), alors il existe un entier n > 1 , un zigzag de flèches de / £° = (Z°k )l X )i <_ k , 2n+i de flèches de X telles que . • y ' = y°i et y ° 2 n + i = y \ • y°2h i.^(z°2h i) = y°2h = y°2h+i.^(z°2h), pour tout entier 1 < h < n Compte tenu du calcul des co-limites dans Ens, il est facile de voir que : LEMME. Si X est une catégorie localement petite et si I et J sont deux catégories petites, alors : • si W : TCC{J,I) —>X est un tronc de co-cône localement co-limite, le diagramme (co-sommital de W) D= WoCSm{JJ) : I -> X est un diagramme localement colimite du foncteur (co-base de W) F= WoCB{JJ) J->X, • 57 D : / —» X est un diagramme localement co-limite du foncteur F : J —> X, il leur est associé un tronc de co-cône localement co-limite WFyD : TCC(J,/) -> X, de cobase le foncteur WFD oCB(/,/) = F J —» Ens et de diagramme co-sommital le foncteur WFJ) <>CSm(J,/) =D:I^X. 4.2. Genres, diagrammes et troncs de co-cônes localement colimites. Supposons que ^ est un genre de catégories, que X est une catégorie localement petite et que I et J sont deux catégories petites Si le foncteur F J -> X admet le foncteur D : / -^X pour diagramme localement co-limite, on dit (par simple souci d'homogénéité avec les terminologies 37 précédentes) que D est de genre 0 ou encore que c'est un ^-diagramme localement co-limite de F si : De même, si W : TCC(7,7) -> X est un tronc de co-cône localement co-limite, on dit qu'il est de genre $ ou encore que c'est un #-tronc de co-cône localement colimite si : • /ope£. Il est évidemment parfaitement trivial de constater (par simple souci d'homogénéité avec l'énoncé du LEMME de 4.1) que • LEMME. Si $ est un genre de catégories, si X est une catégorie localement petite et si I et J sont deux catégories petites, alors : • si W. TCC{JJ) -» X est un $-tronc de co-cône localement co-limite, le diagramme (co-sommital de W) D= WoCSm{JJ) I -> X est un Ç-diagramme localement colimite du foncteur (co-base de W) F= WoCB{JJ) J -^ X, • si D : I —>X est un ^-diagramme localement co-limite du foncteur F : J -*X, il leur est associé un #-tronc de co-cône loc alement co-limite WF& : TCC{JJ) —» X, de co-base le foncteur WFD oCB(J,/) = F : J -> Ens et de diagramme co-sommital le foncteur WFJ> oCSm(/,/) - D : / -> X. 4.3. Diagrammes et troncs de co-cônes localement co-limites saturés. Supposons que X est une catégorie localement petite. Si / est une catégorie petite et si D : / -^X D . I ->X est un {petit) diagramme saturé si : est un foncteur, on dira que • (DSATURl)D est fidèle, • (DSATUR 2) pour tous objets I , Z et Z ' de / , pour toutes flèches i : Z -> I et z : Z - » Z ' de / et pour toute flèche f : D{Z ') -> D{1) de X telles que f.D(z) = D(\), il existe une (nécessairement unique, par fidélité) flèche i * : Z ' -» I de / telle que D{\f) = f (d'où l'on déduit, par fidélité, que i '.z = i ) Si / " est une catégorie petite et si D" : / " ->X Satur(Z) ") la catégorie, évidemment petite, telle que : • ses objets sont ceux de / " , 38 est un foncteur, notons • ses flèches sont les (Z ',f,I) : Z ' -> I tels que : • I et Z' sont deux objets de / " , • f : D "(Z ') -> D "(I) est une flèche de X, • il existe un zigzag de flèches de 7" : C =(z*k)i Z 2n+l = I Z 2n et une famille f = (fk : D"(Z*k) -> D"(I))i *k*2n+i permettant de connecter f à id(D "(I)) le long de £* de flèches de X Alors, on dispose du foncteur canonique : satur(D") Satur(ZT) -> X ( z ',f,I) |-> f et il est facile de constater que satur(D ") est un diagramme saturé De plus, on vérifie aisément que, si J est une catégorie petite, si F J ->X est un foncteur et si D " en est un petit diagramme localement co-limite, alors satur(Z) ") en est aussi un petit diagramme localement co-limite, évidemment saturé. Supposons que X est une catégorie localement petite Si / et J sont deux catégories petites et si W ' TCC(J,/) -> X est un tronc de co-cône, on dira qu'il est (co-sommita/ement) saturé si • (TSATUR 1) son diagramme co-sommital WoCSm{JJ) I->X est fidèle, • (TSATUR 2) pour tous objets I et Z' de / et toute flèche f: W{Z})->W{\) tels que • • pour tout objet J de J, on a f.^(cp(J,/)(J,Z')) = de X W(cp(JJ)(U)), il existe une (nécessairement unique, par fidélité) flèche i ' : Z ' -> I de / telle que ^(i') = f. Si / " et J sont deux catégories petites et si W" • TCC(J,/") ->X est un tronc de co-cône, notons Satur(PT") la catégorie, évidemment petite, telle que : • ses objets sont ceux de / , • ses flèches sont les (Z ',f,I) : Z ' -^ I tels que : • I et Z' sont deux objets de / " , • f : W"(Z%) -> W"(l) est une flèche de X , • pour tout objet J de 7 , on a f.^"(cp(7,/")(J,Z')) = ^"(cp(J,/")(J,I)) . 39 Alors, on dispose du foncteur canonique : s a t u r a " ) : TCC(/,Satur(*F')) -> X j |-> W"® cp(J,Satur(^"))(J,I) |-> ^"(cp(7,/")(J,I)) ( z ',f,I) |-> f et il est facile de constater que s a t u r ^ " ) est un tronc de co-cône saturé de même cobase que le tronc de co-cône W" De plus, on vérifie aisément que, si W" est un petit tronc de co-cône localement colimite, alors satur{W") est aussi un petit tronc de co-cône localement co-limite, évidemment saturé, de même co-base que le tronc de co-cône W" . Compte tenu du LEMME de 4.1, il est facile de voir que : LEMME. Si X est une catégorie localement petite et si I et J sont deux catégories petites, alors : • si W : TCC(7,/) —>X est un petit tronc de co-cône localement co-limite et saturé, le diagramme (co-sommital de W) D= WoCSm(J,I) I —> X est un petit diagramme localement co-limite et saturé du foncteur (co-base de W) F = WoCB{JJ) \ J —>X, • si D : I —>X est un petit diagramme localement co-limite et saturé du foncteur F:J->X, le tronc de co-cône associé WFJ) : TCC(J,/) -> X est un petit tronc de co-cône localement co-limité et saturé (de co-base le foncteur F et de diagramme co-sommital le foncteur D ). 4.4. Genres, diagrammes et troncs de co-cônes localement colimites saturés. Il est évidemment parfaitement trivial de constater (par simple souci d'homogénéité avec les énoncés des LEMME S de 4 1, 4 2 et 4.3) que LEMME. Si $ est un genre de catégories, si X est une catégorie localement petite et si I et J sont deux catégories petites, alors : • si W: TCC{JJ) ->X est un #-tronc de co-cône localement co-limite et saturé, le diagramme (co-sommital de W) D= WoCSmÇJJ) : I->X est un ^-diagramme localement co-limite saturé du foncteur (co-base de W) F= WoCB{JJ) J -+X, • si D : / —» X est un ^-diagramme localement co-limite saturé du foncteur F : J ->X, il leur est associé un #-tronc de co-cône localement co-limite et saturé 40 WFX> : TCC(J,/) -> X, de co-base le foncteur WFD oCB{JJ) = F J -> Ens et de diagramme co-sommital le foncteur WF£> oCSm{JJ) = D • / —> AT. 4.5. Diagrammes localement co-limites saturés dans les catégories possédant les produits de deux. Supposons que X est une catégorie localement petite et que / et J sont deux catégories petites. Il est clair (en reprenant la notation de 2.3) qu'un foncteur F' J—>X admet un foncteur D : I -> X pour 7a**-diagramme localement co-limite si, et seulement si : • / est co-tamisante. Plus concrètement, nous dirons donc que D est d'indexation co-tamisante. De même, il est clair que W : TCC{JJ) ->X localement co-limite si, et seulement si : est un 7***-tronc de co-cône • / est co-tamisante. Plus concrètement, nous dirons donc aussi que W est d'indexation co-tamisante. Etablissons (en reprenant la notation de 2.3) que : PROPOSITION Si X est une catégorie localement petite et possédant les produits de deux, si J est une catégorie petite, si F : J ->X est un foncteur et si D : I ~>X en est un petit diagramme localement co-limite et saturé, alors I est nécessairement cotamisante. Autrement dit, tout diagramme localement co-limite et saturé dans X est d'indexation co-tamisante, i.e. est un 7a^-diagramme localement co-limite. PREUVE. En vertu du LEMME de 4.4, il suffit de prouver que, si W CCy{JJ)-±X est un tronc de co-cône localement co-limite saturé (de co-base WoCB{JJ) = F J->Ens et de diagramme co-sommital WoCS{JJ) = D /->JV), alors / est co-tamisante (pour ce faire, pour tous objets Xi , X2 et Y et toutes flèches yi : Y -> Xi et y2 : Y -> X2 de X, on désigne par (7Cr : Xi x X2 -> Xr)r {U2) un produit de Xi et X 2 , arbitrairement choisi dans A", et on note [yi,y2] Y —> Xi x X2 l'unique flèche de X telle que 7Ti.[yi,y2] = yi et 7t2.[yi,y2] = y2 ). a) On voit tout d'abord que, si Ii et I2 sont deux objets de / , alors, pour tout objet J de J, on dispose de la flèche de X : [W{cp{JJ){J^)Mcp{JJ){lh))] Il en résulte (par unicité) que : 41 : W{ï) -> W{h) x W{\2) . • pour toute flèche j : J -> J ' de J, on a : [^(cp^/KJMox^cp^/KJM,))].^ ') = [w(cp(/,/)aii)),»r(cp(j,/)ai2))] En d'autres termes, on dispose ainsi d'un co-cône V CC{J) —»X, de co-sommet W{1\) x W{\2), de même co-base que W et ayant pour famille de co-projections . (rçcp(J)(J)))j, ob(y ) = ([^(cp(y,/)(J,I 1 )),^(cp(7,/)(J,I 2 ))]) J . ob(y ) . En vertu de (LCOLIM 1), il existe donc (au moins) un objet S de / et (au moins) une flèche f : W{S) -> W{h) x W{\2) de X telle que : • pour tout objet J de J, on a : f.^(cp(J,/)(J,S)) = [^(cp(J,/)(J,I 1 )),^(cp(J,/)(J,I 2 ))] . On en déduit que : • pour tout objet J de J, on a : (Td.O.^cp^/XJ.S)) = 7r 1 .[^(cp(y,/)(J,I 1 )),^(cp(J,/)(J,I 2 ))] = W{cp{JJ){lh)), • pour tout objet J de J , on a : (7T2.f).^(cP(J,/)(J)) = 7l 2 .[^(c P (/,/)(J,I 1 )),^(cp(7,/)(JJ 2 ))] = ff(cp(7,/)(J,I2)) . Mais, comme W est (par hypothèse) saturé, on peut affirmer (en vertu de (TSATUR 2)) que : • il existe une (nécessairement unique, en vertu de (TSATUR 1)) flèche Si : S —> Ii de / telle que ^(si) = %\S, • il existe une (nécessairement unique, en vertu de (TSATUR 1)) flèche s2 S -> I2 de / telle que l^(s2) = 7i2.f. De la sorte, (S,Si,s2) est un span connectant Ii à I 2 , et / vérifie (COTAM 1) b) Maintenant, supposons (encore) que Ii et I2 sont deux objets de / et, de plus, que a ' = (S',s'i,s'2) et o" = (S ",s"i,s"2) sont deux spans connectant Ij à I2 dans / . On voit immédiatement (par unicité, et en reprenant la notation précédente concernant V ) que : • pour tout objet J de J, on a : [^(s'i),^(s'2)].^(cp(J,/)(J,S')) = [W{cp{JJ){JM))Mcp{JJ){hh))] = V{cp{J){J)), • pour tout objet J de J, on a : [W(s",),^(s"2)].W(cp(J,I)(J,S ")) = [W(cp(J,I)(J,h))Mcv(JJW2))] = Kcp(/)(J)). D'après (LCOLIM 2), il existe donc un entier n > 1 , un zigzag de flèches de / : ^ =(z\U,2n:S,= Z*1<-Fr-Z*2^r^Z*3... 7 * > "•^ 2n-l < z * 7n , 7 * ^ 2n z*?n 42 v7 * — C" > ^ 2n+l ~ ^ et une famille P = (f\ : W{Z\) -> ^(Ii) xW(l2))\ < k ._2n+i de flèches de X connectant [^(s'0,^(s' 2 )] à [^(s"!),^(s" 2 )] le long de £* . Alors, on voit aussi (par connexité de triangles commutatifs) que • • pour tout 1 < k < 2n+l et pour tout objet J de J, on a : (7Ci.f*k)-W[cp(^/)aZ*k) = W{cp{JJ){hh), • pour tout 1 < k < 2n+l et pour tout objet J de J, on a : (7C2.f*k).»r(cp(/,/)aZ*k) = ^(CP(J,/)(J,I2) Comme W est (par hypothèse) saturé, on en déduit (en utilisant (TSATUR 2)) que : • pour tout 1 < k < 2n+l , il existe une (nécessairement unique, d'après (TSATUR 1)) flèche s*i,k : Z* k ->Ii de / telle que W(s*w) = 7Ti.Pk, • pour tout 1 < k < 2n+l , il existe une (nécessairement unique, d'après (TSATUR 1)) flèche s*2,k : Z*k -> h de / telle que W(S*2M) = 7i 2 .P k , puis (par fidélité, ie en utilisant de nouveau (TSATUR 1)) que les familles s*i = (s*i.k)i - k<_2n+i et s*2 = (s*2,0i -_k-_2n+i permettent de connecter le span a ' au span a ", autrement dit que / vérifie aussi (COTAM 2). FIN DE LA PREUVE 5. Sur le genre (Tesquissabilité des catégories modelables possédant les produits de deux. 5.1. Catégories modelables. Supposons que M est une catégorie localement petite, que 0 est un ordinal inaccessible et que (3 < 9 est un ordinal régulier. Comme en [CM.CE.], on dit que M est {Q,Ç>)-modelable si • M possède les co-limites de co-indexations petites et p-filtrantes, • M contient une sous-catégorie M' telle que : • M' est pleine dans A/, • M* est dense dans M, • M' est 6-petite, • tout objet de M' est un objet p-présentable dans M , 43 • M' possède les 0-petits diagrammes localement co-limites de co-indexations p-petites et le foncteur injection canonique inj(Af',M) • M'—» M les préserve (autrement dit, pour toute catégorie P-petite / et tout foncteur F / - > M ' , il existe une catégorie 0-petite / et un diagramme D : / -> A/', localement co-limite de F, de sorte que inj(Af ,A/)oD 1' -> A/ est aussi un diagramme localement co-limite de inj(A/',A/)oF : J —> M ) Supposons que M est une catégorie localement petite. Si 0 est un ordinal inaccessible, on dit que M est Q-mode/ab/e s'il existe un ordinal régulier p < 0 pour lequel M est (0,p)-modelable 7 Enfin, on dit que M est modelable s'il existe un ordinal inaccessible 0 pour lequel M est 0-modelable. 5.2. Genres et catégories modelables. Supposons que M est une catégorie localement petite, que 0 est un ordinal inaccessible, que P < 0 est un ordinal régulier et que $ est un genre de catégories. On dit que M est {£Q$)-modelable si • • M possède les co-limites de co-indexations petites et P-filtrantes, • M contient une sous-catégorie A/' telle que • M' est pleine dans M , • AT est dense dans M , • AT est 0-petite, • tout objet de A/1 est un objet p-présentable dans A/, • A/' possède les 0-petits ^-diagrammes localement co-limites de coindexations P-petites et le foncteur injection canonique inj(A/',M) : A/' -> M les préserve (autrement dit, pour toute catégorie Ppetite J et tout foncteur F : J -> A/', il existe une catégorie 0-petite Iop G $ et un diagramme D : I"-> AT localement co-limite de F, de sorte 7 Si (3 est un ordinal régulier, il est facile de voir que M est une catégorie ^-accessible ("au sens de Makkaï-Paré") si. et seulement si, il existe un ordinal inaccessible B > (3 pour lequel M est (0.(3)modelable . autrement dit. il y a parfaite identité entre catégories accessibles et catégories modelables 44 que inj(A/',Af )oD : / -> M est aussi un diagramme localement co-limite de m){M\M)oF:J^M) Supposons que M est une catégorie localement petite et que $ est un genre de catégories. Si 0 est un ordinal inaccessible, on dit que M est {£Q)-modelable s'il existe un ordinal régulier P < 0 pour lequel M est (£0,P)-modelable. On dit que M est ^-modelable s'il existe un ordinal inaccessible 0 pour lequel M est (#0)-modelable. 5.3. Catégories esquissables. Si E est une esquisse petite et si 0 est un ordinal inaccessible, on dit que E est Q-petite si "tout y est 0-petit", i.e. si . • l'ensemble Ob(Supp(£)) des objets (du support) de E est 0-petit, • l'ensemble Fl(Supp(£)) des flèches (du support) de E est 0-petit, • l'ensemble CDist(ZT) des cônes distingués dans E est 0-petit, • pour tout cône distingué P ' C{A) -» Supp(£") dans E , la catégorie d'indexation A est 0-petite, • l'ensemble CCDist(£) des co-cônes co-distingués dans E est 0-petit, • pour tout co-cône co-distingué d'indexation B est 0-petite. O : CC{B) —» Supp(£) dans £", la catégorie Supposons que M est une catégorie localement petite. Si 0 est un ordinal inaccessible, on dit que M est une catégorie Q-esquissable, s'il existe une esquisse 0-petite dont la catégorie des modèles dans Ens est équivalente à la catégorie M. On dit que M est une catégorie esquissable, s'il existe un ordinal inaccessible 0 pour lequel M est 0-esquissable (autrement dit, s'il existe une esquisse petite dont la catégorie des modèles dans Ens est équivalente à M). 45 5.4. Genres et catégories esquissables. Supposons que M est une catégorie localement petite et que $ est un genre de catégories. Si 0 est un ordinal inaccessible, on dit que M est {$ff)-esquissable s'il existe une ^-esquisse 0-petite dont la catégorie des modèles dans Ens est équivalente à la catégorie A/. On dit que M est ^-esquissable s'il existe un ordinal inaccessible 0 pour lequel M est (£0)-esquissable (autrement dit, s'il existe une ^-esquisse petite dont la catégorie des modèles dans Ens est équivalente à M ). 5.5. Esquissabilité des catégories modelables. Rappelons (en nous contentant d'une .. "esquisse" de preuve) le résultat fondamental suivant, établi en [C.M.C.E.] (où on trouvera une preuve complète) : LEMME. Les catégories modelables sont des catégories esquissables. Plus précisément encore, si 0 est un ordinal inaccessible, les catégories ^-modelables sont des catégories ^-esquissables 8 . PREUVE Supposons que M est (0,P)-modelable. Pour toute catégorie P-petite J et tout foncteur F J —» A/', on peut donc choisir (puisqu'il en existe, par hypothèse, au moins un) un diagramme ch(F) : Ch^F) - > M ' localement co-limite de F, préservé par le foncteur injection canonique inj(A/',Af ) Alors, si on désigne par Esquiss(ch,A/) l'esquisse (évidemment 0-petite) obtenue comme suit : • son support est la sous-catégorie pleine de Fonct(M,£«s ) dont les objets sont : • d'une part les foncteurs (représentés) M (M',-) : M^Ens objet de M ' , , dès que M' est • d'autre part, les foncteurs (limites P-petites - arbitrairement choisies - de foncteurs représentés) L{F) = Lim M(F(J),-), dès que F : J'^>M est un J€/°P foncteur à valeurs dans A/', où J est une catégorie P-petite (et en ne choisissant - arbitrairement - qu'une telle catégorie par composante connexe du sous-groupoïde de Cat ayant pour flèches les seuls foncteurs inversibles), La réciproque du LEMME de 5.5 est également valide (voir le LEMME de 5 7). 46 • ses cônes distingués sont les limites L{F) = Lim Af (F(J),-) précédentes, Je7op • ses co-cônes co-distingués sont les co-limites L{F) = CoLim Af(ch(F)(I),-), dès IeCh(F) û p que F J -» M vérifie les conditions précédentes, on établit que M et Mod(Esquiss(ch,A/),£/is) sont équivalentes, ce qui permet de conclure. FIN DE LA PREUVE. 5.6. Genres et esquissabilité des catégories modelables. De la PREUVE du LEMME de 5.5, on déduit immédiatement que . PROPOSITION. Si $ est un genre de catégories, les catégories ^-modelables sont des catégories ^-esquissables. Plus précisément encore, si 0 est un ordinal inaccessible, les catégories {£Q)-modelabiés sont des catégories {£Q)-esquissab/es9. PREUVE. Supposons que M est (£0,p)-modelable. Pour toute catégorie P-petite J et tout foncteur F J —» A/', on peut donc tout particulièrement choisir (puisqu'il en existe, par hypothèse, au moins un) un foncteur ch(jF) : Ch(F) -» AT qui est un ^diagramme localement co-limite de F, préservé par le foncteur injection canonique inj(M',A/) Alors, comme dans la PREUVE du LEMME de 5.5, M et Mod(Esquiss(ch,A/),£/is) sont équivalentes mais, de plus, l'esquisse 0-petite Esquiss(ch,M) est (par construction) une ^-esquisse. FIN DE LA PREUVE. 5.7. Modelabilité des catégories esquissables. Rappelons (en nous contentant de nouveau d'une ... "esquisse" de preuve) le résultat fondamental suivant, établi en [CM.CE.] (où on trouvera une preuve complète) : LEMME. Les catégories esquissables sont des catégories modelables. Plus précisément encore, si 0 est un ordinal inaccessible, les catégories Q-esquissables sont des catégories ^-modelables 10. La réciproque de la PROPOSITION de 5.6 n'est pas, en général, valide (voir 5.8). 47 PREUVE. Supposons que E est une esquisse 0-petite. On établit que M = Mod(£",£>fs ) est (0,P)-modelable en désignant par p l'ordinal régulier d'indice sup(a,s,a',b,b')+l , où : • a est l'ordinal régulier d'indice a+1 , lorsque : • a est la borne supérieure des cardinaux des (ensembles de flèches des) indexations des cônes distingués de E, • s est le cardinal de (l'ensemble des flèches du support de E) Supp(£), • a ' est le cardinal de l'ensemble des cônes distingués de E , • b est la borne supérieure des cardinaux des (ensembles de flèches des) co-indexations des co-cônes co-distingués de E, • b ' est le cardinal de l'ensemble des co-cônes co-distingués de E, puis en établissant que la sous-catégorie pleine M.p de M , dont les objets sont les modèles de E à valeurs dans la catégorie des ensembles de cardinaux strictement inférieurs à P , est "essentiellement 0-petite", i.e. équivalente (par l'injection canonique) à une de ses sous-catégories pleines 0-petites M' qui, dès lors, convient. FIN DE LA PREUVE. 5.8. Genres et modelabilité des catégories esquissables. La réciproque de la PROPOSITION de 5.6 n'est pas (en général) valide. Plus précisément, si ^ est un quelconque genre de catégories et si 0 est un ordinal inaccessible, on ne peut affirmer (en général) que, pour toute ^-esquisse 0-petite £ , la catégorie M = Mod(2s,£>is ) de ses modèles est (£0)-modelable. D'après le LEMME de 5.7, elle est seulement (en général) 0-modelable : c'est que (en reprenant les notations de 5.1 et 5.7), il n'est pas possible (en général) de trouver parmi tous les diagrammes D : / - > M ' « A/

M ' , au moins un d'entre eux n qui soit un ^-diagramme localement co-limite de F 12. 5.9. Genre d'esquissabilité des possédant les produits de deux. catégories modelables Etablissons (en reprenant la notation de 2.3) que : THEOREME. Pour toute catégorie localement petite M, les trois propriétés sont équivalentes : suivantes • M est une catégorie modelable possédant les produits de deux, • M est une catégorie 7M\ on peut donc choisir (puisqu'il en existe, par hypothèse, au moins un) un diagramme 0-petit ch'{F) : Ch\F) -» M ' , localement co-limite de F et préservé par le foncteur injection canonique inj(A/',M) : A/' —> M. Dès lors, pour toute catégorie P-petite J et tout foncteur F J —> M\ on voit (en reprenant les notations de 4.3) que : • le diagramme : ch{F) = satur(ch'(F)) : Ch{F) = Satur(ch'(F)) -> M' est un diagramme 0-petit (puisque M' est 0-petite) localement co-limite et saturé de F, • le diagramme : i„j(M',M). ch(f ) : CKF) ^ ^ A/' . ^ , ^ , M est un diagramme 0-petit localement co-limite et saturé de inj(A/',A/) oF : J -> M (puisque M' est une sous-catégorie pleine de M). Mais, M possédant (par hypothèse) les produits de deux, les diagrammes localement colimites saturés dans M sont (d'après la PROPOSITION de 4.5) des diagrammes localement co-limites d'indexations co-tamisantes. Par conséquent (en reprenant les notations de 5.5) Esquiss(Ch,M) est une 7^^-esquisse et M est donc (7<**,0,P)modelable. b) Supposons, maintenant, que M est (7<*#*,0)-modelable. D'après la PROPOSITION de 5.6, elle est (7<^,0)-esquissable. c) Supposons, enfin, que E est une 7*^-esquisse 0-petite En vertu du LEMME de 5.7, la catégorie Mod{E,Ens) est 0-modelable. De plus, en vertu de la PROPOSITION de 3.3, la catégorie Mod{E,Ens) produits de deux. FIN DE LA PREUVE 13. 13 possède les De cette PREUVE il ressort que, si ¢= 1 Mod(EMns)^ = A/

M\ au moins un d'entre eux qui soit un £diagramme localement co-limite : elle consiste à en saturer un quelconque ! 50 6. Bibliographie. [CM.CE.] C. Lair. Catégories modelables et catégories esquissables. Diagrammes 6, Paris. 1981 [CM.CF.] R Guitart et C. Lair. Calcul des modèles syntaxiques et calcul des formules internes. Diagrammes 4, Paris, 1980. [C.Q.C.E.] C. Lair, Catégories qualifiables et catégories esquissables. Diagrammes 17. Pans. 1987. [D.E.T.G.] C. Lair. Diagrammes localement libres, extensions de corps et théorie de Galois. Diagrammes 10. Paris, 1983. [E.T.S.A.] C. Ehresmann. Esquisses et types des structures algébriques. Bul. Instit. Polit. Iasi. XIV. 1968. 7. Table. 1. Introduction. 25 2. Sur l'existence de produits de deux dans certaines catégories qualifiables. 26 2.1. Catégories qualifiables 26 2.2. Genres et qualifications 28 2.3. Existence de produits de deux dans certaines catégories qualifiables. 28 3. Sur l'existence de produits de deux dans les catégories de modèles de certaines esquisses. 32 3.1. Esquisses. 32 3.2. Genres et esquisses. 34 3.3. Existence de produits de deux dans les catégories de modèles de certaines esquisses. 35 4. Sur les diagrammes localement co-limites dans les catégories possédant les produits de deux. 35 4.1. Diagrammes et troncs de co-cônes localement co-limites. 35 4.2. Genres, diagrammes et troncs de co-cônes localement co-limites. 37 4.3. Diagrammes et troncs de co-cônes localement co-limites saturés. 38 4.4 Genres, diagrammes et troncs de co-cônes localement co-limites saturés. 40 4.5. Diagrammes localement co-limites saturés dans les catégories possédant les produits de deux. 41 51 5. Sur le genre d'esquissabilité des catégories modelables possédant les produits de deux. 43 5 1. Catégories modelables. 43 5.2. Genres et catégories modelables. 44 5 3 Catégories esquissables. 45 5.4. Genres et catégories esquissables. 46 5.5. Esquissabilité des catégories modelables. 46 5.6. Genres et esquissabilité des catégories modelables. 47 5.7. Modelabilité des catégories esquissables 47 5.8. Genres et modelabilité des catégories esquissables 48 5.9. Genre d'esquissabilité des catégories modelables possédant les produits de deux. 49 6. Bibliographie. 51 7. Table. 51 Université Paris 7 U.F.R. de Mathématiques Tours 45-55-5ème étage 2, place Jussieu 75251 Paris CEDEX 05 FRANCE laira;mathp7. jussieu.fr 52