Geodesic
Categorical domain theory: Scott topology, powercategories, coherent categories
Theory and applications of categories, CT2000, Tome 9 (2000), pp. 106-120.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

In the present article we continue recent work in the direction of domain theory were certain (accessible) categories are used as generalized domains. We discuss the possibility of using certain presheaf toposes as generalizations of the Scott topology at this level. We show that the toposes associated with Scott complete categories are injective with respect to dense inclusions of toposes. We propose analogues of the upper and lower powerdomain in terms of the Scott topology at the level of categories. We show that the class of finitely accessible categories is closed under this generalized upper powerdomain construction (the respective result about the lower powerdomain construction is essentially known). We also treat the notion of ``coherent domain'' by introducing two possible notions of coherence for a finitely accessible category (qua generalized domain). The one of them imitates the stability of the compact saturated sets under intersection and the other one imitates the so-called ``2/3 SFP'' property. We show that the two notions are equivalent. This amounts to characterizing the small categories whose free cocompletion under finite colimits has finite limits.
Classification : 18C35, 18B25, 03G30, 18A35.
Mots-clés : accessible category, Scott complete category, classifying topos, powerdomain, coherent domain, perfect topos, free cocompletion. 
@article{TAC_2000__9_a5,
     author = {Panagis Karazeris},
     title = {Categorical domain theory: {Scott} topology, powercategories, coherent categories},
     journal = {Theory and applications of categories},
     pages = {106--120},
     publisher = {mathdoc},
     volume = {9},
     year = {2000},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/TAC_2000__9_a5/}
}
TY  - JOUR
AU  - Panagis Karazeris
TI  - Categorical domain theory: Scott topology, powercategories, coherent categories
JO  - Theory and applications of categories
PY  - 2000
SP  - 106
EP  - 120
VL  - 9
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/TAC_2000__9_a5/
LA  - en
ID  - TAC_2000__9_a5
ER  - 
%0 Journal Article
%A Panagis Karazeris
%T Categorical domain theory: Scott topology, powercategories, coherent categories
%J Theory and applications of categories
%D 2000
%P 106-120
%V 9
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/TAC_2000__9_a5/
%G en
%F TAC_2000__9_a5
Panagis Karazeris. Categorical domain theory: Scott topology, powercategories, coherent categories. Theory and applications of categories, CT2000, Tome 9 (2000), pp. 106-120. https://geodesic-test.mathdoc.fr/item/TAC_2000__9_a5/