Skip to content

A pair of types with the same cardinality will always be isomorphic

There will always be a way of exhaustively mapping each value of type a to type b, injectively and surjectively when viewing the domain and the codomain as a set.

This is known as a bijection. Bijectivity is a more specific version of isomorphism, specific to Set - the category of all sets.