Toute théorie est algébrique et topologique

René Guitart

Cahiers de Topologie et Géométrie Différentielle Catégoriques (2008)

  • Volume: 49, Issue: 2, page 83-128
  • ISSN: 1245-530X

How to cite

top

Guitart, René. "Toute théorie est algébrique et topologique." Cahiers de Topologie et Géométrie Différentielle Catégoriques 49.2 (2008): 83-128. <http://eudml.org/doc/91733>.

@article{Guitart2008,
author = {Guitart, René},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
language = {fre},
number = {2},
pages = {83-128},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Toute théorie est algébrique et topologique},
url = {http://eudml.org/doc/91733},
volume = {49},
year = {2008},
}

TY - JOUR
AU - Guitart, René
TI - Toute théorie est algébrique et topologique
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 2008
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 49
IS - 2
SP - 83
EP - 128
LA - fre
UR - http://eudml.org/doc/91733
ER -

References

top
  1. [1] J. Adamek & J. Rosický, Locally Presentable and Accessible Categories, London Math. Soc. Lecture Note Séries 189, Cambridge University Press (1994). Zbl0795.18007MR1294136
  2. [2] ADJ, Abstract Data Types as Initial Algebras and the Correctness of Data Representations, Proc. Conf. on Computer graphies, Pattern Récognition, and Data Structure, Beverley Hills, 1975, p. 89-93. 
  3. [3] P. Ageron, Quelques aspects de la dualité entre logique et topologie, Cahiers Top. Géo. Diff. Cat. tome 33, 3 (1992), p. 195-198. Zbl0774.03035MR1186942
  4. [4] P. Ageron, Esquisses inductives et presque inductives, Cahiers Top. Géo. Diff. Cat. tome 42, 3 (2001), p. 229-240. Zbl0997.18003
  5. [5] H. Andreka and I. Nemeti, Injectivity in categories to represent all first order formulas., I, Dem. math. XII, 3, 1979. Zbl0517.03029
  6. [6] M. Barr, Relational algebras, Springer Lecture Notes in Mathematics 137 (1970), p. 39-55. Zbl0204.33202
  7. [7] M. Barr, M.C. Pedicchio, Topop is a quasi-variety, Cahiers Top. Géo. Diff. Cat. tome 36, 1 (1995), p. 3-10. Zbl0819.18002
  8. [8] J. Bénabou, Structures algébriques dans les catégories, Cahiers Top. Géo. Diff., tome 10, 1 (1968), p. 1-126. Zbl0162.32602
  9. [9] C. Butz and P.T. Johnstone, Classifying Toposes for First Order Theories, BRICS Report Series, RS 97-20, Aarhus, 1997, 34 p. Zbl0893.03027MR1601618
  10. [10] A. Burroni, Esquisses des catégories à limites et des quasi-topologies, Esq. Math. 5 (1970). Zbl0395.18005MR419555
  11. [11] A. Burroni, T-catégories (catégories dans un triple), Cahiers Top. Géo. Diff., tome 12, 3 (1971), p. 215-321. Zbl0246.18007MR308236
  12. [12] A. Burroni, Algèbres graphiques (sur un concept de dimension dans les langages formels), Cahiers Top. Géo. Diff. Cat. tome 22, 3 (1981), p. 249-265. Zbl0497.18004MR649074
  13. [13] E. Burroni et A. Burroni, Structures Algébriques : Thème et Variations, Cahiers Top. Géo. Diff. Cat. tome 33, 3 (1992), p. 207-216. Zbl0777.18004MR1186944
  14. [14] P.M. Cohn, Universal Algebra, Harper & Row, and John Weatherhill, 1965. Zbl0141.01002MR175948
  15. [15] L. Coppey, Théories algébriques et extension de préfaisceaux, Cahiers Top. Géo. Diff., tome 13, 1 (1972), p. 3-40, Compléments à l'article "Théories algébriques et extension de préfaisceaux", Cahiers Top. Géo. Diff., tome 13, 3 (1972), p. 265-273. Zbl0326.18006MR316530
  16. [16] M. Demazure et P. Gabriel, Groupes Algébriques tome I Géométrie algébrique - Généralités. Groupes comrnutatifs, Masson & Cie, Paris, North-Holland, Amsterdam, 1970. Zbl0203.23401MR302656
  17. [17] Y. Diers, Catégories localisables, Thèse d'Etat, Paris, 1977. 
  18. [18] G.A. Edgar, The class of topological spaces is equationally definable, Algebra Universalisa (1973), 139-146. Zbl0273.08005MR366780
  19. [19] A. Ehresmann et C. Ehresmann, Categories of sketched structures, Cahiers Top. Géo. Diff. tome 13, 2 (1972), p. 407-517. Zbl0263.18009MR323856
  20. [20] C. Ehresmann, Structures locales et revêtements, mutigraphié à Rio de Janeiro en 1952, in Charles Ehresmann œuvres complètes et commentées, vol. II-1, Amiens 1981, p. 3-24. 
  21. [21] C. Ehresmann, Introduction to the theory of structured categories, Technical Report 10, University of Kansas, Lawrence, 1966. Reprint in Charles Ehresmann œuvres complètes et commentées, vol. III-2, Amiens 1980, p. 591-676. Zbl0192.10001MR606380
  22. [22] C. Ehresmann, Sur l'existence de structures libres et de foncteurs adjoints, Cahiers Top. Géo. Diff., tome 9, 1 (1967), p.33-126, et tome 9, 2 (1967), p.127-180. Zbl0201.02201MR237592
  23. [23] C. Ehresmann, Esquisses et types de structures algébriques, Bull. Inst., Pol. Iasi 14 (1968), 1-14. Zbl0196.03102MR238918
  24. [24] S. Eilenberg and J.C. Moore, Adjoint functors and triples, Illinois J. Math. 9 (1965), 381-398. Zbl0135.02103MR184984
  25. [25] P. Gabriel and F. Ulmer, Lokal Präsentierbare Kategorien, Springer Lecture Notes in Mathematics 221 (1971). Zbl0225.18004MR327863
  26. [26] A. Grothendieck et J. A. Dieudonné, Eléments de Géométrie Algébrique I, Springer (1971). Zbl0203.23301
  27. [27] R. Guitart, ' Sur l'ébauche des structures', 3d Congress of Bulgarian math. (1972), p. 71 in Logique, relations et structures dans les catégories, Thèse de doctorat d'État, Université de Picardie, Amiens, 1979, 660 p 
  28. [28] R. Guitart, Remarques sur les machines et les structures, Cahiers Top. Géo. Diff., tome 14, 2, (1974), p. 113-144. Zbl0319.18003MR384891
  29. [29] R. Guitart, ' Equational translation of set theoritical notions', Oberwolfach, august 1974 (3 p.), 
  30. R. Guitart et ' Traduction équationnelle de notions ensemblistes', CR.Acad.Sc, Paris, t. 279, 30 sept. 1974, p. 541-543. Zbl0392.18008MR354810
  31. [30] R. Guitart, ' Structures dans les univers algébriques' (1977), p. 325-370 in Logique, relations et structures dans les catégories, Thèse de doctorat d'État, Université de Picardie, Amiens, 1979, 660 p. 
  32. [31] R. Guitart, Qu'est-ce que la logique dans une catégorie?, Cahiers Top. Géo. Diff., tome 23, 2 (1982), p.115-148. Zbl0496.18002MR667394
  33. [32] R. Guitart, From where do figurative algebras corne?, Diagrammes 7, 1982. Zbl0515.18004
  34. [33] R. Guitart, Introduction à l'Analyse Algébrique, I et II, Mathématiques et sciences humaines, tome 96 (1986), p. 49-63, et tome 97 ( 1987), p. 19-45 (Conférence aux Journées ATALA AFCET "Arbres en linguistique : un modèle informatique", 26-27 novembre 1981, Paris). Zbl0649.18005
  35. [34] R. Guitart, On the geometry of computations I et II, Cahiers Top. Géo. Diff. Cat, tome 27, 4, (1986), p. 107-137, et Cahiers Top. Géo. Diff Cat, tome 29, 4, ( 1988), p. 297-326. Zbl0668.18009MR885373
  36. [35] R. Guitart, Toute théorie est algébrique, Journée mathématique en l'honneur d'Albert Burroni : Catégories, théories algébriques et informatique, le Vendredi 20 septembre 2002, à l'Université Paris 7. 
  37. R. GuitartInstitut de mathématique de Jussieu, Prépublication 368, Avril 2004, p. 79-102. Voir aussi une conférence du même titre du 9 déc. 2006, sur le site http//www.diffusion.ens.fr/index.php?idconf=1588&res=conf 
  38. [36] R. Guitart, ' Charles Ehresmann, au carrefour des structures locales et algébriques' in ''Charles Ehresmann : 100 ans", Cahiers Top. Géo. Diff., tome 46, 3 (2005), p. 172-175. Zbl1074.18501
  39. [37] R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), p. 1-106. Zbl0508.03030MR684746
  40. [38] R. Guitart et C. Lair, Limites et colimites pour représenter les formules, Diagrammes 7 (1982), p. 1-24. Zbl0535.03013
  41. [39] Hupbach-Kaphengst-Reichel, Initiale algebraische Spezifikation von Datatypen, parameterisierten datatypen und Algorithmen, VEB Robotron, Centrum fur Forschung und Technik, Dresden, 1980. 
  42. [40] C. Lair, Catégories modelables et catégories esquissables, Diagramme 6, (1981) p. 1-20. Zbl0522.18008MR684535
  43. [41] C. Lair, Catégories qualifiables et catégories esquissables, Diagrammes 17 (1987), p. 1-153. Zbl0624.18003MR918001
  44. [42] W.F. Lawvere, Functorial semantics of algebraic theories, Dissertation, Columbia University, 1963. 
  45. [43] F.E.J. Linton, Some aspects of equational categories, in Proc. Confi Cat. Algebra La Jolla 1965, Springer, 1966, p. 84-94. Zbl0201.35003MR209335
  46. [44] F.E.J. Linton, An outline of functorial semantics, Springer Lecture Notes in Mathematics 80 (1969), p. 7-52. Zbl0181.02802MR244340
  47. [45] S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic, Springer, 1992. Zbl0822.18001MR1300636
  48. [46] M. Makkai and G. Reyes, First Order Categorical Logic, Springer Lecture Notes in Mathematics 611, 1977. Zbl0357.18002MR505486
  49. [47] E.G. Manes, A triple theoretic construction of compact algebras, Springer Lecture Notes in Mathematics 80 (1969), p. 91-118. Zbl0186.02901MR244342
  50. [48] G. Peacock, A treatise on algebra (1830). Zbl0025.00503JFM66.0034.04
  51. [49] A.A.L. Sangalli, On the structure and representation of clones, Algebra Universalis 25, 1 (1988), 101-106. Zbl0636.08003MR935004
  52. [50] A.N. Whitehead, A treatise on Universal Algebra, with Applications I, Cambridge University Press (1898). Zbl1205.15005JFM29.0066.03

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.