Joins in the frame of nuclei

DOI10.1023/A:1023555514029zbMath1022.06003OpenAlexW20831642MaRDI QIDQ1395748

Martín Hötzel Escardó

Publication date: 1 July 2003

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

Full work available at URL: https://doi.org/10.1023/a:1023555514029

zbMATH Keywords

compactnesslocaleclosure operatorcommon fixed pointframenucleiHofmann-Mislove Theorem

Mathematics Subject Classification ID

Compactness (54D30) Categorical logic, topoi (03G30) Frames, locales (06D22) Intuitionistic mathematics (03F55)

Related Items (10)

Sublocales in formal topology ⋮ The sandwich theorem via Pataraia's fixed point theorem ⋮ Radical theory of Scott-open filters ⋮ On Small Types in Univalent Foundations ⋮ Nothing Can Be Fixed ⋮ Spatiality of countably presentable locales (proved with the Baire category theorem) ⋮ Meet-semilattice congruences on a frame ⋮ Canonical extensions of locally compact frames ⋮ A short note on nearly perfect maps of locales ⋮ Compactly generated Hausdorff locales

This page was built for publication: Joins in the frame of nuclei