A universal characterization of the double powerlocale

DOI10.1016/j.tcs.2004.01.034zbMath1047.06006OpenAlexW2023370072MaRDI QIDQ1434363

S. J. Vickers, Christopher F. Townsend

Publication date: 4 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/2919635/VicTownUniCharPP.pdf

zbMATH Keywords

ToposScott continuityLocalePowerdomain

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Function spaces in general topology (54C35) Topoi (18B25) Categorical methods in general topology (54B30) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Intuitionistic mathematics (03F55)

Related Items

The spectrum of a localic semiring, Observationally-induced Effects in Cartesian Closed Categories, An axiomatic account of weak triquotient assignments in locale theory, Unnamed Item, Coalgebraic representations of distributive lattices with operators, Unnamed Item, A representation theorem for geometric morphisms, Equilogical spaces and algebras for a double-power monad, Representing geometric morphisms using power locale monads, Weighted limits in the category Dcpo-S, Presenting quotient locales, Unnamed Item, An induction principle for consequence in arithmetic universes, Presenting locale pullback via directed complete posets, Entailment systems for stably locally compact locales, Unnamed Item, De Groot duality and models of choice: angels, demons and nature, Generalised powerlocales via relation lifting, Presenting Dcpos and Dcpo Algebras, On the Logic of Generalised Metric Spaces, Stability of properties of locales under groups, The connected Vietoris powerlocale, On the parallel between the suplattice and preframe approaches to locale theory, Compactness in locales and in formal topology, Free and cofree acts of dcpo-monoids on directed complete posets.

Cites Work

• The Hoare and Symth power domain constructors commute under composition
• Categories of chain-complete posets
• Power domains
• Locally cartesian closed exact completions
• Information systems for continuous posets
• An extension of the Galois theory of Grothendieck
• The Semilattice Tensor Product of Distributive Lattices
• A Powerdomain Construction
• Finiteness and decidability: II
• Quantales, observational logic and process semantics
• Constructive points of powerlocales
• Topical categories of domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item