@jonmsterling @MartinEscardo Do you mean the functor of topoi or the "functor" of posets of opens? Or it doesn't matter?