In category theory in mathematics, 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.
In category theory in mathematics, 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.
Source: Wikipedia "Natural numbers object" · CC BY-SA 4.0
Share this article: X · Bluesky