Let $\mathcal{C}$ be a site and $f:\mathcal{F}\to \mathcal{G}$ a morphism of $2$-sheaves. According to https://mathoverflow.net/q/307366, this is an epimorphism if and only if it is \emph{almost surjective}, that is to say if for all $U$, and any $g\in G(U)$, there exists an open cover $\{U_i\to U\}$ such that there exists $x_i\in F(U_i)$ such that $f(x_i)\cong g\vert_{U_i}$. If we assume that our $2$-topos has enough points, can we check this on stalks, that is to say on the pullback of $f$ to all points of our $2$-topos?
Do stalks see epimorphism of stacks?
curious math guy
- 4.4k
- 9
- 29