# Bijection¶

In the category of sets, Set, a bijection is a morphism which is both injective and surjective. In it's generalised form, this is isomorphism.