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