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**.

Revised on August 19, 2013 18:46:31
by Toby Bartels
(98.23.159.237)