The singleton set

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

Its dual is the empty set.

Backlinks

• Topic: Set Theory
  • the singleton set
• 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.
• Dual
  • The singleton set