could refer to a number of things in mathematics:
In number theory, the successor of the number one in the natural numbers, or in any other set of numbers which contain the natural numbers as a subrig, such as the integers, the rational numbers, or the real numbers.
In set theory, the set with two elements; i.e. the boolean domain. In dependent type theory, the type with two elements; i.e. the type of booleans.
In category theory and (infinity,1)-category theory, the interval category or the interval poset
Last revised on May 15, 2025 at 11:29:33. See the history of this page for a list of all contributions to it.