The empty set and the void type

The empty set in set theory corresponds to the Void type in type theory or to false in logic. There's also the 0-category in category theory.

Backlinks

• Video Series: Category Theory
  • empty set and the void type
• Void Type
  • In type theory, the void type is a type with a cardinality of $0$. It is therefore impossible to construct. It's dual is the unit type. It corresponds to the empty set from set theory.
• Dual
  • It's dual is the unit type. It corresponds to the empty set from set theory.