# The singleton set¶

The singleton set has a single element. It corresponds to the unit type in type theory.

## Backlinks¶

- Topic: Set Theory
- The singleton set and the unit type
- The singleton set from set theory corresponds to the Unit type from type theory. Also to
`true`

in logic, and to a 1-category in category theory.

- The singleton set from set theory corresponds to the Unit type from type theory. Also to
- Dual