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

Revised on October 23, 2012 18:40:58 by Tim Porter (95.147.237.70)