Post #1888484
2026-04-27 19:42 UTC
@jdw @MartinEscardo Yes, a surjection is when the inverse image functor is conservative (or, equivalently, faithful).
I don’t know enough, however, to comment on implications for algebraic geometry.
Replies (1)
-
@jdw@mathstodon.xyz 2026-04-27 19:54
@jonmsterling @MartinEscardo Do you mean the functor of topoi or the "functor" of posets of opens? Or it doesn't matter?