A Convenient Category of Domains

Ingo Battenfeld; Matthias Schröder; Alexander Simpson

doi:10.1016/j.entcs.2007.02.004

A Convenient Category of Domains

Ingo Battenfeld, Matthias Schröder, Alexander Simpson

Research output: Contribution to journal › Article › peer-review

Abstract

We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, can be used as the basis for a theory of computability, and provides a model of parametric polymorphism.

Original language	English
Pages (from-to)	69-99
Number of pages	31
Journal	Electronic Notes in Theoretical Computer Science
Volume	172
DOIs	https://doi.org/10.1016/j.entcs.2007.02.004
Publication status	Published - 2007

Access to Document

10.1016/j.entcs.2007.02.004

plotfestAccepted author manuscript, 305 KB

Topological Models for Computational Metalanguages
Simpson, A. (Principal Investigator)
EPSRC
1/10/03 → 30/09/06
Project: Research
Models and Axioms for the Semantics of Computation
Simpson, A. (Principal Investigator)
EPSRC
1/10/01 → 30/09/06
Project: Research

Cite this

@article{28545ae8237a4e7e88e3a076299e4af1,

title = "A Convenient Category of Domains",

abstract = "We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, can be used as the basis for a theory of computability, and provides a model of parametric polymorphism.",

author = "Ingo Battenfeld and Matthias Schr{\"o}der and Alexander Simpson",

year = "2007",

doi = "10.1016/j.entcs.2007.02.004",

language = "English",

volume = "172",

pages = "69--99",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - A Convenient Category of Domains

AU - Battenfeld, Ingo

AU - Schröder, Matthias

AU - Simpson, Alexander

PY - 2007

Y1 - 2007

N2 - We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, can be used as the basis for a theory of computability, and provides a model of parametric polymorphism.

AB - We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, can be used as the basis for a theory of computability, and provides a model of parametric polymorphism.

U2 - 10.1016/j.entcs.2007.02.004

DO - 10.1016/j.entcs.2007.02.004

M3 - Article

SN - 1571-0661

VL - 172

SP - 69

EP - 99

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

A Convenient Category of Domains

Abstract

Access to Document

Fingerprint

Projects

Topological Models for Computational Metalanguages

Models and Axioms for the Semantics of Computation

Cite this