D IAGRAMMES C. L AIR Conditions syntaxiques d’existence de co-adjoints aux foncteurs algébriques Diagrammes, tome 1 (1979), exp. no 5, p. L1-L18 © Université Paris 7, UER math., 1979, 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, Vol. 1 , 1979« CONDITIONS SYNTAXIQUES D'EXISTENCE DE CO-ADJOINTS AUX FONCTEURS ALGEBRIQUES . C. Lair. Introduction. Soit T une théorie de Lawvere et A = Alg(T) sa catégorie 1 d'algèbres. On sait que le foncteur d oubli canonique A > Ens possède un co-adjoint à la condition nécessaire et suffisante que: (i). toutes les lois de vers de lois T factorisent par projections au-tra- 1-aires (voir (S.P.A.T.)). Plus généralement, nous établissons ici des conditions suffisantes et/ou nécessaires analogues (i.e. syntaxiques) pour que, si ^ Pf U: P est une réalisation (i.e. un foncteur continu) en- tre deux prototypes (i.e. deux catégories munies de limites projectives), le foncteur algébrique qu'elle induit Alg(Pj) > Alg(P) possède un co-adjoint. Ces différentes conditions sont énoncées et prouvées dans le §2. Pratiquement, il arrive souvent que les prototypes considérés possèdent de "petits systèmes générateurs". Dans ce cas, nous fournissons une condition suffisante particulière pour que le foncteur algébrique ainsi engendré (on dit aussi "esquissé") possède un coad joint. C'est l'objet du §3• Le lecteur constatera facilement que les conditions énoncées sont effectivement facilement vérifiables dans la pratique. Nous lui laissons d'ailleurs le soin de dresser une liste d'exemples, immédiats, correspondants chacun à chacune des conditions obtenues. L 2 Nous avons groupé dans le §1 la terminologie et les résultats préliminaires qui nous sont utiles dans toute la suite. On y trouvera, notamment, une condition nécessaire et suffisante sémantique pour qu'un foncteur algébrique possède un co-adjoint, voir aussi (T.D.C.P.). §1. Eléments de la théorie des prototypes. On appelle prototype toute catégorie localement petite où sont distinguées des limites projectives. S'il n'y a aucun risque de confusion quant aux limites que l'on distingue, on note simplement /p/ un prototype de catégorie sous-jacente Si /p/ et /u/: /P/ P . /P'/ sont deux prototypes, on dit que • <) /P'/ est une réalisation si, et seulement si, ) Pf U: P est un foncteur qui commute aux limites projectives distinguées. Si que H est une catégorie et si ~-$ P: /P/ ment si, F: P — H ^ H est une /P/ est un prototype, on dit /P/-algèbre dans H si, et seule- estoin foncteur qui transforme les limi- tes projectives distinguées de /p/ en des limites projectives de H ; pour plus de commodité nous dirons, également, d'une /p/-algèbre dans /P/ Hop que c'est une , On note H'— sont les /p/-algèbres dans /p/-co-algèbre dans H . P la sous-catégorie pleine de H— dont les objets H ; à l'équivalence près, une telle catégorie est dite algébrique. Si H est une catégorie et si /u/: /p/ > /P'/ est une réalisation, elle induit un foncteur, dit algébrique, noté *?'>.*£'' >S/E/. Très particulièrement (et pour des raisons extérieures au présent travail), nous poserons: - Ens' —' = /P/ , pour tout prototype - Ens = /u/ /P/ , , pour toute réalisation /u/, et, par souci d'homogénéité des notations: P -H- Ens— = P , pour toute catégorie localement petite P . L 3 Si /P/ est un prototype, comme P est localement petite, on * op dispose du plongement de Yoneda P ^ P Comme tout foncteur représentable commute aux limites projectives, ce plongement est à valeurs dans /P/ définit alors une /p/-co-algèbre dans notée Y: /p/ > /p/ * ° P . °P et sa restriction /P/ , dite canonique, et Rappelons, maintenant, trois résultats élémentaires qui nous sont indispensables dans la suite. ^/Pf/ E-'oit /U/: /P/ et Y': /P f / sons ^ /P'/ p une réalisation, Y: / P / °P £ /P/ les co-algèbres canoniques. Nous po- P Z' = /U/ * ° .Y' . Lemme 1. Pour tout objet P de P , l'objet Y'UP de /P'/ est structure libre sur l'objet YP de /P/ , relativement au foncteur /u/ Preuve. On a, naturellement en tout objet F' Hom(YUP,F') - F'UP ^ /u/*F'P de /P'/ : (Yoneda) (définition) ^Hom(YP,/u/ * F') (Yoneda) . :: Du lemme 1 résulte la transformation naturelle £ : Y -=$= Z'.U définie comme suit: - pour tout objet P l'image de f Id Y UP de P , on désigne par £ p : YP ^Z'UP par la bijection, associée à l'adjonction du lemme 1, Hom(Y'UP,Y'UP) Lemme 2. Le foncteur ~ >Hom(YP,Z'UP). Z' = /u/ op .Y : P' > /P/ P est extenII •* op sion de Kan à droite et point par point du foncteur Y: P — ^ /P/ le long du foncteur U: P ^ P' . Preuve. Four prouver ce lemme, il suffit de montrer que, pour tout objet F de / P / * , le foncteur Hom(Z' - , F) : P' est extension de Kan à gauche du foncteur Hom(Y - ,F): P le long de U: P ^ P' . > Ens > Ens L4 F 1 : Pf Pour ce faire, supposons que que f: F'*U ^ Ens est un foncteur tel •• )• Hom(Y - ,F) est une transformation naturelle. ff: F1 Nous désignons, alors, par y Hom(Zf - ,F) la trans- formation naturelle composée suivante: ^ Hom(Y' - ,F') N restriction Yoneda de Hom(/u/ .Y» - ,/u/ F') /U/ * (définition) Hom(Zf - ,F'.U) Hom(Z»-,f) V *J i Hom(Z' - ,F) Hom(Z' - ,Hom(Y -, F)) Yoneda f Evidemment, f : F' r = ^ H o m ( Z ! - ,F) est l'unique transformaf' . Ç ^ = f p , pour tout objet UP ^P de P . Ceci prouve donc le lemme. Lemme 3• (Condition sémantique d'existence d'un co-adjoint). P tion naturelle telle que Le foncteur algébrique /u/ : /P'/ ^/E/ co-ad joint si, et seulement si, Z' : /P'/ une possède un ^ /P/ ° est /P'/-co-algèbre dans /P/ Preuve. Si /u/ possède un co-adjoint, il commute aux limites inductives. En conséquence, comme une co-algèbre, /u/ op .Y' = Z f >/P f / Y': /P\/ es * est une co-algèbre. La condition est donc bien nécessaire. Supposons, pour montrer qu'elle est suffisante, que co-algèbre. Pour tout objet f Hom(Z' - ,F) : /P / jet de /P'/ F de ^ Ens est une F' de /P f / , il est clair que 1 /P /-algèbre, i.e. un ob- /P 1 / puisque /p/ et P P' et Hom(Y - ,F) ^ neda). Ceci prouve que : Hom(/u/ * F1 ,F) , S± Hom(F',Hom(Z' - ,F)) fini par est une . En vertu du lemme 2, nous avons donc naturelle- ment en tout objet et /p/ Z' sont des sous-catégories pleines de /u/ F (Y étant un plongement de Yo- possède bien le co-adjoint qF = Hom(Z' - ,F). :: q dé- L 5 Du lemme 3 résultent immédiatement les deux corollaires qui suivent. Pour énoncer simplement le premier, nous dirons qu'une /P 1 / si, et seulement si, elle catégorie est utile au prototype indexe une limite projective distinguée de Corollaire 1 . Le foncteur algébrique /P'/ • /U/ possède un co-ad.ioint si, et seulement si, il commute aux limites inductives dont les catégories d'indices sont duales des catégories utiles au prototype .g. Corollaire 2. Le foncteur algébrique /u/ possède un co-adjoint si, et seulement si, il commute aux limites inductives. Dans la suite, nous identifions une théorie de Lawvere (resp. Linton) à un prototype - T / T / tel que: est la catégorie sous-jacente à la théorie, - tous les produits finis (resp. petits) de Ainsi, la catégorie /T/ T sont distingués. est isomorphe à la catégorie des al- gèbres de la théorie. Par contre, si un homomorphisme entre théories (i.e. un foncteur préservant les produits - finis ou petits et les objets ) s'identifie à une réalisation entre les prototypes associés, la réciproque est fausse: ceci permet de considérer plus de foncteurs algébriques exemple, le foncteur associe /T f / Ab „ ^ Ab G x G ) . Précisément, si ,) / T / qui, à tout groupe abélien G /T/ de un objet T tel que tout objet n copies de T , où Alors, nous posons n T est une théorie, T possède T est un produit de est un entier (resp. un cardinal). T = T une réalisation de degré (considérer, par . On dit que n /u/: /T/ ^/T!/ est si, et seulement si: - /T/ et /T'/ sont deux théories, - /u/ est une réalisation et ' ' UT. = T' I n Un homomorphisme entre théories s'identifie donc à une réalisation de degré 1. Bien sur, des considérations analogues valent aussi pour les I-types de Bénabou (voir (S.A.D.C.)). L 6 Foyennant ces précisions, du lemme 3 on déduit aussi les co- rollaires particuliers qui suivent. Corollaire 3. Si /u/ : /T/ ^/T' / est une réalisation entre /U/ admet un co-adjoint si, et théories de Lawvere, le foncteur .gm^JemQnt si, il commute aux sommes finies. Corollaire 4* Si /u/: / T / >/£'/ est une réalisation d'un I- •H- type de Bénabou vers un I'-type de Bénabou, le foncteur /u/ possède un co-adjoint si, et seulement si, il commute aux sommes •Pï nj es o Corollaire 5. Si /u/s / T / ^ /T'/ est une réalisation entre théories de Linton, le foncteur /u/ possède un co-ad joint si, et seuleia^nt si, il commute aux petites sommes. Signalons que seuls les lemmes 1,2 et, surtout, 3 nous sont utiles d^ns la suite. Nous en avons énoncé les corollaires 1 à 5 (évidents, et d'ailleurs peu originaux) par simple souci esthétique: le problème de la caractérisation sémantique des foncteurs algébriques possédant un co-adjoint étant ainsi entièrement résolu. §2. Conditions syntaxiques d'existence d'un co-adjoint à un foncteur algébrique Donnons, tout d'abord, une condition nécessaire et suffisante syntayique d'existence de co-adjoints applicable à des foncteurs algébriques particuliers. .flous supposons donc que /u/ : P .„ ) /P 1 / est une réali- sation (étant entendu que la catégorie localement petite P est identifiée au prototype particulier obtenu en n'y distinguant aucune limite projective ... même si P en possède). Nous reprenons les notations des lemmes 1, 2 et 3Proposition 1. Pour que /u/ possède un co-adjoint, il faut et P P il suffit que: (i). pour tout objet P! = lim «*—— PTY! A de et toute limite projective distinguée dans /Pf/> on ait ~" ""*" ————— Hom(P',UP) = lim Hom(P*v,,UP) . L7 Preuve. En vertu du lemme 3, /u/ seulement si, /u/ op . Y' possède un co-adjoint si, et est une /P'/-co-algèbre dans P Il en est ainsi si, et seulement si, pour toute limite projective Pf = lim P'Yt - /U/ distinguée dans Y'P' = lim /U/ Y'P' /P'/ , on a: , dans P A —^ Les limites inductives de P se calculant point par point, ceci équivaut à: - (/U/ * Y«P')(P) = lim (/^/ * Y'P«X,)(P) , pour tout objet de P P , ou encore, d'après le lemme de Yoneda, à: - Hom(YP,/ïï/ * Y'P') = lim Hom(YP,/ïï/ * Y ,p * x i) » P o u r t o u t o b J e t P de P . D'après le lemme 1, ceci équivaut à: - Hom(Y'UP,Y'P') = lim Hom(YUP,Y'P'x,) , pour tout objet Comme Y' P de P est un plongement plein et fidèle, ceci est vérifié si, et seulement si: - Hom(P',UP) = lim Hom(P'vf ,UP) dans Ens , pour tout objet de P P . Ce qui établit bien la proposition. :: On peut évidemment donner de la proposition 1 les deux versions équivalentes qui suivent. Proposition 1'. Pour que /u/ : /P'/ > /P/ possède un ce-adjoint, il faut et il suffit que: (i f ). pour tout objet une P de /P'/-co-algèbre dans Ens. Proposition 1". Pour que /u/ P , le foncteur : /P'/ Hom(-,UP) soit > /P/ possède un co-adjoint, il faut et il suffit que: (i"). pour toute limite projective dans /P'/, alors P*!!U = lim P£,!!U P' = U m P'x, , distinguée dans CaTyp, , L 8 (où CaT est la catégorie des catégories localement petites et où, pour tout objet P' de P' , on note P'!U la catégorie comma associées à ÇP' \ r ^ P' ^ p et L J n P'!!U : P'!P ^ P' est la projection canonique). Enfin, de la proposition 1, on déduit le corollaire qui suit, du à Lawere (voir (S.P.A.T.)). Corollaire 6. Soit /T/ une théorie de Lawvere (resp. Linton). Pour que le foncteur d'oubli Alg(/T/) = / T / — > Ens possède un co-adjoint. il faut et il suffit que toute loi n-aire de /ï/ (2k n est un entier (resp. un cardinal)) factorise d'une et d'une seule façon au travers d'une projection. Preuve. Il suffit d'appliquer la proposition 1 à /u/: ± où U: J[ ^ T est le foncteur distinguant l'objet T (voir le §1). :: ^/T/, T de Le corollaire 6 signifie, évidemment, que pour que le foncteur d'oubli de la catégorie des algèbres d'une théorie vers Ens possède un co-adjoint, il faut et il suffit que cette catégorie soit la catégorie des ensembles munis d'une opération d'un monoïde fixe (à savoir Hom^T , ^ ) ) . Plus généralement, la proposi- tion 1, appliquée aux foncteurs 2 objets d'un ^ /T/ distinguant les I-type de Bénabou, permet d'affirmer que, pour que le foncteur d'oubli canonique d'une catégorie d'algèbres d'un vers Ens I-type prssède un co-adjoint, il faut et il suffit que cette catégorie d'algèbres soit la catégorie des familles (indexées par I ) d'ensembles munies d'une opération d'une catégorie fixe (donî; la classe d'objets est en bijection avec I ). Revenant au cas le plus général, nous supposons, maintenant, que /u/ : /p/ • ' • )•/£'/ est une réalisation quelconque. Nous utilisons, encore, les notations des lemmes 1,2 et 3. De plus, si C est une catégorie, nous notons C A la catégorie obtenue en lui adjoignant un élément initial 0 . Si B: C > D A A A est un foncteur, B : C ^ D est son prolongement tel L 9 que B A (0) = 0 . Evidemment, toute limite projective P = £im P x , distinguée dans / P / , s'identifie à un foncteur L : X* > P tel que, notamment, L(0) = P et L(x) = P x , pour tout objet X de la catégorie X indexant cette limite; bien sûr, une remarque analogue vaut pour les limites projectives distinguées de /P'/ . Au prototype /P/ nous associons le prototype //P// où sont non seulement distinguées les limites projectives distinguées de /P/ mais aussi les foncteurs constants Y* > P (qui présentent tout objet comme limite projective "canonique" ) . Bien entendu, on vérifie que //P// et /P/ sont équivalentes. Soit Lf: X , A /P f /. Nous notons > £f L'?P une limite projective distinguée de la catégorie définie comme suit: - ses objets sont les (0^,1^,^) tels que: + û • x, > X' est un foncteur , 1—1 ' — + L :XA ^ P est une limite projective distinguée dans // P // 9 + n : Lf.¾ A relle, - ses morphismes sont les tels que > U.L est une transformation natu- (R,n!,nff): ((^,1^,^) >> (Q2,L2,n2) R: xp > X 1 est un foncteur, A + n': L .R > L 9 est une transformation naturelle, + + n": Q A.RA + on a \Q A (Unf) n 1 = n ? est une transformation naturelle, (L'n") (composition des trans- > (où L'(0)!U formations naturelles). Alors, nous notons L'??U:L'?U la catégorie comma associée à foncteur qui à L'(û)!U SL'(0)jc—^ Pf ( £ est ) le (R,n',n") associe n o (0) ^ 2 ^ L'n"(0) = L ' Q ^ O ) = L' Q^(0) = L'O ni(o>^ L 2(0) n'(o) UL^O) 1..,(0) L 10 Ces notations étant précisées, nous pouvons énoncer: Proposition 2. Pour que /u/ : /P'/ y /p/ co-ad,ioint. il suffit que le foncteur L'??U : L'?U soit initial pour toute limite projective tinguée dans /P'/ • Preuve. Pour montrer que /U/ possède un y L'(0)!U L': Xf * y ?' dis- possède un co-adjoint, il suffit de prouver, en vertu du lemme 3> que Z'.L' est une limite projective dans p /P/ L ! , distinL": X , A ^ / £ / * op pour toute limite projective guée dans /P'/ . Pour ce faire, supposons que est un autre foncteur (i.e. un autre cône projectif) tel que Lft|yf = Z'.L'i.,, (i.e. L" est de même base que Z'.L'). Si P est un objet de P et z: YP y Z'L'(o) , il lui correspond, vu le lemme 1, un unique z': Y'UP 5>Y'L'(o) tel que /u/ z' . £ = z (où £ p est l'image de isomorphisme d'adjonction du lemme 1: Hom(Y'UP,Y'UP) ™ Comme Y' Id ! Y UP par "^ Hom(YP,/u/ * Y'UP) = Hom(YP,Z'UP) ) . est un plongement plein et fidèle, il existe un unique p': L'(0) ^UP 1 de l initialité de tel que Y(p') = z'. Une première conséquence L'??U est qu'il existe alors un((Q. ,1^ ,n ),p ) tel que: - (¾ ,L ,n ) est un objet de L'?U , - Pl : L^O) y P , - U P l . n ^ O ) = p' . Comme Y est aussi bien une gèbre dans / P / relle m.: Y.L /p/-co-algèbre qu'une //P//-co-al- , il existe donc une unique transformation natuN L".Q telle que: - m^X^ = Z'n^X^ . 8 L (X ) > P ° u r tout o b J e t x-| de 2L, Dans ces conditions, nous posons: m ^ O ) ^ = V p ( z ) : YP - > L"(0) . Si ((Q 2 ,L 2 ,n 2 ),p 2 ) vérifie les conditions précédentes (où 1 est remplacé par 2 ) , on construit, de la même manière, un L 11 > LM(0) . \>p(a): YP Le lecteur vérifiera sans peine qu'une seconde conséquence de lfinitialité de L'(o)??U est que \)J(z) = V p(z) (il suffit, en effet, d'utiliser l'existence d'un "zig-zag" reliant convenablement (((^ ,1^ ,^ ) ,p1 ) à ((Q2,L2,n2) ,p2) ) . En d'autres termes, pour tout objet P de P , nous venons de construire une application \^ : Hom(YP,Z'L'(0)) ™ Z'L'(0)(P) » L"(û)(P) d Hom(YP,L"(0)), On vérifie facilement que cette construction est naturelle en l f objet P de P • On obtient ainsi un morphisme V dans /P/ : Z'L'(O) >L"(0) , dont il est aisé de vérifier qu'il est l'unique tel que, pour toute flèche ~P . Z '(0 0 y X' de X f * » o n a : > X ' ) = L"(0 > X ' ) . Ceci prouve bien que Z'.L' est une limite projective dans ° P > donc que Zf /£/ ou encore que /u/ est une /Pf/-co-algèbre dans / P / possède un co-adjoint. :: Bien entendu, la proposition 2 s'applique à une réalisation, de degré quelconque (vair le §1) entre théories. Néanmoins, on peut en donner une traduction plus simple en introduisant la terminologie qui suit. Soit /T/ une théorie de Lawvere (resp. Linton). On dit que t: T £> T est une loi (n,N)-aire. Une loi (n,l)-aire est donc, plus usuellement, une loi n-aire. On dit que la loi n-aire s T 41 ne diffère élémentairement _t: Tn ' — de la loi n-aire t: T >T que par des lois 1-aires si, et seulement si, (p? : T N T,). . . y étant un produit distingué de /T/ : v *i n X v l ^ i ^ n * — T de loiS - il existe une famille (u : ï^ - — > 1^1 < i ^ n 1-aires telle que t.[u."J i <^ i • n = t * (où v T fu 1 , > . > : T ^ «- i J 1N< î ^ C n n * t e l l e que p3? . T u . ! . ^ , / ^ T e s t l ' u n i q u e f l è c h e de n = u . • P? > Pour t o u t L 12 \ T?N est composé de t: T ^ N avec n >C N lois 1-aires si, et seulement si, étant donnés les produits (pj: T n »Vl«ix V l N> TN e s t close s i , et s e u l e - ment s i , l e s conditions: - m ^ n , a: m ^ n -T1>1^n et (*l'\—>*1>1N< N,N)-aire, image par nXN >> /T'/ est une réalisation de de- ne diffèrent qu'à des lois 1-aires de T (n,N)- près. En particulier, si le degré de la réalisation est 1 , nous pouvons énoncer: Corollaire 8. Si /u/: /T/ ^> /T'/ est un homomorphisme entre théories de Lawvere (resp. Linton), le foncteur algébrique /u/ : /T'/ ^ /T/ possède un co-ad joint dès que: (j r ). toute loi n-aire close de aire, image par aires de U T' est composée d'une loi n- d'une loi n-aire close de T , par n lois 1- T', (j'j 1 ). deux telles décompositions d'une même loi n-aire close de T' ne diffèrent que par des lois 1-aires de Par exemple, si J^ (i.e. si T T . / T / est la théorie librement engendrée par est la duale de la catégorie des entiers), on voit que la seule loi close de T conséquent, le foncteur possède un co-adjoint dès que les seules lois closes de /u/ est la loi 1-aire Id . Par T' sont 1-aires ... ce qui est une autre version de la suffisance de la condition du corollaire 6 . §3» Cas d'un foncteur algébrique esquissé. Il se peut qu'un foncteur algébrique soit induit par une réalisation /u/: /p/ :> /P'/ envoyant un système généra- teur petit /S/ de sur un système générateur petit de /p/ /S1/ /Pf/i dans un sens qui sera précisé ci-dessous. Dans ce cas, L 14 on dit que le foncteur algébrique considéré est esquissé par la restriction /v/: /s/ — respectives de U > /S 1 / de /u/ . Vues les tailles et V , il est souhaitable de disposer alors d'une condition suffisante portant sur V qui permette, sans re- cours à la proposition 2, d'affirmer que le foncteur esquissé par /V/ possède un co-adjoint. C'est dans ce but que nous établissons les résultats ci-dessous, évidemment analogues aux précédents,mais d'application encore plus aisée. On appelle esquisse (en particularisant légèrement, pour les besoins de la cause, l'optique de (E.T.S.A.) par exemple) toute catégorie petite où est distingué un ensemble petit de petits cônes projectifs. S'il n'y a aucun risque de confusion, on note simplement / s / une esquisse de catégorie sous-jacente S . f Si /s/ et / 3 / sont deux esquisses, on dit que /V/: /S/ y / S 1 / est une réalisation si, et seulement si, V: S y S' est un foncteur commutant aux cônes projectifs distingués. De même, si /P/ est un prototype, on dit que / j / : /s/ £ /P/ est une réalisation si, et seulement si, j : s —. y P est un foncteur transformant les cônes projectifs distingués en limites projectives distinguées. Si H est une catégorie et / s / est une esquisse, on dit que F: / s / y H est une /s/-algèbre dans H si, et seulement si, F: S > H est un foncteur transformant les cônes projectifs distingués en des limites projectives. On dira aussi qu'une /S/-algèbre dans H o p est une /s/-co-algèbre dans H . On note H'-' la sous-catégorie pleine de H- dont les objets sont les /s/-algèbres dans H . A l'équivalence près, une telle catégorie est dite algébrique esquissée. Si H est une catégorie et si /v/: /s/ ^'/Sf/ (resp. /J/: /s/ > /P/ ) est une réalisation, elle induit un foncteur HA/ : g/S'/ > H/2/ (resp. H ^ : H ^ dit algébrique esquissé . > */&) L 15 Très particulièrement, comme au §1, nous posons: - Ens /S/ . /s/ * , Ens/ V / = /V/ * et E n / " = / j / * . Nous admettrons le lemme qui suit (dont on se persuade facilement et pour lequel on trouvera une démonstration en (E.T.S.A.) ou encore, plus précisément, en (S.G.C.E.) ) : Lemme 4. Pour toute esquisse /s/ , il existe un unique (à iso- morphisme près) prototype petit / j / : /s/ y /P/ /P/ et une unique réalisation tels que, naturellement en toute catégo- rie localement petite H et en /b/ , on ait: - R' ' : H^-' y± est un isomorphisme. On dit alors que / P / est le prototype de /s/ et que /j/ est la réalisation canonique. En particulier, si /S 1 / est une autre esquisse et / j ' / : /s'/ y /P f / est la réalisation canonique vers son prototype, à toute réalisation /v/: / s / > /S'/ est associée une unique réalisation /u/: /P/ > /P f / telle que: - /U/./J/ = /J'/.A/ . Notons que ce lemme traduit un peu plus que l'existence d'un adjoint au foncteur injection de la catégorie des prototypes petits vers la catégorie des esquisses (pour plus de détails, voir (E.G.C.E.)). En vertu du lemme 4, si prototype et / j / : / s / dispose donc: /s/ est une esquisse, / P / son >/P/ la réalisation canonique, on * op - du plongement de Yoneda Y n : S > 11 £ . > /TÏ / * op /01 * - de la /p/-co-algèbre canonique Y: /P/ > /P/ d /£/ - d'une /s/-co-algèbre canonique Y.J = Y, : /S/ s/P/ » /£/ * ° P ~ /S/ * ° P , - du foncteur injection canonique E: /S/ J> S On vérifie alors facilement que: Lemme 5. Si / s / est une esquisse, le foncteur injection canoni- op » L 16 £uu E >> /§/ possède un adjoint A: S tel que A y supposons, maintenant, que /v/: /s/ /SJ/ .YQ= Y^. soit une réalisation et notons: - E: /S/ ^S et E': /S'/ -> S' les injections ca- i>/s/ * et A': S' > /S 1 / P 0p noniques, A: S * leurs ad- joints, _ Y :S > S et Y' : S" >> S' les plongements de Yoneda, - Y.,: /S/ y /S/ * ° P et Y': /S'/ > /S'/ * ° P les co- algèbres canoniques, - Z^ = V * 0 P .Y' : S» > S * °P , - Z» = A°P.Z» : S' > /S/ * ° P - Z- = /V/ * 0 P . Y ; : S' > f /S/ * ° P . Alors, on a: Lt;T»ime 6. Le foncteur Z' est extension de Kan à droite et point par point du foncteur Y Q le long de V . Le foncteur Zîf est extension de Kan à droite et point par point du foncteur Y-| le lqnp de V . Preuve. La première affirmation résulte du lemme 2 appliqué à la réalisation particulière V: S y S1 entre prototypes (petits) où ne sont distinguées aucunes limites projectives particulières. Comme A o p est co-adjoint, il préserve les extensions de Kan à droite et point par point, d'où la seconde affirmation. :: L'analogue du lemme 3 est: .V. Lerrvg 7. Pour que /v/ possède un co-adjoint, il faut et il suf- fit que Z' soit une /Sf/-co-algèbre dans /s/ Preuve. En effet, si /P'/ est le prototype de /S'/ et / j 1 / : /S 1 / y /P f / est la réalisation canonique, on a, par construction, Z'.J = Z% .Si Z' est une co-algèbre, il est clair que Z' en est une. Inversement, comme /P'/ est le proto- L 17 type de /S'/ , si Z' est une co-algèbre, Z' en est une. Ce qui prouve le lemme, vu le lemme 3« (D'ailleurs, on établit facilement que Z' , prolongement à P' de Kan à droite et point par point de Z* Z' , est extension de le long de J'.V.) :: On peut affaiblir, maintenant, le lemme 7 en le suivant, que nous utilisons immédiatement après. Lemme 8. Si Z" ^ /v/ i est une — /S'/-co-algèbre dans possède un co-adjoint (et valent à /s/ alors — — Z" est naturellement équi- Zj). Y Preuve. Soit P un objet de Z" est une co-algè- bre, il est clair que Hom(Z" - ,F) est une /S'/-algèbre dans Ens, i.e. un objet de /S'/ . Il en résulte que, naturellement en tout objet /S'/ P' de Hom(F',Fom(Z,1' - ,P)) ~ /s/ . Si et en vertu du lemme 6, on a: Hom(P' .V,Hom(Y1 - ,F)) 1 Hom(F'.V,F) ~ Hom(/v/ * F',F) . Donc /V/ possède bien un co-adjoint q défini par: - q(F) = Hom(Z'1t - ,F) . Dans ce cas, les lemmes 3 et 7 indiquent que l'on a aussi: - q(P) ^ Hom(Zj; - ,F) , et, par conséquent, Z' ^ Z" . :: Il nous reste à prouver l'analogue de la proposition 2 . Pour ce faire, nous notons jacente //S// l'esquisse, de catégorie sous- S , où les cônes projectifs distingués sont non seule- ment ceux de /s/ mais aussi les foncteurs constants jf* -—~> S . Nous utilisons, enfin, des constructions et des notations analogues à celles qui précèdent la proposition 2. Dans ces conditions, nous avons: Proposition 3. Pour que /v/ : /S'/ un co-adjoint, il suffit que le foncteur y /s/ C'??V: C'?V possède ^Cf(0)!V L 18 soit initiai, pour tout cône projectif C : X'A gué dans ^ S ' , distin- /S 1 / . Preuve. Nous allons prouver que Z" est une co-algèbre ce qui, en vertu du lemme 8, suffira. C: X f A — — y Soit et L": X f A se que SfA un cône projectif distingué dans y /S 1 / /S r / un autre cône projectif, de même ba- Z".C . Un raisonnement tout à fait analogue à celui effectué dans la preuve de la proposition 2 établit qu'à tout morphisme z: YQS ^Z^C'to) est associé un et ce naturellement en l'objet ~D : Z'C'(o) un morphisme S de V g ( z ) : YQS -> L"(0) S . Alors, ceci définit y L"(0). Il en résulte, par ad- jonction, un morphisme: - V 2 A°PZ£C'(0) = ZlJC'tO) - > L"(0) , dont on prouve sans peine qu'il est le seul à vérifier: 0 V . Z"(0 y X' de > X 1 ) = L"(0 X'\ Ceci établissant que /s/ > X') , pour toute flèche Z%C est une limite projective dans 9 la proposition en découle. :: Bibliographie. (E.G.C.E.) C. Lair, Etude générale de la catégorie des esquisses, Esquisses Mathématiques 23, Paris 1975• (E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bal. Inst. Polit., Iasi XIV, 1968. (C..K.D.Ct) J. Bénabou, Structurée algébriques dans les catégories, Cah. de Top. et Géom. Diff., Vol. X,1 , , Dunod, Paris 1968. (S.P.A.T.) F. W. Lawvere, Some algebraïc problems in the context of functorial semantics of algebraïc théories, Lecture notes in Kath. 61, Springer, 1968. (T.D.C.P.) Y. Diers, Type de densité d'une sous-catégorie pleine, Ann. Soc. Sci. Bruxelles 90, 1976.