Les catégories localement (multi)présentables comme domaines de Scott
Diagrammes, Tome 21 (1989), Exposé no. 2, 5 p.
@article{DIA_1989__21__A2_0,
     author = {Ageron, Pierre},
     title = {Les cat\'egories localement (multi)pr\'esentables comme domaines de {Scott}},
     journal = {Diagrammes},
     note = {talk:2},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {21},
     year = {1989},
     zbl = {0687.18008},
     mrnumber = {1021087},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1989__21__A2_0/}
}
TY  - JOUR
AU  - Ageron, Pierre
TI  - Les catégories localement (multi)présentables comme domaines de Scott
JO  - Diagrammes
N1  - talk:2
PY  - 1989
DA  - 1989///
VL  - 21
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1989__21__A2_0/
UR  - https://zbmath.org/?q=an%3A0687.18008
UR  - https://www.ams.org/mathscinet-getitem?mr=1021087
LA  - fr
ID  - DIA_1989__21__A2_0
ER  - 
Ageron, Pierre. Les catégories localement (multi)présentables comme domaines de Scott. Diagrammes, Tome 21 (1989), Exposé no. 2, 5 p. http://www.numdam.org/item/DIA_1989__21__A2_0/

P. Gabriel et F. Ulmer: Lokal präsentierbare Kategorien, Lect. Notes in Math, 221, Springer, 1971. | MR 327863 | Zbl 0225.18004

Y. Diers: Catégories localement multiprésentables, Archiv der Mathematik 34-4, 1980. | MR 593951 | Zbl 0432.18006

R. Guitart et C. Lair: Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, 1980. | EuDML 192976 | Numdam | MR 684746 | Zbl 0508.03030

J.-Y. Girard: Normal functors, power series and lambda calculus, Annals of pure and applied logic 37-2, 1988. | MR 926748 | Zbl 0646.03056

T. Coquand: Categories of embeddings, in Logic in computer science (Edinburgh, 1988), Computer Science Press, ( 1988). | MR 1031958 | Zbl 0688.18004

F. Lamarche: Modelling polymorphism with categories, Thesis, McGill Univ., Montréal, ( 1988). | MR 2637300

M. Makkai et R. Paré: Accessible categories: the foundations of categorical model theory, Contemporary Mathematics, AMS, Providence RI, ( 1988). | MR 1031717 | Zbl 0703.03042

C. Lair: Lax-colimites structurées, Diagrammes 20, 1988, Catégories qualifiables et catégories esquissables, Diagrammes 17, 1987. | EuDML 193020 | Numdam | MR 918001 | Zbl 0624.18003