Let $\mathcal{C}$ be the 2-category of algebraic stacks (lets say Deligne-Mumford) over $\textbf{Sch}_{etale}$, and let $\mathcal{C}'$ be the corresponding 1-category we obtain by identifying all 2-isomorphic morphisms.
Let $T,S$ be schemes, and $T\rightarrow S$ be an epimorphism of $\mathcal{C}'$, then for any algebraic stack $\mathcal{M}\in\mathcal{C}'$, the natural map $\mathcal{M}(S)\rightarrow\mathcal{M}(T)$ should be an injection, where here $\mathcal{M}(S) = Hom_{\mathcal{C}}(S,\mathcal{M})$ is just the set of 2-isom classes of morphisms $S\rightarrow\mathcal{M}$, or equivalently the set of isom classes of objects of $\mathcal{M}(S)$.
Certainly if $T\rightarrow S$ is an epimorphism in $\mathcal{C}'$, then it's also an epimorphism in $\textbf{Sch}$.
Now, what I find curious, is that thanks to HeinrichD's comments on:
Epimorphisms and 2-isomorphic maps to an algebraic stack
(ie, thanks to the theory of descent and the existence of plenty of objects which are locally trivial but not globally trivial), it seems that the only epimorphisms $T\rightarrow S$ in $\mathcal{C'}$ are the split epimorphisms (which seem trivial to me).
Questions:
- Do there exist nonsplit epimorphisms in $\mathcal{C}'$ between schemes?
- Do there exist nonsplit epimorphisms in $\mathcal{C}'$? (not necessarily between schemes?)
- Are there split epimorphisms which aren't trivial (ie, in which the image of the splitting isn't a direct summand of the domain?)
- Do the answers to (1),(2),(3) change if we consider $\mathcal{C}$ instead of $\mathcal{C}'$ (and maybe consider 2-epimorphisms instead of epimorphisms?) (I don't even know of a good definition of a 2-epimorphism - the nlab article wasn't very readable)
- Do the answers to (1),(2),(3) change if we change our definition of algebraic stack? (ie, change the topology, change DM to Artin,...etc)
- What are some interesting natural examples of other categories which don't have nontrivial epimorphisms?