@article{DIA_1986__15__A4_0,
author = {Lair, C.},
title = {\`A propos de {\guillemotleft} {Toposes,} triples and theories {\guillemotright} de messieurs {M.} {Barr} et {C.} {Wells}},
journal = {Diagrammes},
note = {talk:4},
pages = {L1--L20},
year = {1986},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {15},
mrnumber = {866937},
zbl = {0598.18002},
language = {fr},
url = {https://www.numdam.org/item/DIA_1986__15__A4_0/}
}
TY - JOUR AU - Lair, C. TI - À propos de « Toposes, triples and theories » de messieurs M. Barr et C. Wells JO - Diagrammes N1 - talk:4 PY - 1986 SP - L1 EP - L20 VL - 15 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - https://www.numdam.org/item/DIA_1986__15__A4_0/ LA - fr ID - DIA_1986__15__A4_0 ER -
%0 Journal Article %A Lair, C. %T À propos de « Toposes, triples and theories » de messieurs M. Barr et C. Wells %J Diagrammes %Z talk:4 %D 1986 %P L1-L20 %V 15 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U https://www.numdam.org/item/DIA_1986__15__A4_0/ %G fr %F DIA_1986__15__A4_0
Lair, C. À propos de « Toposes, triples and theories » de messieurs M. Barr et C. Wells. Diagrammes, Tome 15 (1986), Exposé no. 4, 20 p.. https://www.numdam.org/item/DIA_1986__15__A4_0/
(A. L. G. R.) : Algèbres graphiques, Cah. de Top et Géom. Diff., XXII, 3 , Amiens, 1981. | Zbl | Numdam
(A. M. E. N.) et : Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. | Zbl | MR | Numdam
(A. O. F. S.) : An outline of functorial semantics, Lect. Notes in Math. 80, Springer, 1969. | Zbl | MR
(A. T. C. F.) : Algebraïc theories, algebraïc categories and algebraïc functors. Proc. of the 1963 Internat. Symp. on Theory of Models, edit. by J. W. Alddison, L. Henkin, A. Tarski, North Holland, Amsterdam, 1965. | Zbl | MR
(C. A. L. O.) : Catégories localisables, Thèse de Doctorat d'Etat en Math., Paris, 1977.
(C. A. S. T.) : Catégories et structures, Dunod, Paris, 1965. | Zbl | MR
(C. D. F. D.) : Sur la catégorie des foncteurs dominés, Cah. de Top. et Géom. Diff., XI,2 , Paris, 1969. | Zbl | Numdam
(C. E. O. C) : Oeuvres complètes et commentées, Partie IV,1, Cah. de Top. et Géom. Diff., suppl. au vol. XXII, Amiens, 1981. | Zbl
(C. E. T. N.) : Constructions d'esquisses et transformations naturelles généralisées, Thèse de 3eme Cycle en Math., Esquisses Math. 2, Paris, 1970.
(C. M. C. E.) : Catégories modelables et catégories esquissables, Diagrammes 6, Paris, 1981. | Zbl | MR | Numdam
(C. M. C. F.) et : Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. | Zbl | MR | Numdam
(C. O. S. S.) et : Categories of sketched structures, Cah. de Top. et Géom. Diff., XIII,2 , Paris, 1984. | Zbl | Numdam
(C. S. C. S.) Caractérisation sémantique des catégories de structures, Thèse de 3eme Cycle en Math. , Diagrammes 11, Paris, 1984. | Zbl | Numdam
(C. S. T. R.) : Condition syntaxique de triplabilité d'un foncteur algébrique esquissé, Diagrammes 1, Paris, 1979. | Zbl | Numdam
(D. R. P. T.) Categorical aspects of parametric data types, version prelim. Seminarberichte 20, FernUniversftat, Hagen, 1984.
(E. C. Q. T.) : Esquisses des catégories à limites et des quasi-topologies, Thèse de 3eme Cycle en Math., Esquisses Math. 5, Paris, 1970. | Zbl
(E. D. L. L.) et : Existence de diagrammes localement libres, Diagrammes 6, Paris, 1981. | Zbl | MR | Numdam
(E. D. S. A.) : Esquisses des structures algébriques, Thèse de Doctorat d'Etat en Math., Amiens, 1977.
(E. G. C. E.) : Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. | Zbl
(E. S. T. R.) : Esquissabilité et triplabilité, Cah. de Top. et Géom. Diff., XVI, 3 , Amiens, 1975. | Zbl
(E. T. S. A.) : Esquisses et types des structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. | Zbl
(F. O. S. A.) : Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2 , Paris, 1971. | Numdam
(I. T. S. C.) : Introduction to the theory of structured categories, Techn. Report 10, Univ. of Kansas, Lawrence, 1966. | Zbl
(L. C. R. F.) et : Limites et colimites pour représenter les formules, Diagrammes 7, Paris, 1982. | Zbl | Numdam
(L. P. L. G.) : Locally ΰ-presentable and locally ΰ-generated categories, Lect. Notes in Math. 195, Springer, 1971. | Zbl | MR
(P. F. F. A.) : Condition syntaxique de plongement II: prolongement de faisceaux et faisceaux associes, Diagrammes 3, Paris, 1980. | Zbl | MR | Numdam
(P. T. A. G.) et : A presentation of topoï as algebraïc relative to the category of graphs, Journ. of Alg. 81, 1983. | Zbl
(P. T. G. M.) : Sur quelques problèmes typiques conernant les graphes multiplicatifs, Diagrammes 3, Paris, 1980. | Zbl | MR | Numdam
(P. U. C. N.) : Problèmes universels relatifs aux catégories n-aires. C. R. A. S., t. 264, pp. 273-276, Paris, 1967. | Zbl | MR
(S. L. S. A.) : Sur les structures algébriques, C. R. A. S., t. 264, pp. 840-843, Paris, 1967. | Zbl | MR
(T. O. G. R.) et : Topoï over graphs, Cah. de Top. et Géom. Diff., XXV,1, Amiens, 1984. | Zbl | Numdam





