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.