A Godement theorem for locales

DOI10.1017/S0305004100077835zbMath0687.18003MaRDI QIDQ4205615

Anders Kock

Publication date: 1989

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

zbMATH Keywords

kernelquotient maptoposeslocalic groupoidsclosed \(\alpha\)-open equivalence relationnormal subgroup of a localic group

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topological spaces and generalizations (closure spaces, etc.) (54A05) Topoi (18B25)

Related Items (4)

Unnamed Item ⋮ Presenting quotient locales ⋮ Every étendue comes from a local equivalence relation ⋮ Proper maps of locales

Cites Work

• Unnamed Item

This page was built for publication: A Godement theorem for locales