Les catégories localement (multi)présentables comme domaines de Scott

Pierre Ageron

Diagrammes (1989)

  • Volume: 21, page A1-A5
  • ISSN: 0224-3911

How to cite

top

Ageron, Pierre. "Les catégories localement (multi)présentables comme domaines de Scott." Diagrammes 21 (1989): A1-A5. <http://eudml.org/doc/193022>.

@article{Ageron1989,
author = {Ageron, Pierre},
journal = {Diagrammes},
keywords = {categories of models of sketches; Scott domains; Cartesian closed; categories; locally presentable categories},
language = {fre},
pages = {A1-A5},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Les catégories localement (multi)présentables comme domaines de Scott},
url = {http://eudml.org/doc/193022},
volume = {21},
year = {1989},
}

TY - JOUR
AU - Ageron, Pierre
TI - Les catégories localement (multi)présentables comme domaines de Scott
JO - Diagrammes
PY - 1989
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 21
SP - A1
EP - A5
LA - fre
KW - categories of models of sketches; Scott domains; Cartesian closed; categories; locally presentable categories
UR - http://eudml.org/doc/193022
ER -

References

top
  1. P. Gabriel et F. Ulmer: Lokal präsentierbare Kategorien, Lect. Notes in Math, 221, Springer, 1971. Zbl0225.18004MR327863
  2. Y. Diers: Catégories localement multiprésentables, Archiv der Mathematik 34-4, 1980. Zbl0432.18006MR593951
  3. R. Guitart et C. Lair: Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, 1980. Zbl0508.03030MR684746
  4. J.-Y. Girard: Normal functors, power series and lambda calculus, Annals of pure and applied logic 37-2, 1988. Zbl0646.03056MR926748
  5. T. Coquand: Categories of embeddings, in Logic in computer science (Edinburgh, 1988), Computer Science Press, ( 1988). MR1031958
  6. F. Lamarche: Modelling polymorphism with categories, Thesis, McGill Univ., Montréal, ( 1988). MR2637300
  7. M. Makkai et R. Paré: Accessible categories: the foundations of categorical model theory, Contemporary Mathematics, AMS, Providence RI, ( 1988). Zbl0703.03042MR1031717
  8. C. Lair: Lax-colimites structurées, Diagrammes 20, 1988, Catégories qualifiables et catégories esquissables, Diagrammes 17, 1987. Zbl0624.18003MR918001

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.