@article{DIA_1981__6__A4_0, author = {Guitart, R. and Lair, C.}, title = {Existence de diagrammes localement libres}, journal = {Diagrammes}, note = {talk:4}, pages = {GL1--GL13}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {6}, year = {1981}, mrnumber = {684534}, zbl = {0496.18005}, language = {fr}, url = {http://archive.numdam.org/item/DIA_1981__6__A4_0/} }
TY - JOUR AU - Guitart, R. AU - Lair, C. TI - Existence de diagrammes localement libres JO - Diagrammes N1 - talk:4 PY - 1981 SP - GL1 EP - GL13 VL - 6 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1981__6__A4_0/ LA - fr ID - DIA_1981__6__A4_0 ER -
Guitart, R.; Lair, C. Existence de diagrammes localement libres. Diagrammes, Tome 6 (1981), Exposé no. 4, 13 p. http://archive.numdam.org/item/DIA_1981__6__A4_0/
1. Formulas and ultraproducts in categories, Beit. zur Alg. und Geom. 8 ( 1979), 133-151. | MR | Zbl
et ,2. Catégories localisables, Thèse (Paris 1977).
,3. Esquisses et types de structures algébriques, Bull. Instit. Polit. Iasi, XIV ( 1968), 1-14. | MR | Zbl
,4. The theory of sketches (revisited), Journées Faisceaux et Logique (23-24 mai 1981), prépub. Univ, Paris-Nord 23 (juin 1981), 21-28.
,5. Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (Paris 1980), 1-106. | Numdam | MR | Zbl
et ,6. Critères de rigidification des morphismes souples entre structures internes, Diagrammes 5 (Paris 1981), GL 1-GL 17. | Numdam | MR | Zbl
et ,7. La continuité pour représenter les formules du 1er ordre, à paraître dans Diagrammes.
et ,8. Locally presentable and locally generated categories, Lecture Notes in Math. 195 ( 1971), 230-247. | MR | Zbl
,