@article{CTGDC_2008__49_2_83_0, author = {Guitart, Ren\'e}, title = {Toute th\'eorie est alg\'ebrique et topologique}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {83--128}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {49}, number = {2}, year = {2008}, mrnumber = {2426398}, language = {fr}, url = {http://archive.numdam.org/item/CTGDC_2008__49_2_83_0/} }
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 SP - 83 EP - 128 VL - 49 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_2008__49_2_83_0/ LA - fr ID - CTGDC_2008__49_2_83_0 ER -
%0 Journal Article %A Guitart, René %T Toute théorie est algébrique et topologique %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 2008 %P 83-128 %V 49 %N 2 %I Dunod éditeur, publié avec le concours du CNRS %U http://archive.numdam.org/item/CTGDC_2008__49_2_83_0/ %G fr %F CTGDC_2008__49_2_83_0
Guitart, René. Toute théorie est algébrique et topologique. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 49 (2008) no. 2, pp. 83-128. http://archive.numdam.org/item/CTGDC_2008__49_2_83_0/
[1] Locally Presentable and Accessible Categories, London Math. Soc. Lecture Note Séries 189, Cambridge University Press (1994). | MR | Zbl
& ,[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] Quelques aspects de la dualité entre logique et topologie, Cahiers Top. Géo. Diff. Cat. tome 33, 3 (1992), p. 195-198. | Numdam | MR | Zbl
,[4] Esquisses inductives et presque inductives, Cahiers Top. Géo. Diff. Cat. tome 42, 3 (2001), p. 229-240. | Numdam | Zbl
,[5] Injectivity in categories to represent all first order formulas., I, Dem. math. XII, 3, 1979. | Zbl
and ,[6] Relational algebras, Springer Lecture Notes in Mathematics 137 (1970), p. 39-55. | Zbl
,[7] Topop is a quasi-variety, Cahiers Top. Géo. Diff. Cat. tome 36, 1 (1995), p. 3-10. | Numdam | Zbl
, ,[8] Structures algébriques dans les catégories, Cahiers Top. Géo. Diff., tome 10, 1 (1968), p. 1-126. | Numdam | Zbl
,[9] Classifying Toposes for First Order Theories, BRICS Report Series, RS 97-20, Aarhus, 1997, 34 p. | MR
and ,[10] Esquisses des catégories à limites et des quasi-topologies, Esq. Math. 5 (1970). | MR | Zbl
,[11] T-catégories (catégories dans un triple), Cahiers Top. Géo. Diff., tome 12, 3 (1971), p. 215-321. | Numdam | MR | Zbl
,[12] 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. | Numdam | MR | Zbl
,[13] Structures Algébriques : Thème et Variations, Cahiers Top. Géo. Diff. Cat. tome 33, 3 (1992), p. 207-216. | Numdam | MR | Zbl
et ,[14] Universal Algebra, Harper & Row, and John Weatherhill, 1965. | MR | Zbl
,[15] 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. | Numdam | MR | Zbl
,[16] Groupes Algébriques tome I Géométrie algébrique - Généralités. Groupes comrnutatifs, Masson & Cie, Paris, North-Holland, Amsterdam, 1970. | MR | Zbl
et ,[17] Catégories localisables, Thèse d'Etat, Paris, 1977.
,[18] The class of topological spaces is equationally definable, Algebra Universalisa (1973), 139-146. | MR | Zbl
,[19] Categories of sketched structures, Cahiers Top. Géo. Diff. tome 13, 2 (1972), p. 407-517. | Numdam | MR | Zbl
et ,[20] 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] 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. | Zbl
,[22] 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. | Numdam | MR | Zbl
,[23] Esquisses et types de structures algébriques, Bull. Inst., Pol. Iasi 14 (1968), 1-14. | MR | Zbl
,[24] Adjoint functors and triples, Illinois J. Math. 9 (1965), 381-398. | MR | Zbl
and ,[25] Lokal Präsentierbare Kategorien, Springer Lecture Notes in Mathematics 221 (1971). | MR | Zbl
and ,[26] Eléments de Géométrie Algébrique I, Springer (1971). | Zbl
et ,[27] 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] Remarques sur les machines et les structures, Cahiers Top. Géo. Diff., tome 14, 2, (1974), p. 113-144. | Numdam | MR | Zbl
,[29] Equational translation of set theoritical notions', Oberwolfach, august 1974 (3 p.),
, 'Traduction équationnelle de notions ensemblistes', CR.Acad.Sc, Paris, t. 279, 30 sept. 1974, p. 541-543. | MR | Zbl
et '[30] 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.
, '[31] Qu'est-ce que la logique dans une catégorie?, Cahiers Top. Géo. Diff., tome 23, 2 (1982), p.115-148. | Numdam | MR | Zbl
,[32] From where do figurative algebras corne?, Diagrammes 7, 1982. | Numdam | Zbl
,[33] 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). | Numdam | Zbl
,[34] 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. | Numdam | MR | Zbl
,[35] 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.
, Toute théorie est algébrique,Institut 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
[36] 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. | Zbl
, '[37] Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), p. 1-106. | Numdam | MR | Zbl
et ,[38] Limites et colimites pour représenter les formules, Diagrammes 7 (1982), p. 1-24. | Numdam | Zbl
et ,[39] Initiale algebraische Spezifikation von Datatypen, parameterisierten datatypen und Algorithmen, VEB Robotron, Centrum fur Forschung und Technik, Dresden, 1980.
,[40] Catégories modelables et catégories esquissables, Diagramme 6, (1981) p. 1-20. | Numdam | MR | Zbl
,[41] Catégories qualifiables et catégories esquissables, Diagrammes 17 (1987), p. 1-153. | Numdam | MR | Zbl
,[42] Functorial semantics of algebraic theories, Dissertation, Columbia University, 1963.
,[43] Some aspects of equational categories, in Proc. Confi Cat. Algebra La Jolla 1965, Springer, 1966, p. 84-94. | MR | Zbl
,[44] An outline of functorial semantics, Springer Lecture Notes in Mathematics 80 (1969), p. 7-52. | MR | Zbl
,[45] Sheaves in Geometry and Logic, Springer, 1992. | MR | Zbl
and ,[46] First Order Categorical Logic, Springer Lecture Notes in Mathematics 611, 1977. | MR | Zbl
and ,[47] A triple theoretic construction of compact algebras, Springer Lecture Notes in Mathematics 80 (1969), p. 91-118. | MR | Zbl
,[48] A treatise on algebra (1830). | JFM | Zbl
,[49] On the structure and representation of clones, Algebra Universalis 25, 1 (1988), 101-106. | MR | Zbl
,[50] A treatise on Universal Algebra, with Applications I, Cambridge University Press (1898). | JFM | Zbl
,