Abstract It is often useful to be able deal with locales in terms of presentations their underlying frames, or equivalently, the geometric theories which they classify. Given a presentation for locale, its sublocales can obtained by simply appending additional relations, but case quotient more subtle. We provide simple procedures obtaining open quotients, proper quotients general triquotients f...
