Leçons commentées sur les monades

L. Coppey

Diagrammes (1995)

  • Volume: 34, page 11-89
  • ISSN: 0224-3911

How to cite

top

Coppey, L.. "Leçons commentées sur les monades." Diagrammes 34 (1995): 11-89. <http://eudml.org/doc/193051>.

@article{Coppey1995,
author = {Coppey, L.},
journal = {Diagrammes},
keywords = {algebras for monad; Kleisli categories; -syntax; -algebras; monads},
language = {fre},
pages = {11-89},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Leçons commentées sur les monades},
url = {http://eudml.org/doc/193051},
volume = {34},
year = {1995},
}

TY - JOUR
AU - Coppey, L.
TI - Leçons commentées sur les monades
JO - Diagrammes
PY - 1995
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 34
SP - 11
EP - 89
LA - fre
KW - algebras for monad; Kleisli categories; -syntax; -algebras; monads
UR - http://eudml.org/doc/193051
ER -

References

top
  1. L. Coppey - Notes aux Comptes Rendus de l'Académie des Sciences de Paris - Factorisations d'un cotriple. juillet 1970 
  2. L. Coppey - Notes aux Comptes Rendus de l'Académie des Sciences de Paris - Morphismes et co-morphismes de cotriples, juillet 1970. 
  3. L. Coppey - Notes aux Comptes Rendus de l'Académie des Sciences de Paris - Algèbres de décompositions dans les catégories , septembre 1971 Zbl0249.18014
  4. L. Coppey - Morphismes entre catégories avec modèles, Série des Esquisses Mathématiques, N° 8, Paris, 1970. [Développement des deux premières notes ci-dessus On y trouve, avec une terminologie et des notations différentes de celles employées ici, les descriptions et propriétés des catégories Fact (T) et K1(T). Deux idées, nouvelles à l'époque Tr morphismes, et non seulement objets, peuvent servir de modèles dans la théorie de Tierney-Applegate, Q considération d'atlas maximaux ] Zbl0356.18008MR347928
  5. L. Coppey - Observations sur les triples et les actions de monoïdes, Travaux du Séminaire de Catégories, Amiens, 1970-1971 [Les monades d'opérations à droite de catégories sur les multi-ensembles jouent un rôle de premier plan dans la théorie des triples Introduction aux théories de Linton et au travail de Mânes - sur la structure du monoïde de T ( l )] 
  6. L. Coppey - Théories algébriques et extensions de préfaisceaux, Cahiers de Topologie et Géométrie Différentielle, Vol XIII, 1, Paris, 1972 [Contient en substance les paragraphes 2 et 4 du présent texte II s'agit encore d'opérations de catégories Quelques maladresses insignifiantes, facilement repérables et réparables, y figurent et justifient en partie le texte suivant] Zbl0326.18005MR316530
  7. L. Coppey - Compléments à l'article précédent, Cahiers de Topologie et Géométrie Différentielle, Vol.XIII, 4, Paris, 1972 [Une syntaxe d'algèbres sur une catégorie C est fournie, cette fois, par un graphe à composition (partielle) (ou graphe multiplicatif au sens d'Ehresmann) et non forcément par une sur-catégorie de C: c'est l'un des intérêts spécifiques des syntaxes d'algèbres ] Zbl0326.18006
  8. L. Coppey - Décompositions algébriques de structures en produits, Collection « Esquisses Mathématiques », N° 14, Paris, 1971. [Développement très détaillé de la 3e Note aux C.R.A.S. ci-dessus Calculs des monades «puissances», figurant ici au paragraphe 3 On y trouve en particulier les lois de « monoides-bandes » ∀ x,y,z xyz = xz] Zbl0371.18001
  9. L. Coppey - Algèbres de décompositions et précatégories, Thèse d'Etat (Amiens, 1978) Diagrammes, Sup Vol N° 3, Paris, 1980. [Au chapitre 1, caractérisation des catégories dites algébriques, i.e. dans lesquelles les algèbres des monades « puissances » s'interprètent comme les décompositions en produits de facteurs. On n'y fait que reprendre en l'améliorant sur quelques points le texte précédent de 1971. Le cas de l'ensemble 0 y est « écarté » bien inutilement - cf la bonne définition des classes d'équivalence de prédécompositions, au paragraphe 3, ici La thèse comporte 5 chapitres, dont un d'arithmétique, assez long, qui nécessiterait à lui seul encore bien des développements ] Zbl0497.18015MR684912
  10. L. Coppey - Problèmes typiques concernant les graphes multiplicatifs, Diagrammes, Vol. N° 3, Paris, 1980 [Etude de diverses questions techniques soulevées par le passage « obligé » des catégories aux graphes multiplicatifs foncteurs d'hypermorphismes, « plongement » de Yoneda, classification des produits tensoriels de graphes multiplicatifs; catégories de parenthésages, etc .] MR684910
  11. L. Coppey - Structures de base pour définir les structures, Diagrammes, Vol N° 7, Paris, 1982 [Ou les D-algèbres « revisitées » par l'auteur. L'accent est mis sur les structures non associatives. On y trouve la mise en cause de la structure de catégorie de base C qu'on suggère de remplacer éventuellement par des graphes multiplicatifs particuliers. La notion d'étages d'algébricité « empilés les uns sur les autres » y figure explicitement en finale Le texte proprement dit est divisé en 12 parties inégales dont l'ordre n'est pas évident ] MR685053
  12. L. Coppey - Catégories de Peano, catégories algorithmiques, récursivité, Diagrammes, Vol. N° 12, Paris, 1984[Comporte 4 parties relativement indépendantes une sur les catégories à extensions de Kan le long de (» - &gt; 0) dites catégories de Peano, une autre sur la triplabilité des catégories à limites (et plus généralement à extensions de Kan) choisies sur les catégories, à la manière des D-algèbres - exemples naturels et inévitables qui bien malheureusement ne figuraient pas dans les textes de 1971 et 1972, une encore sur catégories et récursivité primitive, une enfin sur les algèbres partielles et la non-monadicité des catégories de Peano sur les graphes.] Zbl0565.18004MR800498
  13. L. Coppey - Graphes structuraux, Diagrammes, Vol. N° 24, Paris, 1990 [Ce texte reprend un par un tous les points techniques soulevés par l'étude des D-algèbres, de leurs syntaxes et co-syntaxes On y met en lumière d'une part la symétrie entre syntaxe et sémantique (y compris dans l'écriture des éléments - ou éléments généralisés), d'autre part l'unification possible des définitions et démonstrations de base sous forme de déplacements de parenthèses, un peu comme suggéré ici, au paragraphe 4, dans la démonstration du critère de Coppey. On propose une interprétation du sens des déplacements de parenthèses, liée à l'échange entre syntaxe et sémantique] MR1142422
  14. L. Coppey et C. Lair - Algébricité, Monadicité, Esquissabilité, Non Algébricité, Diagrammes, Vol. N° 13, Paris, 1985. [Ce texte est de loin le plus développé et le plus élaboré au sujet des D- algèbres On y trouve toutes les précisions techniques voulues sur des questions variées comparaison systématique des 3 points de vue possibles, monades / D-algèbres / esquisses, syntaxes complètes, foncteurs fondamentaux, construction des algèbres libres dans les catégories ayant suffisamment de colimites, rang d'algébricité (aux trois points de vue cités), algèbres partielles (divers types de partialités sont analysés) dont la considération est fortement motivée par les constructions d'algèbres libres -voir aussi la partie 4 de « Catégories de Peano, catégories algorithmiques, récursivité». Le degré d'algébricité est introduit Exemples où 2 étages d'algébricité correspondent quand-même au degré 1 (catégories à limites choisies au dessus des graphes) Un autre exemple (justement celui des catégories de Peano au dessus des graphes) où ce degré est 1/2] Zbl0594.18006MR817075
  15. R. Guitart et C. Lair - Limites et co-limites pour représenter les formules, Diagrammes, Vol N° 7, Paris, 1982 Zbl0535.03013MR685055
  16. C. Lair, - Trames et sémantiques catégoriques des systèmes de trames, Diagrammes, Vol. N° 18, Paris 1987. Zbl0672.18001MR944790
  17. C. Lair, - Eléments de théorie des patchworks, Diagrammes, Vol. N° 29, Paris 1993. Zbl0806.18001MR1283881

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.