Battenfeld, Ingo

Schröder, Matthias

Simpson, Alexander

English

We propose compactly generated monotone convergence spaces as a well-behaved topological generalisation of directed-complete partial orders (dcpos). The category of such spaces enjoys the usual properties of categories of 'predomains' in denotational semantics. Moreover, such properties are retained if one restricts to spaces with a countable pseudobase in the sense of E. Michael, a fact that permits connections to be made with computability theory, realizability semantics and recent work on the closure properties of topological quotients of countably based spaces (qcb spaces). We compare the standard domain-theoretic constructions of products and function spaces on dcpos with their compactly generated counterparts, showing that these agree in important cases, though not in general

Edinburgh Research Explorer

A Category of Topological Predomains, Diploma Thesis,

A convenient category of topological spaces.

A distinguishing example in k-spaces. P r o c .A m e r .M a t h .S o c

A reﬂection theorem for closed categories.

A uniform account of domain theory in realizability models.

Algebras for Generalized Power Constructions,

Cartesian closed categories of domains.

Comparing cartesian closed categories of core compactly generated spaces. Topology and its

Computable Analysis,

Continuous Lattices and Domains.

Data types as lattices.

Dedekind complete posets and scott topologies. In: Continuous Lattices,

Domain theory. In:

Eﬀective domains and intrinsic structure. In:

Equilogical spaces.

Filter space monads, regularity, completions. In:

Filter spaces and continuous functionals.

Foundations of topology: an approach to convenient topology,

Function spaces and product topologies.

General synthetic domain theory – a logical approach.

Ten topologies for

The (strong) Isbell topology and (weakly) continuous lattices. In: Continuous lattices and their applications

The classiﬁcation of continuous domains. In:

Topological and limit space subcategories of countably-based equilogical spaces.

Towards a convenient category of topological domains. In:

Compactly Generated Domain Theory

Compactly Generated Domain Theory

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer