scientific article; zbMATH DE number 1330441

zbMath0921.54010MaRDI QIDQ4261084

Martín Hötzel Escardó

Publication date: 20 September 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

patch frameclosure operatorcategory of compact regular locales and continuous mapscategory of Stone locales and continuous mapsnucleus on a frameScott continuous nuclei

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Heyting algebras (lattice-theoretic aspects) (06D20) Categorical methods in general topology (54B30) Stone spaces (Boolean spaces) and related structures (06E15) Continuous lattices and posets, applications (06B35) Local compactness, (sigma)-compactness (54D45) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (6)

Quantitative logics for equivalence of effectful programs ⋮ Yet another patch construction for continuous frames and connections to the Fell compactification ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ On the computational content of the Lawson topology ⋮ Canonical extensions of locally compact frames ⋮ Separated and prime compactifications

This page was built for publication: