Existence de diagrammes localement libres
Diagrammes, Tome 6 (1981), Exposé no. 4, 13 p.
partie suivante Existence de diagrammes localement libres II 
@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},
     year = {1981},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {6},
     mrnumber = {684534},
     zbl = {0496.18005},
     language = {fr},
     url = {https://www.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  - https://www.numdam.org/item/DIA_1981__6__A4_0/
LA  - fr
ID  - DIA_1981__6__A4_0
ER  - 
%0 Journal Article
%A Guitart, R.
%A Lair, C.
%T Existence de diagrammes localement libres
%J Diagrammes
%Z talk:4
%D 1981
%P GL1-GL13
%V 6
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U https://www.numdam.org/item/DIA_1981__6__A4_0/
%G fr
%F DIA_1981__6__A4_0
Guitart, R.; Lair, C. Existence de diagrammes localement libres. Diagrammes, Tome 6 (1981), Exposé no. 4, 13 p.. https://www.numdam.org/item/DIA_1981__6__A4_0/

1. H. Andréka et I. Németi, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom. 8 ( 1979), 133-151. | Zbl | MR

2. Y. Diers, Catégories localisables, Thèse (Paris 1977).

3. C. Ehresmann, Esquisses et types de structures algébriques, Bull. Instit. Polit. Iasi, XIV ( 1968), 1-14. | Zbl | MR

4. R. Guitart, 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. R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (Paris 1980), 1-106. | Zbl | MR | Numdam

6. R. Guitart et C. Lair, Critères de rigidification des morphismes souples entre structures internes, Diagrammes 5 (Paris 1981), GL 1-GL 17. | Zbl | MR | Numdam

7. R. Guitart et C. Lair, La continuité pour représenter les formules du 1er ordre, à paraître dans Diagrammes.

8. F. Ulmer, Locally presentable and locally generated categories, Lecture Notes in Math. 195 ( 1971), 230-247. | Zbl | MR