Two models of synthetic domain theory

Two models of synthetic domain theory encompassing traditional categories of domains are introduced. First, we present a Grothendieck topos embedding the category ω- Cpo of ω-complete posets and ω-continuous functions as a reflective exponential ideal. Second, we obtain analogous results with respec...

Full description

Saved in:
Bibliographic Details
Published inJournal of pure and applied algebra Vol. 116; no. 1; pp. 151 - 162
Main Authors Fiore, Marcelo P., Rosolini, Giuseppe
Format Journal Article
LanguageEnglish
Published Elsevier B.V 28.03.1997
Subjects
03G30
18B25
68Q55
68Q55
03G30
18B25
Online AccessGet full text

Cover

More Information
Summary:Two models of synthetic domain theory encompassing traditional categories of domains are introduced. First, we present a Grothendieck topos embedding the category ω- Cpo of ω-complete posets and ω-continuous functions as a reflective exponential ideal. Second, we obtain analogous results with respect to a category of domains and stable functions.
ISSN:0022-4049
1873-1376
DOI:10.1016/S0022-4049(96)00164-8