Les catégories localement (multi)présentables comme domaines de Scott
Diagrammes, Volume 21 (1989), Talk 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},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {21},
     year = {1989},
     note = {talk:2},
     zbl = {0687.18008},
     mrnumber = {1021087},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1989__21__A2_0}
}
Ageron, Pierre. Les catégories localement (multi)présentables comme domaines de Scott. Diagrammes, Volume 21 (1989) Talk 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. | 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. | Numdam | MR 918001 | Zbl 0624.18003