In the category of groups, there are lots of "exact sequences", e.g. 4 → H → 2, that neither split nor cosplit, where H is the eight-element group of quaternions, and lots of sequences like 4 → D → 2 that split but do not cosplit, where D is the eight-element dihedral group. By "2" and "4" I mean the cyclic groups of those orders. By "exact sequence" A → B → C, I mean that A is the kernel of the quotient B → C (equivalently C is the cokernel of the subobject A → B). A sequence A → B → C "splits" if there is a map C → B so that the compotision C → B → C is the identity; cosplitting is on the other side.

So in groups, a split exact sequence does not necessarily cosplit. (In fact, I have a hard time thinking of any cosplit sequences.) On the other hand, my friends who do ring theory state definitions like "A ring is semisimple if any short exact sequence of modules splits". Why don't they ask for the sequence to cosplit? Does that come for free? (Or am I misremembering the definition?)

More generally, what conditions does one have to place on a category so that "splits" implies "cosplits"?