📝Category Theory: Monomorphism
is a monomorphism iff
(The rule to remember is that you can cancel from the left side of equation.)
Monomorphism is defined for all categories (but might be absent), and is a generalization of injective functions from Set Theory (Set theory: functions).
See also: