>>12168281Sorry I swapped the two things.
I knew this non-surjective epimorphism, what I want is a non-injective monomorphism instead.
I now there's one example with coverings involving the category of topology or something related, and also one with the category of divisible abelian groups. I'd like to see a more familiar and simple one, but maybe there isn't.
