Monthly Archives: April 2016

Locales, sublocales I

Stone duality leads naturally to the idea of locale theory.  Quickly said, the idea is that, instead of reasoning with topological spaces, we reason with frames.  The two concepts are not completely interchangeable, but the O ⊣ pt adjunction shows … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Locales, sublocales I