The Spectral Theory of Distributive Continuous Lattices

hull kernel topology distributive continuous lattice continuous Heyting algebra locally quasicompact sober space spectrum of complete distributive lattice

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05) Topological lattices, etc. (topological aspects) (54H12) Ordered topological structures (06F30)

Related Items

Some open problems on well-filtered spaces and sober spaces ⋮ The point of pointless topology ⋮ Fundamental duality of abstract categories and its applications ⋮ Coreflectively modified duality ⋮ Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality ⋮ The spectrum of a localic semiring ⋮ Domain-complete and LCS-complete spaces ⋮ Core-compactness, consonance and the Smyth powerspaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ T1-locales ⋮ Unnamed Item ⋮ The tensor product of continuous lattices ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ General function spaces, products and continuous lattices ⋮ $L$-fuzzy version of Stone's representation theorem for distributive lattices ⋮ Which distributive lattices are lattices of open sets of $P$-spaces? ⋮ When the finest splitting topology is a group topology or Fréchet ⋮ Essentially complete $T_0$-spaces ⋮ Jimmie D. Lawson on the occasion of his 75th birthday ⋮ First countability, $ \omega $-well-filtered spaces and reflections ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ The Gleason cover of a topos. II ⋮ Scott topology on Smyth power posets ⋮ The stone representations for generalized continuous posets ⋮ Some further results on pointfree convex geometry ⋮ Generalized spectra and applications to finite distributive lattices ⋮ The bounded-open topology on function spaces ⋮ Unnamed Item ⋮ Dualities of Noetherian posets ⋮ Cartesianness: topological spaces, uniform spaces, and affine schemes ⋮ Right adjoint for the smash product functor ⋮ A couple of triples ⋮ Exponentiability for maps means fibrewise core-compactness. ⋮ Continuous categories and exponentiable toposes ⋮ On $T_0$ spaces determined by well-filtered spaces ⋮ General Stone duality. ⋮ Coincidence of the upper Vietoris topology and the Scott topology ⋮ On H-sober spaces and H-sobrifications of $T_0$ spaces ⋮ \textbf{K}-reflections of product spaces ⋮ Eine Kennzeichnung topologischer Räume durch Vervollstaendigungen ⋮ Essentially complete $T_ 0-$spaces. II. A lattice-theoretic approach ⋮ Another approach to extensions of continuous mappings ⋮ First-countability, sequentiality and tightness of the upper Kuratowski convergence ⋮ Fell topology on the hyperspace of a non-Hausdorff space ⋮ Web spaces and worldwide web spaces: topological aspects of domain theory ⋮ Countable products of absolute $C_ \delta$ spaces ⋮ Choiceless, pointless, but not useless: dualities for preframes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The regular-locally compact coreflection of a stably locally compact locale ⋮ Notes on exact meets and joins. ⋮ When is the Isbell topology a group topology? ⋮ A note on Baire spaces and continuous lattices ⋮ Locally compact path spaces ⋮ Sublattices of Euclidean spaces ⋮ When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide? ⋮ On equalizers in the category of locales ⋮ A direct approach to $K$-reflections of $T_0$ spaces ⋮ Computable analysis with applications to dynamic systems ⋮ The frame of the $p$-adic numbers ⋮ Two topologies on the lattice of Scott closed subsets ⋮ On the compact-open and admissible topologies ⋮ Sobrification and bicompletion of totally bounded quasi-uniform spaces ⋮ Topological representations of distributive hypercontinuous lattices ⋮ Coincidence of function space topologies ⋮ On the Scott topology on the set $C(Y,Z)$ of continuous maps ⋮ The way-below relation of function spaces over semantic domains ⋮ Fibrewise smash product and fibrewise mapping spaces ⋮ Computation on metric spaces via domain theory ⋮ Alexandrov compactification of relational algebras ⋮ The category of Z-continuous posets ⋮ Topological continuous convergence ⋮ Notes on Point-Free Topology ⋮ Extension of valuations on locally compact sober spaces ⋮ Modal operators on compact regular frames and de Vries algebras. ⋮ On Krull's separation lemma ⋮ Cartesian closed topological and monotopological hulls: A comparison ⋮ Exponential objects and Cartesian closedness in the construct \textit{Prtop} ⋮ Function-space compactifications of function spaces

Cites Work