D IAGRAMMES I RÈNE T URGAT D’où viennent les esquives ? Diagrammes, tome 7 (1982), exp. no 7, p. T1-T7 © 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 , 1982» Df0U VIENNENT LES ESQUIVES ? Irène Turgat 1. Jfai introduit la notion d'Esguive avec le papier: (+) Introduction à la Synthèse Analytique. CXXVII. Esquives de taille. (à paraître dans les Procédés Flous des Journées S.G.D#G., Francbourg-Strasfort, 29-31 Février 82). Jfai aussi utilisé ce papier dans différents Séminaires durant la même période à Pékyo, Tokin, Mostock, Vladivoscou, Newgo, Chicayork, Coperlin, Benhague, Padrid, Maris, Alnis, Tuger, Bruslo, Oxelles, Rio lfAumone et Saint-Ouen de Janeiro. Après plusieurs intéressantes discussions avec espécialement G. Niai, A. Dulé, V. Néré, E. Mérite, E. Minent, G. Néral, A. Kadémie, K. Poral, C. Extra et Q. Béni, Jfai compris comment on pouvait progressivement utiliser ces Procédés. Aussi, pour prendre la pose avant de nouveaux développements, Je voudrais expliquer le sujet du point de Mon moins de vue. 2. De (+) Je rappelle qu'une esquive consiste ens (1) Une catégorie H (des héritages et donations) (2) Une catégorie 0 (des origines et descendances) (3) Un graphe multiplicatif (4) Un foncteur L: £ jP (des positions et pas) > ]? (dit de louvoiement) injectif et bijectif sur les objets (les éléments de JP^.L(£) T 2 sont appelés pas de lois) (5) Un foncteur Si (H £ I? , L A) » E née (H,T) où H A: 0 H > Ens— (dit d'apparence). est une esquive, un est objet de E-cart H , Ts P est une don- > Ens évaluation en Ainsi, les E-carts tout pas de loi (H,T) et H sont caractérisés par la donnée pour p: L(0) = P > L(O') = P' sur les étapes i. e. les éléments de d f une action A(0)(H) = T L (0). Dans le travail autour de Ma conception, Mon saut décisif fut de penser que les pas de lois, via le louvoiement, permettaient un passage d'une étape à une autre, pourvu qu'on ait initialement doté les origines d'une apparence. Une ambiguïté dans une esquive E est une origine dont l'apparence n'est pas représentable i. e. n'est pas un héritage. S'il n*y a pas d'ambiguïté, nous sommes exactement dans le cas des structures algébriques sur presque-monade sur R (i. e. des algèbres d'une H , concept essentiel dont Je causerai au §4). Mais si nous admettons l'existence d'ambiguïtés dans l'esquive, nous avons la possibilité d'esquiver pas à pas toutes les théories du premier ordre sur quives sur H , et plus s en fait les es- H^ décrivent les mêmes choses que les H-esquisses possiblement (voir A. Joyal, Une Théorie Combinatoire des Séries Formelles, Adv. In Math., Vol, 42-1, 1981) grosses Grosso modo dans l'esquisse //H' // H associée à l'esquive > //H' //< E T 3 les cônes projectifs décrivent des conditions et les cônes inductifs aussi. Ainsi ESQUIVES et esquisses sont resp. l'appa- rence linguistique et l'approche géométrique précise de la même "théorie des modeles"• D'un plus philosophique point de vue une esquive est une réalisation (par étapes) du dialogue entre les origines espérées et les héritages réels (cf. lfénigme du Sphynx chez Lacan). Et à cause de ça Je sens qu'un lot de phénomènes dans la nature consistant en antagonismes peuvent être directement esquivés (ceci sera détaillé dans "Introduction à la Synthèse Analytique, I, II, ... , CXXVII, ... , CCLIII " avec l'aide d'une généra- lisation du calcul des sommes à la place du calcul des produits). D'un coté, par la théorie des esquisses nous avons un outil précis et de l'autre coté il est difficile de trouver une situation qu'on ne peut esquiver par un procédé très générais au lecteur le soin est donné pour dresser des exemples une liste. Partant avec une esquive E jp > II , nous tombons sur une nouvelle es- > p^ # H quive (H 0 P , L A) = E et des foncteurs 0 dite raffinement de > 0 E (où L , et A sont calculables algorithmiquement par un processus effectif). De cette manière nous avons comme exemples des algèbres variées. D'autres exemples sont nombreux. En fait les monade sur Ens— E-carts sont les pico-algèbres d'une presqueet l'étude des esquives peut se couper en deux s (1) La théorie des presque-monade (2) La théorie des esquives de taille. 3. Peut-être les choses nouvelles dans Ma Théorie des Esquives sont leur coloration linguistique (origines, héritages, positions, étapes, pas, apparencei,louvoiement) et l'insistance sur la dualité origines espérées/héritages réels et ainsi une "nonméthodologique approche" des théories comme dialectes. Mais en fait ceci est la somme de plusieurs influences que Je veux ex- T 4 primer maintenant. 3.1. Tout d'abord les maintenant classiques travaux de Euclide, Pythagore, Descartes, Newton, Leibnitz, Riemann, Lebesgue, Cauchy, Hilbert, Fermât, Peano, Lagrange et Dirichlet. La qualité de leurs papiers m'a été extrêmement utile. Je Me dois aussi de citer Mon professeur P. Durand qui m'a révélé le calcul des sommes et produits dans la catégorie des entiers. 3.2. Une deuxième vague d'influences, essentielles pour Moi, démarre en lisant les "Comments on Part IV-1 , pp. 329-340 " de A. Ehresmann (in "Charles Ehresmann, Oeuvres Complètes et Commentées, Suppl. 1 au Vol. XXII (1981) des Cah. de Top. et Géom. Diff., Partie IV-1). La description des structures par esquisses apparaît dans ces commentaires comme une technique très analytique, parmi beaucoup d'autres plus synthético-analytiquess théories de Lawvere, de Linton* types de Bénabou, "esquisses avec cylindres" de Freyd et Kelly, pré-théories de Isbell, théories relatives à un corpus de Bénabou, ébauches et machines de Guitart, 2-théories de Gray et Kelly ... Les constructions d'esquisses, l'étude systématique des propriétés des catégories de structures apparaissent bien dans ces commentaires comme étant aléatoires et seulement analytiques (au contraire d'ici avec la dualité que J'explicite au §2 héritages réels/origines espérées qui donne tout l'intérêt à l'apparence linguistique, i. e. à la méthode synthético-analytique, dans l'étude des structures). A la lecture de ces "Comments ..." M'est donc révélé l'intéreêt fondamental des esquives pour causer des structures. Je suis confirmé autour de Ma conception dans le travail par l'étude détaillée des papiers de R. Guitart ( Introduction à l'Analyse Algébriques II. Algèbres Figuratives et esquisses, à paraître dans les Proceedings des Journées ATALA AFCET - Arbres en Linguistiques un modèle informatique - 26-27 Novembre 1981, Paris) A. Burroni ( "Algèbres Graphiques, sur un Concept de Di- T 5 mension dans les Langages Formels" in Cah. de Top. et Géom. Diff. XXII-3, Amiens 1981) G. M. Kelly et E. Dubuc (A présentation of Topoï as algebraic relative to catégories or graphs - preprint) et G. M. Kelly (A Note on the Generalized Reflexion of Guitart and Lair - preprint). Effectivement, en lieu et place d'un travail par trop analytique (i. e. systématique) formulé en termes d'esquisses, on peut bien mieux aborder les problèmes en termes d'Esquives. 4. Ici J'ai expliqué Mon expérience des esquives pour confirmer par un exemple l'opinion qu'elles sont le fruit de beaucoup d'influences. Mais c'est aussi un fait qu'il est facile de retourner l'Histoire par une transformation de Mon formalisme. 4.1. Ainsi, reprenant Mon point de vue conceptuel, L. Coppey utilise (in Théories Algébriques et Extension de Préfaisceaux, Cah. de Top. et Géom. Diff. XIII-1, Paris 1972) des sur-graphes multiplicatifs K de H algèbres sur un objet Hom(-,H)s H p ÏÏS^(-,H) ; K ° pour tenter de décrire les structures de H de H § c'est quand le foncteur > Ens P K- admet un prolongement de la forme > Ens. Donc il utilise bien une de Mes esquives, décrite par la machinerie ci-après s - H = H , - 0 = H et A - 1? = K et Ls H est Yoneda, > K est l'injection canonique, mais dans ce cas extrêmement particulier, que J*ai dit au §2, quand il n'y a pas d'ambiguïté. Dans ce cas, il vérifie hélas, et de plus ana-ytiquement, que si l'oubli K-Alg = E-cart >U a un adjoint à gauche il est monadique (et K , qui est un graphe multiplicatif, engendre la catégorie de Kleisli de la monade, par un argument à la Linton). Il omet la remarque essentielle que Je fais ici quand Je caractérise ce cas quand il n'y a pas d'adjoint T 6 à gauche en disant qu'on a un contexte presque-monadique • 4.2, Dans l'optique de Ma conception, C. Lair (in Foncteurs d'Omission de Structures Algébriques, Cah. de Top. et Géom. Diff. XII-2, Paris 1971) reprend, mais hélas analytiquement, Mon affirmations si on a la donnée d'une esquisse - on a un foncteur d'évaluation //£// evs S_ — on a ques > Ens , mais les ev(S) ne sont représentables, en général, que si l'esquisse est purement projective (malgré qu'ils soient toujours limites inductives de représentables). Ensuite, si par exemple on a la donnée dotée de la machinerie ci-après s //£' // - tous les cônes distingués de sont à bases dans - tous les objets de S^ //S_' // d'une sur-esquisse S^ , sont sommets de cônes distingués, alors s - si les esquisses //S^// et //S_' // sont purement projectives, le foncteur d'oubli entre les catégories de réalisations //S ' // IIS II Ens — > Ens — , qui admet un adjoint à gauche (par le théorème du faisceau associé), est monadique (pour la rédaction hélas seulement analytique de ceci voir "Condition Syntaxique de Triplabilité d'un Foncteur Algébrique Esquissé" dans Diagrammes 1, Paris, 1979, rédigé par C. L a i r ) , - si non, la remarque synthético-analytique essentielle que Je fais (omise par C. Lair) est qu'on est dans Mon contexte presquemonadique. J'esquive donc bien mieux la situation par la machinerie sui~ vantes - H -Ens"*" ' 0- , S , ev - As 0 = S //S // > Ens " - " , T 7 - L i S > S' . 4,3 Les problèmes de taille que J'ai posés en (2) du §2 sont repris dans les papiers? "Locally présentable and locally generated catégories, Springer Lect, Notes in Math, 195 (1971)" de Ulmer (et Gabriel), "Foncteurs d'Omission de Structures Algébriques" de Lair, cité avant, "Catégories Modelables et Catégories Esquissables, Diagrammes 6, Paris 1981" du même rédacteur, mais ils ne sont rédigés que sous une forme purement analytique. Dans ÎSa conception synthético-analytique, J'avais déjà solutionné tout ceci en termes d'esquives sous la meilleure forme des picoalgèbres décrites précisément au §2, Ainsi, par delà les possibilités de retournement de la genèse des choses, est bien prouvée vraie a conception qu'il y a équivalence entre la construction d'esquives et l'utilisation des apparences (au sens du (5) du §2). pour copie conformes C. Lair . Postfaceo Ce texte a une apparence évidemment surprenante. Nous pensons, cependant, qu'il serait dommage que le lecteur s'en tienne là et n'analyse pas sérieusement les raisons de sa surprise. L. Coppey C. Lair