Every morphism in a concrete category whose underlying function is injective is a monomorphism ; in other words, if morphisms are actually functions between sets, then any morphism which is a one-to-one function will necessarily be a monomorphism in the categorical sense.

Every morphism in a concrete category whose underlying function is surjective is an epimorphism.

0.004 seconds.