Encyclopedia > N > Natural number object
Natural number object
In category theory, a natural number object (nno) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category E with a terminal object (alternately, a topos), an nno N is given by:
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)