Surjectivity, injectivity, and bijectivity
Surjective, injective, and bijective functions are epimorphisms, monomorphisms, and isomorphisms respectively in Category of sets.
Thus the morphisms of any concrete category may be described as such,
but these concepts may not align exactly
(for example, there exist bijectivity continuous functions that are not homeomorphisms).
Specifically, given a function
is surjective iff for every there exists such that general - Equivalently, there exists a right-inverse.
- A surjective function induces an Equivalence relation.
is injective iff . general - Equivalently, there exists a left-inverse.
is bijective iff it is surjective and injective. general - Equivalently, there exists a unique ambidextrous inverse.