Post #1888485
2026-04-27 19:54 UTC
@jonmsterling @MartinEscardo Do you mean the functor of topoi or the "functor" of posets of opens? Or it doesn't matter?
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-04-27 19:56
@jdw @MartinEscardo It doesn’t matter in this case particular case, I think.