Presenting quotient locales
Abstract
It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories which they classify. Given a presentation for a locale, presentations for its sublocales can be obtained by simply appending additional relations, but the case of quotient locales is more subtle. We provide simple procedures for obtaining presentations of open quotients, proper quotients or general triquotients from presentations of the parent locale. The results are proved with the help of the suplattice, preframe and dcpo coverage theorems and applied to obtain presentations of the circle from ones for the reals and the closed unit interval.
Cite
@article{arxiv.2207.05116,
title = {Presenting quotient locales},
author = {Graham Manuell},
journal= {arXiv preprint arXiv:2207.05116},
year = {2023}
}
Comments
14 pages, minor edits for final version. The moderators think this is algebraic geometry, but it is not