Two models of synthetic domain theory Original Research Article

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.