[formal-methods] Injective, Surjective, and Bijective functions

[Jason Dusek]

  The notion of cancellable on the left or right are what define
  monomorphisms and epimorphisms.

 .  Cancellable on the left is what makes a monomorphism.

 .  Cancellable on the right is what makes an epimorphism.

  The notion of injection and surjection apply specifically to
  sets; an injection is a monomorphism (or is monic) while a
  surjection is an epimorphism (or is epic).

--
Jason Dusek