Help


+
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.

Edit
Promote Demote Fragment Fix

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

Edit
Promote Demote Fragment Fix

0.003 seconds.