Here are two possible motivating examples.

First, for any topos $\mathcal{E}$, if all epimorphisms in $\mathcal{E}$ split, then $\mathcal{E}$ is a boolean topos. In particular, for a topological space $X$, if all epimorphisms in $\mathbf{Sh} (X)$ split, then every open subset of $X$ is also closed (and vice versa), so $X$ is a disjoint union of indiscrete spaces. The converse is straightforward. Thus, all epimorphisms in $\mathbf{Sh} (X)$ split if and only if $X$ is a disjoint union of indiscrete spaces.

Second, for a commutative ring $A$, if all epimorphisms in $\mathbf{Mod} (A)$ split, then every closed subset of $\operatorname{Spec} A$ is also open (and vice versa), so the Krull dimension of $A$ is zero, therefore $\operatorname{Spec} A$ is finite and discrete, and hence $A$ is a direct product of finitely many fields. Conversely, if $A$ is a direct product of finitely many fields then all epimorphisms in $\mathbf{Mod} (A)$ split.

I suppose the point is that if the category of representations of some geometric object satisfies the axiom of choice, then that object cannot have a very complicated internal structure.