Interior spaces and frames
Today I attended a great talk by Ivan Di Liberti at YaMCATS and I relearned a nice little fact about interior spaces that Ivan showed me already some time ago. Let me write it down here before I forget again.
Ever since the beginning of topology, it was known that topological spaces can be equivalently represented as interior spaces, which are sets equipped with an interior operator . The set is the powerset of and the interior operator needs to satisfy the following axioms:
These look almost like the axioms of nuclei, except that the order in the first item is reversed and we have the extra assumption that .
I am sure many people are familiar with with the adjunction between topological spaces and frames. However, what I haven’t seen before is the explicit construction of the adjunction between interior spaces and frames, and it’s rather nice!
Let us first show the mapping from frames to interior spaces. Recall that points of a frame can be represented as frame homomorphisms , where is the two element frame. Take the evaluation function: By currying, we have a function It is a standard fact that this function is a frame homomorphism and it thus has a right adjoint . Then, since preserves finite meets, the composition is an interior operator and so is an interior space. So neat!
Conversely, given an interior space , we simply take the frame of fixpoints of . The fact that this is well defined is precisely the same proof as when showing that is a topological space, in the correspondence between interior spaces and topological spaces.
In fact, Ivan showed something much more sophisticated. Instead of frames he worked with Grothendieck toposes and instead of interior spaces he worked with certain (large) ionads, which are pairs where is a suitable locally small category and is a comonad on the full subcategory of , consisting of small copresheaves. The construction from Grothendieck toposes is basically as I described above (just replace with the category ) and to go from Ionads to toposes just take the category of coalgebras for the comonad .
In fact, when specialised to interior spaces and frames, we obtain precisely the same construction as described above. For details, see Ivan’s older slides here or his Ph.D. thesis.