by Paul Taylor, Scott Continuity
http://www.cs.nott.ac.uk/~gmh/appsem-papers/taylor.pdf
Add To MetaCart
Abstract:
The category of locally compact locales over any elementary topos is characterised by means of the axioms of abstract Stone duality (monadicity of the topology, considered as a selfadjoint exponential #
Citations
|
292
|
A Compendium of Continuous Lattices
– Gierz, Hofmann, et al.
- 1980
|
|
27
|
The fixed point property in synthetic domain theory
– Taylor
- 1991
|
|
11
|
A basic distributive law
– Marmolejo, Rosebrugh, et al.
|
|
8
|
Spaces. Number 3
– Stone
- 1982
|
|
7
|
Topos Theory. Number 10
– Johnstone
- 1977
|
|
7
|
Practical Foundations of Mathematics. Number 59
– Taylor
- 1999
|
|
5
|
Completely distributive lattices I
– Pedicchio, Wood
- 1990
|
|
5
|
Geometric and higher order logic using abstract Stone duality. Theory and Applications of Categories
– Taylor
- 2000
|
|
4
|
Algebraic Set Theory. Number 220
– Joyal, Moerdijk
- 1995
|
|
4
|
Sober spaces and continuations
– Taylor
|
|
3
|
Non-Artin gluing in recursion theory and lifting in abstract Stone duality
– Taylor
- 2000
|
|
3
|
Local compactness and the Baire category theorem in abstract Sone duality, Category Theory and Computer Science
– Taylor
- 2002
|
|
2
|
More on the axiom of extensionality
– Scott
- 1966
|
|
2
|
The double powerlocale and exponentiation. Submitted to Theory and Applications of Categories, 2002. The papers on abstract Stone duality may be obtained from http://www.di.unito.it/#pt/ASD
– Vickers
|
|
2
|
Subspaces in abstract Stone duality
– Taylor
- 2002
|
|
1
|
Elements de Mathematique XXII: Theories des Ensembles, Livre I, Structures. Number 1258 in Actualites scientifiques et industrielles
– Bourbaki
- 1957
|
|
1
|
Lattice-theoretic and Logical Aspects of Elementary Topoi
– Mikkelsen
- 1976
|
|
1
|
Continuity and E#ectiveness
– Rosolini
- 1986
|
|
1
|
domains in abstract Stone duality
– Scott
- 2002
|
