In category theory, a monic or monomorphism is any morphism such that the following is a pullback:
Interpretation
In Set, monomorphisms are simply just the injective functions.
In category theory, a monic or monomorphism is any morphism such that the following is a pullback:
In Set, monomorphisms are simply just the injective functions.