Presenting quotient locales

DOI10.1007/S10485-023-09736-XarXiv2207.05116OpenAlexW4385043367MaRDI QIDQ6115833

Graham R. Manuell

Publication date: 10 August 2023

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

Full work available at URL: https://arxiv.org/abs/2207.05116

zbMATH Keywords

perfect mapsubframesemi-open maplax proper mapclassifying locale

Mathematics Subject Classification ID

Frames, locales (06D22) Quotient spaces, decompositions in general topology (54B15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lax proper maps of locales
• Presenting the frame of the unit circle.
• Proper maps of locales
• A universal characterization of the double powerlocale
• Quasi-Polish spaces
• A categorical account of the Hofmann–Mislove theorem
• A Godement theorem for locales
• Quantales, observational logic and process semantics
• Localic triquotient maps are effective descent maps
• Constructive points of powerlocales
• Spatiality of countably presentable locales (proved with the Baire category theorem)

This page was built for publication: Presenting quotient locales