In category theory, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category E with a terminal object 1, an NNO N is given by:
a global element z : 1 → N, and
an arrow s : N → N,
such that for any object A of E, global element q : 1 → A, and arrow f : A → A, there exists a unique arrow u : N → A such that:
u ∘ z = q, and
u ∘ s = f ∘ u.[1][2][3]
In other words, the triangle and square in the following diagram commute.
The pair (q, f) is sometimes called the recursion data for u, given in the form of a recursive definition:
⊢ u (z) = q
y ∈EN ⊢ u (sy) = f (u (y))
The above definition is the universal property of NNOs, meaning they are defined up to canonical isomorphism. If the arrow u as defined above merely has to exist, that is, uniqueness is not required, then N is called a weak NNO.
^Johnstone 2002, A2.5.1.
^Lawvere 2005, p. 14.
^Leinster, Tom (2014). "Rethinking set theory". American Mathematical Monthly. 121 (5): 403–415. arXiv:1212.6543. Bibcode:2012arXiv1212.6543L. doi:10.4169/amer.math.monthly.121.05.403. S2CID 5732995.
and 27 Related for: Natural numbers object information
In category theory, a naturalnumbersobject (NNO) is an object endowed with a recursive structure similar to naturalnumbers. More precisely, in a category...
In mathematics, the naturalnumbers are the numbers 0, 1, 2, 3, etc., possibly excluding 0. Some define the naturalnumbers as the non-negative integers...
include numbers, sets, functions, expressions, geometric objects, transformations of other mathematical objects, and spaces. Mathematical objects can be...
objects arranged in an equilateral triangle. Triangular numbers are a type of figurate number, other examples being square numbers and cube numbers....
mathematical object used to count, measure, and label. The most basic examples are the naturalnumbers 1, 2, 3, 4, and so forth. Numbers can be represented...
prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller naturalnumbers. A natural number greater than 1 that is...
adjectives, or adverbs that designate numbers. The distinction is drawn between the number five (an abstract object equal to 2+3), and the numeral five...
rig of naturalnumbers N is an initial object. The zero rig, which is the zero ring, consisting only of a single element 0 = 1 is a terminal object. In Field...
number zero (0), a positive natural number (1, 2, 3, etc.) or a negative integer (−1, −2, −3, etc.). The negative numbers are the additive inverses of...
without referring to concrete objects, using abstractions called numbers instead, such as integers, real numbers and complex numbers. Addition belongs to arithmetic...
naturalnumbers using computable functions, to these different types of objects. A simple extension is to assign cardinal numbers to physical objects...
mathematical object. For another axiomatization of R {\displaystyle \mathbb {R} } , see Tarski's axiomatization of the reals. The real numbers can be constructed...
as referees "1" and "2" is a use of nominal numbers. Any set of numbers (a subset of the naturalnumbers) will be consistent labels as long as a distinct...
the Catalan numbers are a sequence of naturalnumbers that occur in various counting problems, often involving recursively defined objects. They are named...
Solar System planets and their natural satellites charts the progress of the discovery of new bodies over history. Each object is listed in chronological...
some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the naturalnumbers, of the...
having a bijection with the set of naturalnumbers) rather than "continuous" (analogously to continuous functions). Objects studied in discrete mathematics...
of fruit is 8∶14 (or 4∶7). The numbers in a ratio may be quantities of any kind, such as counts of people or objects, or such as measurements of lengths...
abstract quantities using different kinds of objects including negative numbers, fractions, irrational numbers, vectors, decimals, functions, and matrices...
all square roots of naturalnumbers, other than of perfect squares, are irrational. Like all real numbers, irrational numbers can be expressed in positional...
or cardinality is therefore a natural number. For dealing with the case of infinite sets, the infinite cardinal numbers have been introduced, which are...
as a category, PER models are a cartesian closed category with naturalnumbersobject and subobject classifier, giving rise to the effective topos introduced...
theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example, rational numbers), or defined as generalizations...
with the set of naturalnumbers. Equivalently, a set is countable if there exists an injective function from it into the naturalnumbers; this means that...
as that of the real numbers, and they are fundamental tools in the scientific description of the natural world. Complex numbers allow solutions to all...