Injective Function
Backlinks
Cancellative Monoid
Weak Monomorphism
Faithful Functor
Monomorphism