@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/
Lokal präsentierbare Kategorien, Lect. Notes in Math, 221, Springer, 1971. | MR 327863 | Zbl 0225.18004
et :Catégories localement multiprésentables, Archiv der Mathematik 34-4, 1980. | MR 593951 | Zbl 0432.18006
:Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, 1980. | EuDML 192976 | Numdam | MR 684746 | Zbl 0508.03030
et :Normal functors, power series and lambda calculus, Annals of pure and applied logic 37-2, 1988. | MR 926748 | Zbl 0646.03056
:Categories of embeddings, in Logic in computer science (Edinburgh, 1988), Computer Science Press, ( 1988). | MR 1031958 | Zbl 0688.18004
:Modelling polymorphism with categories, Thesis, McGill Univ., Montréal, ( 1988). | MR 2637300
:Accessible categories: the foundations of categorical model theory, Contemporary Mathematics, AMS, Providence RI, ( 1988). | MR 1031717 | Zbl 0703.03042
et :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
: