A monomorphism is a left-cancellable morphism in category theory. If f ∘ g = f ∘ h, then g =…
An epimorphism is a right-cancellable morphism in category theory, analogous to a surjective function in set theory. It plays a…