nLab bijection

A bijection is an isomorphism in Set.

Since Set is a balanced category, bijections can also be characterized as functions which are both injective (monic) and surjective (epic).

In older literature, a bijection may be called a one-to-one correspondence, or (as a compromise) bijective correspondence.

Last revised on August 19, 2013 at 18:46:31. See the history of this page for a list of all contributions to it.