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.

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