À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
Diagrammes (1986)
- Volume: 15, page L1-L20
- ISSN: 0224-3911
Access Full Article
topHow to cite
topLair, C.. "À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells." Diagrammes 15 (1986): L1-L20. <http://eudml.org/doc/193009>.
@article{Lair1986,
author = {Lair, C.},
journal = {Diagrammes},
keywords = {esquisse; structure; semantics; algebraic theories; sketch},
language = {fre},
pages = {L1-L20},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells},
url = {http://eudml.org/doc/193009},
volume = {15},
year = {1986},
}
TY - JOUR
AU - Lair, C.
TI - À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
JO - Diagrammes
PY - 1986
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 15
SP - L1
EP - L20
LA - fre
KW - esquisse; structure; semantics; algebraic theories; sketch
UR - http://eudml.org/doc/193009
ER -
References
top- (A. L. G. R.) A. Burroni: Algèbres graphiques, Cah. de Top et Géom. Diff., XXII, 3 , Amiens, 1981. Zbl0497.18004
- (A. M. E. N.) L. Coppey et C. Lair: Algébricité, monadicité, esquissabilité et non-algébricité, Diagrammes 13, Paris, 1985. Zbl0594.18006MR817075
- (A. O. F. S.) F. E. J. Linton: An outline of functorial semantics, Lect. Notes in Math. 80, Springer, 1969. Zbl0181.02802MR244340
- (A. T. C. F.) F. W. Lawvere: 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. Zbl0158.26401MR201491
- (C. A. L. O.) Y. Diers: Catégories localisables, Thèse de Doctorat d'Etat en Math., Paris, 1977.
- (C. A. S. T.) C. Ehresmann: Catégories et structures, Dunod, Paris, 1965. Zbl0192.09803MR213410
- (C. D. F. D.) F. Foltz: Sur la catégorie des foncteurs dominés, Cah. de Top. et Géom. Diff., XI,2 , Paris, 1969. Zbl0209.04502
- (C. E. O. C) C. Ehresmann: Oeuvres complètes et commentées, Partie IV,1, Cah. de Top. et Géom. Diff., suppl. au vol. XXII, Amiens, 1981. Zbl0508.01026
- (C. E. T. N.) C. Lair: 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.) C. Lair: Catégories modelables et catégories esquissables, Diagrammes 6, Paris, 1981. Zbl0522.18008MR684535
- (C. M. C. F.) R. Guitart et C. Lair: Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. Zbl0508.03030MR684746
- (C. O. S. S.) A. Bastiani et C. Ehresmann: Categories of sketched structures, Cah. de Top. et Géom. Diff., XIII,2 , Paris, 1984. Zbl0263.18009
- (C. S. C. S.) F. MouenCaractérisation sémantique des catégories de structures, Thèse de 3eme Cycle en Math. , Diagrammes 11, Paris, 1984. Zbl0548.18002
- (C. S. T. R.) C. Lair: Condition syntaxique de triplabilité d'un foncteur algébrique esquissé, Diagrammes 1, Paris, 1979. Zbl0511.18009
- (D. R. P. T.) J. W. GrayCategorical aspects of parametric data types, version prelim. Seminarberichte 20, FernUniversftat, Hagen, 1984.
- (E. C. Q. T.) A. Burroni: Esquisses des catégories à limites et des quasi-topologies, Thèse de 3eme Cycle en Math., Esquisses Math. 5, Paris, 1970. Zbl0395.18005
- (E. D. L. L.) R. Guitart et C. Lair: Existence de diagrammes localement libres, Diagrammes 6, Paris, 1981. Zbl0496.18005MR684534
- (E. D. S. A.) C. Lair: Esquisses des structures algébriques, Thèse de Doctorat d'Etat en Math., Amiens, 1977.
- (E. G. C. E.) C. Lair: Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. Zbl0397.18007
- (E. S. T. R.) C. Lair: Esquissabilité et triplabilité, Cah. de Top. et Géom. Diff., XVI, 3 , Amiens, 1975. Zbl0397.18006
- (E. T. S. A.) C. Ehresmann: Esquisses et types des structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. Zbl0196.03102
- (F. O. S. A.) C. Lair: Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2 , Paris, 1971.
- (I. T. S. C.) C. Ehresmann: Introduction to the theory of structured categories, Techn. Report 10, Univ. of Kansas, Lawrence, 1966. Zbl0192.10001
- (L. C. R. F.) R. Guitart et C. Lair: Limites et colimites pour représenter les formules, Diagrammes 7, Paris, 1982. Zbl0535.03013
- (L. P. L. G.) F. Ulmer: Locally ΰ-presentable and locally ΰ-generated categories, Lect. Notes in Math. 195, Springer, 1971. Zbl0225.18005MR292908
- (P. F. F. A.) C. Lair: Condition syntaxique de plongement II: prolongement de faisceaux et faisceaux associes, Diagrammes 3, Paris, 1980. Zbl0511.18006MR684909
- (P. T. A. G.) E. Dubuc et G. M. Kelly: A presentation of topoï as algebraïc relative to the category of graphs, Journ. of Alg. 81, 1983. Zbl0516.18009
- (P. T. G. M.) L. Coppey: Sur quelques problèmes typiques conernant les graphes multiplicatifs, Diagrammes 3, Paris, 1980. Zbl0517.18003MR684910
- (P. U. C. N.) C. Ehresmann: Problèmes universels relatifs aux catégories n-aires. C. R. A. S., t. 264, pp. 273-276, Paris, 1967. Zbl0204.03104MR238922
- (S. L. S. A.) C. Ehresmann: Sur les structures algébriques, C. R. A. S., t. 264, pp. 840-843, Paris, 1967. Zbl0156.25803MR217140
- (T. O. G. R.) J. McDonald et A. Stone: Topoï over graphs, Cah. de Top. et Géom. Diff., XXV,1, Amiens, 1984. Zbl0546.18004
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.