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