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},
     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://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
SP  - A1
EP  - A5
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/
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://www.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://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 | Zbl

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

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

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

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

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

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

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