Does it hold in every (concrete) category?

for the category of set: ok but that's the only proof we usually find on internet.

MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question

Anybody can answer

The best answers are voted up and rise to the top

$\begingroup$
$\endgroup$

Does it hold in every (concrete) category?

for the category of set: ok but that's the only proof we usually find on internet.

$\begingroup$
$\endgroup$

Even in the category of sets, left-invertible is equivalent to injective only if the domain of the map is nonempty. And, still in the category of sets, the equivalence between surjectivity and right invertibility depends on (and in fact is equivalent to) the axiom of choice. Since counterexamples in other categories are well-known, this question seems more appropriate for math.stackexchange.com, so I voted to close.