Does it hold in every (concrete) category?

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

-2

$\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.

- This question does not appear to be about research level mathematics within the scope defined in the help center.

1

$\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.