Monthly Archives: April 2016

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 →