@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}, pages = {A1--A5}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {21}, year = {1989}, mrnumber = {1021087}, zbl = {0687.18008}, language = {fr}, url = {http://archive.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 SP - A1 EP - A5 VL - 21 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1989__21__A2_0/ LA - fr ID - DIA_1989__21__A2_0 ER -
%0 Journal Article %A Ageron, Pierre %T Les catégories localement (multi)présentables comme domaines de Scott %J Diagrammes %Z talk:2 %D 1989 %P A1-A5 %V 21 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_1989__21__A2_0/ %G fr %F DIA_1989__21__A2_0
Ageron, Pierre. Les catégories localement (multi)présentables comme domaines de Scott. Diagrammes, Tome 21 (1989), Exposé no. 2, 5 p. http://archive.numdam.org/item/DIA_1989__21__A2_0/
Lokal präsentierbare Kategorien, Lect. Notes in Math, 221, Springer, 1971. | MR | Zbl
et :Catégories localement multiprésentables, Archiv der Mathematik 34-4, 1980. | MR | Zbl
:Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, 1980. | EuDML | Numdam | MR | Zbl
et :Normal functors, power series and lambda calculus, Annals of pure and applied logic 37-2, 1988. | MR | Zbl
:Categories of embeddings, in Logic in computer science (Edinburgh, 1988), Computer Science Press, ( 1988). | MR | Zbl
:Modelling polymorphism with categories, Thesis, McGill Univ., Montréal, ( 1988). | MR
:Accessible categories: the foundations of categorical model theory, Contemporary Mathematics, AMS, Providence RI, ( 1988). | MR | Zbl
et :Lax-colimites structurées, Diagrammes 20, 1988, Catégories qualifiables et catégories esquissables, Diagrammes 17, 1987. | EuDML | Numdam | MR | Zbl
: