Categorical domain theory: Scott topology, powercategories, coherent categories (Q2762220)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Categorical domain theory: Scott topology, powercategories, coherent categories |
scientific article; zbMATH DE number 1687310
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical domain theory: Scott topology, powercategories, coherent categories |
scientific article; zbMATH DE number 1687310 |
Statements
8 January 2002
0 references
domain theory
0 references
Scott topology
0 references
accessible categories
0 references
exponentiable toposes
0 references
Categorical domain theory: Scott topology, powercategories, coherent categories (English)
0 references
The subject matter of this paper is domain theory, centered around accessible categories to be sought of as generalized domains following the work of \textit{J. Adámek} [Math. Struct. Comput. Sci. 7, No. 5, 419-443 (1997; Zbl 0884.18006)]. NEWLINENEWLINENEWLINEThe general idea is to concentrate on a suitable generalization of the Scott topology in the case of certain presheaf toposes and to examine injectivity, power domains and a new notion of ``coherent domain''. The author is inspired by the work of \textit{P. T. Johnstone} and \textit{A. Joyal} on exponentiability in toposes [J. Pure Appl. Algebra 25, 255-296 (1982; Zbl 0487.18003)].
0 references
