D IAGRAMMES L. C OPPEY Sur quelques structures de base pour définir les structures Diagrammes, tome 7 (1982), exp. no 2, p. C1-C23 © Université Paris 7, UER math., 1982, 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, 7 , 1892« SUR QUELQUES STRUCTURES DE BASE POUR DEFINR LES STRUCTURES, par L.Coppey I) SYSTEMES MULTIPLICATIFS. Définition Un système multiplicatif f titué d un ensemble S S" est cons- et d'une loi de composition binaire partielle, notée en général par un point, lorsque cfest nécessaire, Lfensemble des couples composables de par S9 est désigné S t S . Définition Un homomorphisme h : S* > Sf* entre systèmes multiplicatifs est défini par une application h satisfaisants (y,x) € S tf S > (h(y)fh(x)) € Sf t Sf et h(y.x) = h(y).h(x) . Les homomorphismes se composent naturellement et constituent alors la catégorie Définition Sysm dite des systèmes multiplicatifs,, Une correspondance c s S* > Sf " entre systèmes multiplicatifs est définie par une application c sa- tisfaisant s (y,x) € S * S et (c(y),c(x)) € Sf * S 1 > c(y.x) = c(y).c(x), C 2 Les correspondances se composent de la manière suivante s soient c z S9 > S 1 * et c1 s Sftf > S"* deux cor1 respondances • Elles sont dites eomposables si et seulement si SJ # =^S ,# et si l'application composée c1© c définit encore une correspondance de S # vers S"° • Notons qu f il se pourrait en effet que l f on ait c f c(y.x) ^ c , c(y),c , c(x) , ce qui signifierait seulement que (c(y),c(x)) £ S 1 $ S 1 . Avec cette composition, les correspondances constituent un graphe multiplicatif (associatif au sens précis donné en {2} et rappelé brièvement plus loin) qui contient Sysm comme sous-structure. Notons que ce nfest point une précatégorie. Notons le Corr* Remarque » Les correspondances fournissent (presque) un exemple, d'ailleurs fort simple, de morphismes souples (cf. {7} et {il} ). Ils sont en effet si souples que, ne constituant pas naturellement une catégorie, il eut suffit que les auteurs de {7} pensent aussi aux grap>hes multiplicatifs (resp. aux graphes multiplicatifs associatifs) internes à la catégorie Esq des «sciiisses, étant entendu que lfesquisse de graphe multiplicatif (à réaliser ensuite dans Esq ) est "à la portée de tous", et que celle de graphe multiplicatif associatif (à réaliser ensuite dans Es£ ) a été pratiquement décrite en {2} ( § 3 ) , grâce à la catégorie P des parenthésages. L'idée de base de lfarticle {7} est donc parfaitement adaptée au cas présent, II) SOUS-SYSTEMES MULTIPLICATIFS. Soit S* un système multiplicatif. Toute partie T de S détermine naturellement un sous-système multiplicatif de S* en prenant pour T t T 1 ensemble des couples (y,x) Ç TxT f) StfS tels que y,x Ç T • On dit que T est un sous-système multiplicatif (ou simplement une partie) stable de S* si et seulement si on a lf égalité s TtfT = TxT fl StfS , c'est-à-dire encore que, si x , y sont dans T et si y.x est défini, alors y.x est dans T. C 3 Exemple. Sysm est une partie stable de Corr , et plus géné- f ralement, toute partie d un graphe multiplicatif qui se trouve être une catégorie est stable. Etant donnée une partie T de S* , elle détermine un T # , sous-système de système multiplicatif canonique S', et aussi un sous-système stable engendré (dénombrablement), soit T', appelé encore fermeture stable de T, Soit S* un système multiplicatif. Une base de une partie minimale re stable dans A S s A de = composables d'une base S S' est pour la propriété de fermetu- S.Si yetx sont des éléments A , alors , on a soit y.x = x , soit x*y = y , ces deux cas ne s'excluant pas. Un système multiplicatif n'a pas nécessairement de base, et deux bases nfont pas nécessairement même cardinal, sauf si celui-ci est infini. III) SYSTEMES MULTIPLICATIFS QUOTIENTS, S# Soit un système multiplicatif, et soit lation binaire sur S 5 le quotient de que le système multiplicatif (S/r) # , où d'équivalence compatible engendrée par position de S/r S# (S/r)* > S" par r r r r une ren'est autre est la relation et la loi de com- est définie, comme d'habitude, pour que soit un homomorphisme, IV) RELATIONS MULTIPLICATIVES. Nous n'en parlons ici que pour signaler des problèmes techniques propres aux systèmes multiplicatifs. Aspect cartésien. Il ne pose pas de difficulté. Une relation multiplicative R s S* > S'* entre systèmes multipli- catifs est définie par la donnée d'une partie du produit SxS', notée encore R, munie de la structure de sous-système de S"xS' # . On dit que R est stable si c'est une partie stable de S*xS'\ C 4 Exemples, Les relations stables R : S° tement les relations compatibles sur > S* sont exac- S*. Les relations fonctionnelles stables s'identifient naturellement aux correspondances, La composition s'effectue ici, comme dans le cas des r e lations entre ensembles, et l'on obtient ainsi la catégorie Relm des relations multiplicatives$ elle contient Corr comme sous-graphe multiplicatif (non stable)s les relations stables ne constituent pas une partie stable de Relm , Remarque, Soit soit T" i s T* un sous-système multiplicatif de > S* lfinclusions puisque S* et i est un ho- momorphisme, c'est aussi une correspondance, et donc l'injection T* > T'x S' ( x > (x,x) ) détermine une sous- structure stable de T'xS' , tandis que T' n'est pas obligatoirement stable. Aspect fonctionnel. Ici, plusieurs possibilités interviennent nécessairement. Soit semble S* un système multiplicatif. Dans l'en- P(S) des parties de S , plusieurs structures multi- plicatives "naturelles" sont a priori possibles. En voici quelques unes, B et A désignant des éléments de ère - 1 B.A P(S) s composition (notée, comme celle de S*, par un point)s est toujours défini et c'est l'ensemble de tous les com- posés possibles b,a , où (b,a) € BxA .Si est un homomorphisme, on voit que f s S# > S'* f(B),f(A) => f(B.A), et que cette inclusion n'est pas en général une égalité, de sorte que l'endofoncteur P de Ens (un ensemble est vu ici comme un système multiplicatif sans couples composables) ne s'étend pas en un endofoncteur de Sysm , L'application canonique de S* dans P(S)" détermine cependant un homomorphisme. ème - 2 composition (notée par un rond "o") s BoA est défini si et seulement si, quel que soit (yfx) € BxA, y,x est défini dans S", Dans ce cas, on pose BoA = B.A . Pour cette composition, P devient un endofoncteur (covariant) de Sysm et l'application canonique de S* dans P(S)° définit C 5 encore un homomorphisme. - 3 e m e composition,notée par un point entouré d'un rond " 0 " sB 8 A est défini si et seulement si l'application de composition détermine une bijection de vers B.A , Dans ce cas, le composé Cette composition Bt A = B 0 A BxA est égal à fl S tf S B,A , mérite le nom de "directe" (ou "semi-di- recte") à cause de la propriété d'existence et d'unicité de décomposition d'un élément (b,a) Ç x Ç B.A en un produit b.a avec B x A . Ce genre de décompositions a été largement étudié dans {.4} . Soit P (S) l'ensemble des parties stables de S . En s général, le composé (pour l'une des lois "." , "o" ou "G" ) de deux parties stables n'est pas stable. On peut alors "corriger ce défaut" de plusieurs manières, par exemple Î - composer les parties stables selon l'une des lois désirée, seulement si le composé est encore stable, envisageant ainsi P (S) comme un simple sous-système (non stable !) de P(S) i - composer les parties stables selon la loi désirée, en oubliant d'abord leur propriété de stabilité, puis en prenant la fermeture stable du composé dans P(S)$ ,., On pourra alors définir une relation multiplicative R s S* > S , # , sous l'aspect fonctionnel, par la donnée d'un homomorphisme ou d'une correspondance, ou même d'une simple application de S* vers P(S') ou Pe(S'), muni de la s loi désirée, etc.. Ceci ne constitue pas évidemment une définition, mais seulement un éventail (non limitatif) de possibilités... Le problème de l'équivalence entre l'aspect cartésien et l'aspect fonctionnel pose au moins celui de la fonctorialité de P . D'autre part , il est souhaitable de retrouver l'équivalence usuelle dans Ens (lorsqu'on identifie un ensemble à un système multiplicatif sans couple composable). La catégorie Sysm contient aussi Cat comme sous-caté- gorie pleine (ce qui fournit d'ailleurs un autre plongement C 6 naturel de Ens dans Sysm , un ensemble étant regardé cette fois comme un système multiplicatif où les seules équations 2 sont "x = x" ) et il est souhaitable de retrouver des situations d'équivalence déjà étudiées par divers auteurs. Réciproquement, le fait d'envisager Cat comme sous-catégorie de Sysm peut suggérer d'autres possibilités de définition et d' étude des "catégories de relations associées à Cat". V) GRAPHE hULTIPLICATIF LIBRE ENGENDRE PAR UN SYSTEME MULTIPLICATIF. Soit Gram la catégorie des graphes multiplicatifs. Rap- pelons qu'un graphe multiplicatif S* est un système multipli- catif satisfaisant les conditions suivantes s (i) tout élément x de S" possède un élément neutre à droite a(x) et un élément neutre à gauche (ii) tout couple composable a(y.x) = a(x) |3(x) • (y,x) est tel que , p(y«>x) = g(y) , et a(y) = 3(x) . Un homomorphisme entre graphes multiplicatifs doit respecter la composition et les éléments neutres. L'oubli naturel (inclusion) Gram un adjoint à gauche soit a sS G et possède que nous explicitons ici s S° un objet de > A > Sysm Sysm g i S $ choisissons deux bijections > B , de sorte que A, B, et S soient disjoints $ la réunion S de A, B et S est munie de la structure multiplicative suivante : S t S c (S î S) 0 (S V A) U (B V 0 S) U DA U D D , OC où p A D S VA est l'ensemble des couples (x,a(x)) , x € S , B VgS est l'ensemble des couples (p(x),x) , x € S et D. et D sont les diagonales respectives de AxA et BxB, et les composés sont donnés par s y.x , si (y,x) Ç S V S , y.a(y) = 3(y).y = y , pour tout y € s , 2 x = x , quel que soit x € A U B • C 7 Soit alors r la relation dans tout couple (y,x) € S tf S , a(y) et S ot(x) et qui identifie, pour ct(y.x) , 0(y.x) 0(x) t le système multiplicatif quotient est le graphe multiplicatif libre engendré par phisme naturel S' > GS° puisque l'équivalence r que des éléments de A U B. ( x S/r et 0(y) = GS* S* °9 l'homomor- > x mod r) est injectif, n'identifie éventuellement entre eux Voici quelques exemples simples s S Equations de S* Cx} 0 Cx } x2 = X C y >x } y.x = x { y $x } x.y = x { z 9y *x } z = y.x Remarque. Le dessin de GS° ne suffit pas à caractériser cette structure • Ainsi, dans les exemples 3 et 4 précédents, on obtiendrait le même dessin en ajoutant l'équation y = y , VI) PROBLEME DE LA RECONNAISSANCE DES STRUCTURES. Voici, de façon euristique, de quoi il s'agit s étant donné un système multiplicatif (associatif) S* , si on 1' envisage, a priori, comme un ensemble de morphismes entre structures d'un certain type, quels sont ces types de structures possibles ? Autrement dit, on "voit" des morphismes "sans source ni but" , et il faut "reconnaître" les structures ! A cet effet, la première idée consiste à rajouter à S' des "unités" (ou éléments neutres) possibles. On peut le faire C 8 librement (c'est la construction faite au § précédent) , mais on doit aussi envisager toutes les catégories possibles dans lesquelles le plongement de S* est possible (entre autres, celles pour lesquelles le plongement préserve d'éventuels éléments neutres existant déjà dans S" , mais il n'y a là aucun caractère "obligatoire" bien évidemment ! ) . Le problème se divise assez nettement en deux s - 1 - Un problème de nature algébrique s dans quelles catégories S* peut-il de plonger ? - 2 - Etant donnée la classe C(S*) de ces catégories, quelles conditions (nécessaires et / ou suffisantes) doiton imposer à une esquisse réalisations Ens de la classe de a pour que la catégorie de ses soit équivalente à l'une des catégories C(S") ? Dans cette direction, les travaux Diers, Gabriel-Ulmer, complétés et éclairés par ceux , {8} , {9} ,{10} ,....) de Lair et de Guitart-Lair ( {5} ,{6} fournissent déjà des réponses (et/ou des directions) fondamentales. VII) SYSTEMES MULTIPLICATIFS ASSOCIATIFS. Pour que le premier problème concernant la reconnaissance des structures ait des solutions, il est nécessaire que S° soit un système associatif,dans le sens précis rappelé cidessous. Soit S 0 un système multiplicatif et libre engendré par S . La catégorie (cf. i2i ) opère sur d %n > p un élément de P M(S P ) le monoïde des parenthésages M(S 8 ) de la manière suivante s soit un morphisme de P et soit C = (x , . . , ^ ) M(S') $ on sait (cf. toujours {2} ) que s'identifie naturellement à un p-uplet d (d ,d 1 »««*fd 1 ) p p—i i de dispositions cohérentes de parenthèses, portant respectivement sur n ,n On dit que d •.,...,n, opère sur places, où C , ou que d.C n + n , + . . . + n- = n. est défini, si et seulement si on peut effectuer les calculs indiqués par (d ,.,.,d-.) C 9 en partant de (x ,x ^,,..,x 1 ) (en respectant les ordres in- diqués naturellement s dx porte sur (x *x n ^ , . , . ^ ) d 2 porte sur (x ^ *•••#*„ +]>> et fournit yl , et Y2 > e t c " - > fo u * n i t et le résultat est le mot d.C = (y ••••»Y1) • A cette opération (partielle) naturelle de P sur M(S°) correspond une 2-catégorie notée PS' et dont voici la description s ses 2-flèches sont les"programmes" de S* tels qu' ils viennent d'être indiqués sous la forme C > d.C • La succession (appelée aussi composition en série des programmes dans {2} ) définit une première loi de catégorie. Pour cette loi, la composante connexe de C est notée C z . La deuxième loi de composition fait intervenir la structure multiplicative d d9 H de P (voir toujours {2} ) 3 si C > d.C et C > d'.C sont deux programmes de S* , on peut les exécuter "en même temps" (composition parallèle des programmes) , ce qui revient à dire que (d' B d).(C'C) est défini et vaut justement (d'.C')(d.C), le programme composé étant C'C dt]B d > (d'B d)(C'C) . Cette deuxième loi est partout définie (comme dans le cas de la 2catégorie simpliciale). Dans le cas d'un graphe multiplicatif G', on peut faire jouer aux unités le rôle spécial des 0-flèches (qui , pour M(S - ) est joué par la suite vide ) ce qui conduit à faire opérer P sur L(G*) au lieu de le faire opérer sur M(G*)> et cfest ce qui a été fait en ci: soit d t n . On remarquera cependant ce- > 1 un morphisme de P , et soit C = (x ,...,x^) # un élément de M(G ) tel que d.C soit défini s alors , C est élément de L(G*) * ceci est inexact en général pour des flèches de dont le but est un entier P Ceci étant, on dira que p ^ 1. S* est un système associatif si l'une des conditions équivalentes suivantes est satisfaite s C 10 A, ) S* est un "morceau de catégorie" , i.e, il existe une catégorie C" admettant S* comme sous-système multipli- catif. A^ S* est un morceau de graphe multiplicatif associa- tif (au sens de la définition donnée en {2}), A^) Si x et y sont des éléments de composantes connexes on a l'égalité t étant donné ment de (x) et z (y) z S' tels que les soient égales , alors x = y . Ceci signifie intuitivement qu' x € S5 , on ne peut pas atteindre d'autre élé- S° par une succession de décompositions et de re- compositions partant de x . A.) Le graphe multiplicatif libre GS" engendré par S9 est associatif, toujours au sens de {2} . Remarques, 1) La forme (A~) de 1'associâtivité est celle qui permet, compte tenu de la description de P , de préciser une esquisse (dénombrable, mais projective) de système multiplicatif associatif, 2) Bien entendu, la définition précédente s'applique aux graphes multiplicatifs et ne fait qu'étendre aux systèmes multiplicatifs plus généraux la définition de [2} (cf.A^), 3) La catégorie Sysm est à projections dans la sous- catégorie pleine dont les objets sont les systèmes multiplicatifs associatifs s soit relation r S" un système multiplicatif $ la telle que "x r y" si et seulement si est une équivalence compatible sur tème multiplicatif quotient S*/r (x) = (y) z z S* , de sorte que le sysest facile à décrire $ il est tout aussi facile de se convaincre que S°/r est asso- ciatif , même si l'écriture de ce fait est assez lourde ! Le système associatif S#/r est le système projection cherché. Notons que si on veut obtenir un résultat analogue en utilisant seulement les correspondances, la question est nettement plus compliquée. Il convient de définir correctement ce qu'on entend par "solution d'un problème universel" dans un graphe multiplicatif associatif, ce qu'on entend, plus généralement, par C 11 "adjoint" d'un foncteur entre graphes multiplicatifs, puis, plus particulièrement, par "limites" et "extensions de Kan" , e t c . , et tout ceci nous ramène, avant tout, au plongement de Yoneda , qui n'est plus naturel, et aux structures monoïdales bifermées de la catégorie Gram 5 c'est justement ces questions que nous avons abordées dans les § 1 et 2 de 1.2} , VIII) D'AUTRES GENRES D'ASSOCI ATIVITE. Convenons ici que 0 est un objet (isolé !) de la catégorie P . Soit que a pour objets les entiers 1 quant aux flèches de M , M M la théorie-de-Lawvere des magmas 5 rappelons outre les projections faisant de tout pies de n le produit de 1 , il y a essentiellement une flèche 2 n co- > 1 , et celles qui s'en déduisent par propriété universelle des produits et par compositions $ ainsi, de les projections, les n n + 1 vers n , il y a, outre flèches suivantes s où p = l,,.,,n. p - 1 fois La catégorie P se plonge naturellement dans respondre à n + 1 pj > n , où 1< P en faisant cor- p < n , la flèche k P = se de M , et 0 à 0. Ainsi M n apparaît comme un morceau de la thé- orie-de-Lawvere des magmas. On serait tenté de dire le "morceau essentiel" , commettant (ici) une grossière erreur, car ce sont justement les projections qui, du point de vue qui nous occupe, font la "différence essentielle" entre M C et P . Soit en effet la catégorie des surjections croissantes entre entiers (ordi- naux finis) , et identifions P comme indiqué ci-dessus 1 posons La catégorie-quotient de M turellement isomorphe à à une sous catégorie de M , u=kxl par la relation et v = 1 x k • k.u = k.v est na- C (au sujet des quotients, voir la con- vention précise que nous avons donnée en I M , pages 65 et 66 ) Ceci est la "version catégorique" du résultat élémentaire selon lequel , pour les lois binaires totales , 1'associâtivité por- C 12 tant sur 3 variables entraîne 1*associâtivité portant sur un nombre quelconque de variables. Ceci est faux pour les lois partielles s c'est ce qu'exprime le fait que la catégoriequotient de P par la même relation du tout la catégorie Certes, C k.u = k.v C ! est quand même une catégorie-quotient de P , mais la relation d'équivalence compatible le que C = P/R que P R sur P tel- ne peut pas être engendrée par un nombre fi- ni d'équations du genre " g = f" Soit n'est pas ! S* un système multiplicatifi nous avons vu opère partiellement sur M(S Q ), et cette opération s'étend encore en une opération partielle de M sur M(S") , les projections agissant par oubli de variables. Pour exprimer que C opère sur M(S") autant que que si d.C P ou que M (i.e, est défini, alors (d mod R).C l'est encore), il ne suffit pas de dire que k.u et k.v opèrent, partout où c'est possible, de la même manière ; il faut le dire pour une infinité de couples (g,f) de PxP engendrant la rela- tion R0 Dans ce cas, S' est dit faiblement associatif ; cette notion est en effet plus faible que l'associativité décrite au paragraphe précédent (cf. les contre-exemples donnés en L2J , pages 43,44,45). Ceci suggère d'autres types possibles d'associativité s soit Q une catégorie-quotient de P , dont C soit un quotient. Nous disons que si Q opère sur tient i la S* est Q-associatif M(S°) autant que P , par passage au quo- C-associativité n'est autre que la faible asso© ciativité, par exemple. Un autre point de vue que celui consistant à regarder P comme morceau de M , prend en compte la struc- ture monoïdale B de P s la catégorie-monoïdale-quotient de (P,K) par la relation (C,+), où + "k.u = k.v" est bien isomorphe à est la somme (ordinale) usuelle. C 13 IX) ACTIONS DE SYSTEMES ET DE GRAPHES MULTIPLICATIFS. Soit S* un système multiplicatif et soit semble. Une action (à droite) a de S" sur d'une application partielle de vers a est noté E V S , ou plus simplement partie de E est noté et est la donnée E . Le domaine de E V S. Si A est une T une partie de S , l'ensemble A x T fl E V S A V T °9 on écrit encore x.k au lieu de a(x,k) . Soit catif ExS E E un en- S* sur a une action à droite d'un système multipliE . L'ensemble E tf S est muni de la structu- re multiplicative naturelle suivante s (x*,kf).(x,k) est défini si et seulement si xf = x.k , et si sont définis. Dans ce cas, on pose k',k et x'.(k'.k) (x',k').(x,k) = (x*,k*.k). Les notations "x.k" , "E V S" ou "A V T" suggèrent (ou rappellent) que la réunion (supposée disjointe) de de S , notée et E + S , est munie d'une structure multiplicati- ve qui étend celle de S' , en convenant que s (E + S) tf (E + S) = EtfS U Ce système multiplicatif étendu est noté S* E opère à droite sur S StfS . E + S* . Par exemple, de façon naturelle s il ne faut pas confondre les systèmes multiplicatifs S + S" , S* , S* + S* , ou (S t S)* etc ... On définit de façon analogue les actions à gauche de S" sur E , les objets S tf E , (S tf E)° , S* + E , S* + S, etc.. On peut ainsi construire, par exemple, avec trois exemplaires de S , les systèmes multiplicatifs suivants g S' + (S + S) , S + (S# + S) , S + (S + S9) (S + S) + S° , (S + S # ) + S , , (S* + S) + S . Plus généralement, on peut engendrer, avec n exemplaires de S, par ce procédé, un certain nombre de systèmes multiplicatifs i chacun d'eux est canoniquement isomorphe à un produit S° x N" où N* désigne génériquement une structure multipli- cative sur N = (l,2,...,n} induite de la structure multipli- C 14 cative (totale) définie par le "inf." . La notation d'un tel système, consistant en une disposition cohérente de parenthè* ses à n places et le choix d'une place (pour le point!)> n'est pas ambiguë. Quant au décompte des classes d'isomorphismes de structures ainsi engendrées, il ne présente pas de difficulté particulière i nous le laissons au lecteur (en manière de distraction ! !!) Ces processus générateurs de systèmes multiplicatifs sont essentiels dans les questions concernant l'associativité, nous y reviendrons plus complètement dans un article séparé. Les axiomes supplémentaires possibles concernant les actions (associativité, unitarité, commutativité, et tutti quanti...) peuvent s'exprimer en des axiomes concernant les systèmes multiplicatifs déduits, du genre de (EtfS)* ou E + S*,etc.. Une action à droite d'un graphe multiplicatif Ga sur un ensemble E est une action du système multiplicatif sous-jacent satisfaisant en outre la condition suivantes si e alors est une unité de G", et si x.e est défini, x.e = x . Il est utile,pour la description des types de structures çians une catégorie, d'envisager les actions de graphes multiplicatifs cohérentes : ce sont celles pour lesquelles l'égalité x.(g'.g) = (x,g'),g a lieu dès que l'un des deux membres est défini ainsi que g'.g , Il revient au même de dire que le graphe multiplicatif associatif libre engendré par G" opère autant que G". En effet, si d d.C et est une disposition cohérente de parenthèses telle que x,(d,C) soient définis, où élément de M(G'), en constate que C = (g ,g -,...g-) est x.(d.C) = (...((x.gn).gn-1)...)gx, par récurrence sur n. Il ne faudrait pas en conclure que les graphes multiplicatifs déduits par les processus générateurs cités plus haut sont eux-mêmes associatifs. C 15 On définit les homomorphisme s et les correspondances entre actions, comme dans le cas des systèmes multiplicatifs (ajouter des conditions éventuelles d'unitarité...), et les mêmes remarques faites à leur propos sont encore bonnes ici, X) SYNTAXE D'ALGEBRE POUR UNE CATEGORIE. Soit C* une catégorie et soit tiplicatif admettant mêmes unités que C° De un graphe mul- comme sous-structure et ayant les C* . Soit D' l'ensemble des flèches de D qui interviennent dans les couples composables éléments de D^D - C î C ,ou qui sont composés de tels couples. On munit D* de la structure de sous-graphe multiplicatif de D suivante - à part les couples triviaux (faisant déjà de D' un graphe orienté) il y a les couples éléments de C î C, D 1 DtfD - n'est pas en général un sous-graphe multiplicatif stable de D , car on peut avoir k'.k € D t D fl D' x D' (k',k) Ç D') sans pour autant que (k',k) € (et même D* t D' j si tel est le cas en effet, cela signifie simplement que k' et qui sont éléments de k , C , ont été retenus comme éléments de D' pour des raisons étrangères à leur appartenance au couple (k',k) (même remarque pour k'.k , si kf,k € D'), Le graphe multiplicatif C" = D'" fl C- est, lui, un graphe orienté, sous-graphe multiplicatif stable de D'°. De plus, il est clair que C'- > D'1 C* > D' est une somme amalgamée dans la catégorie Gram, Réciproquement, soient donnés è - un sous-graphe orienté C* - un surgraphe multiplicatif stable , de C* , D'* de C'° , dans lequel C soit C 16 Par somme amalgamée dans Gram , on récupère un sur graphe multiplicatif D* de C", auquel correspond, par la première cons- truction, le couple (C'°, D'") dont on est parti. Ainsi, les deux données (celle de D* , ou celle de (C',D'*)) sont équivalentes s nous disons qu'il s'agit d'une syntaxe de théorie algébrique sur C*. Les éléments de D* - C s'appellent les lois formelles , et les couples composables non triviaux de Si syntaxe D1' s'appellent les axiomes de cette syntaxe , C* est une catégorie localement petite, et si la D° ne comporte qu'un ensemble de lois formelles, la classe des axiomes peut ne pas être un ensemble. Inversement, on peut avoir une classe propre de lois formelles et un ensemble d'axiomes seulement. Remarques analogues en termes de plus ou moins grande cardinalité. Remarque, Ce que nous écrivons aux paragraphes X et suivants n'est pas foncièrement nouveau s c'est une réécriture de certains passages de {3} , que nous avons jugés plus importants que d'autres, et dont le moins qu'on puisse dire est qu'ils manquaient véritablement d'attrait pour le lecteur non averti, ce qui ne veut pas dire,au demeurant,que le même lecteur, maintenant averti, éprouvera à lire ce texte-ci un bonheur sans partage ll ï XI) LES D'-ALGEBRES ET LEURS HOMOMORPHISMES. A partir d'ici nous employons la terminologie d'objet, et la notation majuscule (X,Y,,,,) pour désigner les objets. Soit catif de C" C* , et X une catégorie, D° un objet de est une action à droite de dans C' de but un surgraphe multipli- C*. Une D'-algèbre sur X D' sur l'ensemble C-_ des flèches X , satisfaisant les conditions suivantes s 1) l'action en question est cohérente, 2) si x.k est défini, alors a(x) = g(k) et a(x.k) = ct(k) 3) si k € C* et si g(k) = a(x) , alors x.k est défini , et c'est justement le composé dans C° de ces deux éléments, comme le rappelle la notation employée. C 17 Il suffit, pour décrire une ciser l'effet de D - C sur D"-algèbre sur X, de pré- C^ $ bien entendu, cet "effet" ne peut pas, en général, être arbitraire, puisque la syntaxe D* comporte, en général, des axiomes (structure de D'). Un homomorphisme d'algèbres est un homomorphisme d'actions représentable , i.e. f s (X,a) > (Y,b) , où f sX > Y est une flèche de C, l'application sous-jacente à l'action, CL, > Cy étant justement la composition par considérer aussi des morphismes formels CL. > C f . On peut (X,a) > (Y,b) où est une application non repcésentable*- On définit de même les correspondances entre D'-algèbres, représentables ou non. Voici un exemple typique de correspondance s soient M* et N" deux systèmes multiplicatifs 5 ce sont des D'-algèbres , où D° est la syntaxe dans Ens obtenue en ajoutant une loi formelle 1 > 2 3 une correspondance f s M" > N* f 5M > N satisfaisant en outre s si M" f(y),f(x) est défini dans N* , alors et si s'identifie naturellement à une application y.x est défini dans f(y.x) = f(y).f(x)$ on retrouve bien ainsi le premier sens donné en (I). Les D*-algèbres totales se définissent ainsi s soit (X,a) une D°-algèbre sur l'objet X de C' °9 si quel que soit > Y k ;Z dans D , le domaine d'action de Hom(Y,X) , on dit que (X,a) est une On désigne par phismes entre est D"-algèbre totale. Alg(D*,C*) la catégorie des homomor- B D -algèbres totales, et par U oubli naturel de k le foncteur d' f Alg(D*,C ) vers C° défini sur les objets par U(X,a) = X . Rappelons la proposition suivante (cf.{3} ) § Proposition, Si U admet un adjoint à gauche, soit L , alors Alg(D*,C°) est canoniquement isomorphe à la catégorie des Talgèbres , où T est le triple dans C" déduit de la paire (U,L). En effet, soit F(X,a) = (X,t ) où a associée à a j si F le foncteur de comparaison 1 posons t s TX > X est la T-algèbre sur X a LX = (TX,b) , t est l'unique morphisme de a C 18 (TX,b) v e r s ( X , a ) t e l que ta.€x = l^ , où ^ ; X > TX est l'unité du triple en X. F , soit G i posons donc Construisons l'inverse de G(X,t) = (X,at) , où t s TX >X née, et où nous devons préciser k sZ sur a . Soit k x sY % comme > Y , avec (x,k) € C x D C T X , on sait que est une T-algèbre don- opère sur b > X et est une action £,.x s par définition,on pose % a (x,k) = t.((£,.x).k) . On doit vérifier que a est b bien une action à droite de D° sur C„ satisfaisant les condi- tions voulues. (i) soit k f C s alors x.k = t.((£..x).k) = x.k a . t (ii) supposons que le composé soit défini % k'.k comme il s'agit d'actions totales, on sait déjà que les deux éléments a posons = x.(k'.k) et P = (xok').k sont définis i u = (£,.x)#k' , de sorte que s a = t.(u.k) et 3 = t.((Çx.t.u).k) . On peut écrire 3 = t.((Tt.€ ,u).k) % mais, en posant 2 L(TX) = (T X,c) , on sait, par définition de T et de L , 2 que Tt s (T X,c) > (TX,b) est un homomorphisme de D'-algèbres jj comme il s'agit de sait que (€™«u)«k 3 D'-algèbres totales, on est défini, de sorte que s = t.(Tt.((€TX.u).k)) | 2 mais t.Tt = t,|jL. , où p. ? T >T tion du triple s là aussi, p^ % (T X,c) homomorphisme de 3 est la multiplica> (TX,b) est un D'-algèbres totales, de sorte ques = t.(|Jx0((ÇTX,u).k)) = = t.(u.k) = a . Ainsi, (X,a ) est bien une t.^i^.e^.u^k) D'-algèbre. Montrons que F et G sont inverses l'un de l'autre. Tout d'abord s at (x,k) = ta.((€x.x),k) a = (t .eY.x).k , car a A. t s (TX,b) a > (X,a) C 19 est un homomorphisme de D°-algèbres, = donc, a = a t x.k et = a(x,k) G0F = Id. , car t . ^ = 1, D'un autre côté, t a est l'unit que morphisme (TX,b) > (X,a ) tel que suffit donc de prouver que un morphisme de t s (Tx,b) t > 0^7at) est bien D'-algèbres , pour être assuré que Soit à cet effet y % Y avec (y,k) Ç C x D i on a ; (t.y).k a t > TX 1 l il .^. = et k sZ = t.((£,.t.y) . k) ^ b = t.((Tt.€rx,y) . k) = t.(Tt.((€rx.y) . k)) = t . ^ . ( ( ^ . y ) . k) t = t . a t > Y , = = t.Upjj.Ç^.y) . k) t.(y . k) , b ce qui achève la preuve. Bien sûr, il convient de définir G comme foncteur, mais ceci est tout à fait analogue à la preuve précédente ? si f s (X,t) > (Y,f) f : (x>at) T-algèbres, il suffit de voir que est un homomorphisme de est un morphisme de > ^ Y,a t»^ D'-algèbres, ce qui utilise une troi- sième fois le même argument. Toujours dans la situation de la proposition, il convient de remarquer que l'adjoint à gauche se prolonge en un foncteur nière suivante s soit définit L(k) i LX TX > TY L s D' k sX > LY satisfaisant C > Y Y • une flèche de D' $ on comme étant l'unique flèche L(k).€Y qui fait de libre engendrée par > Alg(D*,C*) > Alg(D',C*) de la ma- = A l'action sur L s C° LY Çv . k , où b est Y k = (TY,b) la D'-algèbre C 20 Exemple. Considérons la catégorie des topos, soit Top , au des- sus de la catégorie des catégories, soit Cat , elle-même au dessus de la catégorie des graphes orientés, soit Gra , pour les foncteurs d'oubli usuels. Il est connu que Top > Cat Cat > Gra et ont des adjoints à gauche, donc que Top > Gra a un adjoint à gauche. Burroni a montré que les topos sont des "algèbres graphiques", c'est-à-dire qu'ils sont descriptibles en termes de D'-algèbres, où D' est un surgraphe multiplicatif de Gra . La proposition précédente prouve aussitôt que Top > Gra est triplable. Chaque fois qu'on peut établir qu'un foncteur d'oubli vers Gra est celui d'une espèce d'algèbres graphiques au sens de Burroni, et que ce foncteur a un adjoint à gauche (existence des structures libres engendrées par les graphes, pour l'espèce considérée) , alors on peut conclure que ce foncteur est triplable, S u r c e sujet, on pourra consulter {l} et les références de {12}. XII) ESQUISSES PROJECTIVES ET Soit /S°/ D'-ALGEBRES. une esquisse projective et soit catégorie des réalisations ( dans Ens ) de D' un surgraphe multiplicatif de C' $ chaque objet C* la /S*/ . Soit enfin F de D* qui est source ou but d'une loi formelle est limite inductive (canonique) dans C d'un foncteur à valeurs dans S , en dési- gnant ainsi l'image par le foncteur de Yoneda de constitue alors une esquisse tif sous-jacent plein de (S') .On /S'/ . dont le graphe multiplica- S' . est le dual du sous-graphe multiplicatif D* qui a pour objets A (i) ceux de S , (ii) les sources et les buts des lois formelles, et dont les cônes projectifs distingués sont s (i) ceux de /S*/ , (ii) les duaux des cônes inductifs précisant les sources ou buts de lois formelles comme limites (canoniques) dans C'. On voit aussitôt que tégorie des réalisations de Alg(D',C') est isomorphe à la ca- /S*/ . dans Ens. C 21 Le morphisme /S'/ > /S*/ . fait apparaître 0 /S / . comme une esquisse ayant , par rapport à /S*/, un "étage de cônes" supplémentaire. Ces cônes sont d'ailleurs d'un genre particulier. Réciproquement, soit /S*/ entre esquisses projectives, tel que ayant , par rapport à > /S'V un morphisme /S**/ apparaisse comme /S'/ , un étage de cônes supplémentaire c'est-à-dire que tout objet de S'* qui n'est pas image par d'un objet de m S' est sommet d'un cône distingué de /S*'/ dont la base est, elle, dans m(S). Faisons encore sur m l'hypo- thèse selon laquelle il n'y a pas d'autres cônes distingués de /S'*/ que ceux dont il vient d'être question d'une part, et ceux qui sont image par m des cônes distingués de /S*/. Posons alors (Stf) ge de C" = Ens 's*' et soit encore par le plongement de Yoneda dans objet de S* - m(S)| soit se dans m(S), distingué pour te !) On retrouve inductive dans B op dans es S' S l'ima- C*. Soit S' un > B un cône projectif à ba- /S*'/ (par hypothèse, il en exis- S , et on peut prendre la limite C* qui fournit un objet F f associé à S' . On détient donc , dans C*, un certain nombre d'objets associés à ceux de /S''/ t ceux de m(S) , par Yoneda, et ceux de S'- m(S) par la construction précédente. On peut alors décrire une syntaxe de D°-algèbre dans C* associée à /S'*/ , sous sa forme (C'*,D'') (cf, § (X)) s les objets de C (ou D') sont ceux dont on vient de parler $ quant aux lois formelles (éléments de D' - C ) ceHsont"toutes les flèches de dans S' qui ne sont pas m(S) , ou qui ne sont pas arêtes des cônes distingués qui interviennent dans la construction des F_f , à la dualité près, et en respectant les sources et buts de la façon décrite ci/S' '/ dessus , On constate que les catégories Alg(D',C") et Ens sont isomorphes. De même que les esquisses peuvent avoir plusieurs étages de cônes, on peut envisager plusieurs étages de D'-algèbress on se donne D* sur C* , puis D" sur Alg(D*,C'), etc.. , D' sur C 22 Alg(D',Alg(D' ,,..)), etc.. (éventuellement transfiniment !) Le problème qui se pose en premier, dans cette direction, est de savoir si l'on peut ou non "réduire" le nombre d'étages proposés pour décrire une catégorie de structures au dessus de C*. Nous proposerons des éléments de réponse à cette question dans un très prochain article. (à suivre,..) Références• {1} A.BURRONI Algèbres graphiques, Cahiers de Topologie et Géométrie différentielle, XXII, 3 , 1981. {2} L.COPPEY Quelques problèmes typiques concernant les Graphes multiplicatifs, Diagrammes, 3, 1980. {3} L.COPPEY Théories algébriques et extension de préfaisceaux, et Compléments à cet article, Cahiers de Topologie et Géométrie différentielle, XIII, 1 et 4 , 1972. {4} L.COPPEY Thèse, Supplément au volume 3 de Diagrammes 1980. {5} Y.DIERS Catégories localisables, Thèse, Paris 1977. {6} F.ULMER Locally présentable and locally generated catégories, Lect. Notes 195, 1971. {7} R.GUITART CLAIR Critères de rigidification des morphismes souples entre structures internes, Diagrammes,5, 1981. {8} R.GUITART CLAIR {9} CLAIR Existence de diagrammes localement libres, Diagrammes, 6 , 1981. {10} R.GUITART CLAIR Calcul syntaxique des modèles et calcul des formules internes, Diagrammes, 4, 1980. {11} CLAIR Etude générale de la catégorie des Esquisses, Esquisses mathématiques, 23, Paris, 1975. {12} E.DUBUC M,KELLY A présentation of topoï as algebraic relative to catégories or graphs, preprint , 1982. Catégories modelables et catégories esqaissables. Diagrammes, 6, 1981. C 23 Table des matières. n° page I, Systèmes multiplicatifs. 01 II, Sous-systèmes multiplicatifs. 02 III, Systèmes multiplicatifs quotients 03 IVo Relations multiplicatives. 03 V. Graphe multiplicatif libre engendré par VI. un système multiplicatif. 06 Problème de la reconnaissance des structures. 07 VII. Systèmes multiplicatifs associatifs. 08 VIII.D'autres genres d'associativité. 11 IX. Actions de systèmes et de graphes multiplicatifsl3 X. Systaxe d'algèbre pour une catégorie. 15 XI. Les D'-algèbres et leurs homomorphismes. 16 XII. Esquisses projectives et D'-algèbres. 20 Commentaire de lecture. Douze références, douzes paragraphes, six thèmes (multiplicatifs),.. On est en droit de penser qu'il s'agit de "Variations dodécaphoniques".Pourtant, si ce texte souffre la comparaison musicale, je lui reconnais plus volontiers la structure d'une sonate (romantique) à quatre mouvements. A un petit détail près s les quatre mouvements doivent être joués ensemble, et non l'un après l'autre. Quant à la qualité de cette musique et de son montage, une "bonne interprétation" me paraît indispensable pour la découvrir. L'interprète est libre, mais je lui rappelle que la fidélité au texte est souvent très utile. Est-il encore permis de s'amuser un peu, tout en exprimant des choses sérieuses, et sans se prendre trop au sérieux ?