| Information | |
|---|---|
| has gloss | eng: In category theory, a natural number object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a E with a terminal object 1 (alternately, a topos), an NNO N is given by: |
| lexicalization | eng: Natural number object |
| instance of | c/Objects (category theory) |
| Media | |
|---|---|
| media:img | NNO as terminal object.png |
| media:img | NNO definition alt.png |
| media:img | NNO definition.png |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint