Dual of axiom of choice The (internal version of) axiom of choice, stated in the language of category theory says that every epimorphism splits - i.e., every epimorphism has a section.
Now, just like any other category theoretic statement, it has a dual statement which can be produced by inverting all of the arrows. Thus, dual of axiom of choice, we which we dub axiom of co-choice in this question, states that every monomorphism is split -- i.e. has a retraction.
Now, without any assumptions beyond ZF, this holds in the topos Set. However, like axiom of choice, it fails in Top. Off the top of my head, I don't know it failing in any other relevant category.
However, despite looking for some more information on it, there seems to be no literature studying axiom of co-choice. So, my question are these:
Is the axiom of co-choice not mathematically interesting? Is there any philosophical or mathematical justification for the dual of axiom of choice - a very interesting problem on its own - being boring? If it is truly a boring or trivial result, what classes of categories do satisfy it - i.e. what are some statements or requirements which are equivalent to it?
 A: "Every epimorphism splits" and "every monomorphism splits" turn out to be equivalent for abelian categories: both conditions are equivalent to the condition that every short exact sequence splits. You might call such an abelian category semisimple, although the discussion at this MO question suggests "split" instead. It is equivalent to the condition that $\text{Ext}^n = 0$ (as a functor) for $n \ge 1$. For example, the category $\text{Mod}(R)$ of $R$-modules satisfies this condition iff $R$ is semisimple.
So it is an interesting and natural condition in this setting, but 1) it's equivalent to its opposite and 2) nobody would call it "the axiom of cochoice" here.
It's also an interesting question in various settings to ask whether specific epimorphisms or monomorphisms split. In $\text{Top}$, for example, "does this epimorphism split?" specializes to asking whether a bundle has a section, and in $\text{CRing}$, "does this monomorphism split?" specializes to asking when a Diophantine equation has a solution. I wrote a blog post Topological Diophantine equations which discusses the analogy between these two cases in some more detail.
As another example, in abelian categories an object $P$ is projective iff every epimorphism with target $P$ splits, and dually an object $I$ is injective iff every monomorphism with source $I$ splits.
