Set

Backlinks

• CT: Isomorphism
  • Isomorphism is the generalisation of the concept of bijection from the category Set to other categories.
• A pair of types with the same cardinality will always be isomorphic
  • This is known as a bijection. Bijectivity is a more specific version of isomorphism, specific to Set - the category of all sets.
• Bijection
  • In the category of sets, Set, a bijection is a morphism which is both injective and surjective. In it's generalised form, this is isomorphism.