The patch construction is dual to algebraic DCPO representation

DOI10.1007/s10485-008-9177-9zbMath1234.06009OpenAlexW1966177179MaRDI QIDQ633791

Christopher F. Townsend

Publication date: 30 March 2011

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-008-9177-9

zbMATH Keywords

localepatchalgebraic dcpopreframestably locally compact

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Categorical methods in general topology (54B30) Frames, locales (06D22) Continuous lattices and posets, applications (06B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Properly injective spaces and function spaces
• Information systems for continuous posets
• On the parallel between the suplattice and preframe approaches to locale theory
• An extension of the Galois theory of Grothendieck
• A categorical account of the Hofmann–Mislove theorem
• Stably continuous frames
• Stable Compactification I
• Constructive points of powerlocales
• Sobrification and bicompletion of totally bounded quasi-uniform spaces
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Topological representations of distributive lattices and Brouwerian logics
• Representations of Lattices by Sets
• The regular-locally compact coreflection of a stably locally compact locale

This page was built for publication: The patch construction is dual to algebraic DCPO representation