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 mathbb {R} and [0, 1].
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
