Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Towards a convenient category of topological domains
Authors: Alexander Simpson
Date: 2003
Publication Title:Proceedings of thirteenth ALGI Workshop
Publication Type:Conference Paper Publication Status:Published
We propose a category of topological spaces that promises to be convenient for the purposes of domain theory as a mathematical theory for modelling computation. Our notion of convenience presupposes the usual properties of domain theory, e.g. modelling the basic type constructors, fixed points, recursive types, etc. In addition, we seek to model {parametric polymorphism}, and also to provide a flexible toolkit for modelling computational effects as free algebras for algebraic theories. Our convenient category is obtained as an application of recent work on the remarkable closure conditions of the category of quotients of countably-based topological spaces. Its convenience is a consequence of a connection with realizability models.
Links To Paper
No links available
Bibtex format
author = { Alexander Simpson },
title = {Towards a convenient category of topological domains},
book title = {Proceedings of thirteenth ALGI Workshop},
publisher = {RIMS},
year = 2003,

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh