2 MODELS OF SYNTHETIC DOMAIN THEORY

Authors
FIORE MP ROSOLINI G
Citation
Mp. Fiore et G. Rosolini, 2 MODELS OF SYNTHETIC DOMAIN THEORY, Journal of pure and applied algebra, 116(1-3), 1997, pp. 151-162
Citations number
18
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Journal of pure and applied algebra → ACNP
ISSN journal
00224049
Volume
116
Issue
1-3
Year of publication
1997
Pages
151 - 162
Database
ISI
SICI code
0022-4049(1997)116:1-3<151:2MOSDT>2.0.ZU;2-7
Abstract
Two models of synthetic domain theory encompassing traditional categor ies of domains are introduced. First, we present a Grothendieck topos embedding the category omega-Cpo of omega-complete posets and omega-co ntinuous functions as a reflective exponential ideal. Second, we obtai n analogous results with respect to a category of domains and stable f unctions. (C) 1997 Elsevier Science B.V.