Natural numbers object

In category theory in mathematics, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers.

Version

v1 · 2026-09-28 · History

Domain-specific #

10920

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Category Theory, Topos Theory → Mathematics

Core Idea

Natural numbers object is treated here as the recurring mathematicslogicstatistics identity summarized by this source-grounded definition: In category theory in mathematics, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers. 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. such that for any object A of E, global element q.

Scope of Application

• Properties. NNOs can be used for non-standard models of type theory in a way analogous to non-standard models of analysis.

• Examples. A terminal object in Set is a singleton, and a function out of a singleton picks out a single element of a set.

• Examples. The natural numbers 𝐍 are an NNO where is a function from a singleton to 𝐍 whose image is zero, and is the successor function.

• Examples. In the category of types of Martin-Löf type theory (with types as objects and functions as arrows), the standard natural numbers type nat is an NNO.

• Equivalent definitions. This same construction defines weak NNOs in cartesian categories that are not cartesian closed.

Clarity

A clear use of Natural numbers object names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In category theory in mathematics, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers.

Manages Complexity

Natural numbers object compresses multiple mathematicslogicstatistics details into a stable diagnostic relation. The source shows both the central mechanism—n : N → 1 is a coequalizer of s and 1 N , i.e., every pair of global elements of N are connected by means of s; furthermore, this pair of facts characterize all NNOs.—and the practical consequence—nNOs can be used for non-standard models of type theory in a way.

Abstract Reasoning

1. Type the carrier. Identify the mathematicslogicstatistics entities to which the claim applies.
2. State the relation. Use the source-grounded identity: In category theory in mathematics, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers.
3. Check operation and conditions. This same construction defines weak NNOs in cartesian categories that are not cartesian closed.
4. Demand recognition evidence. Every NNO is an initial object of the category of diagrams of the form.
5. Test variation.

Knowledge Transfer

Within the home domain. Knowledge about Natural numbers object transfers literally when a new case preserves the same carrier type, relation, and recognition test. NNOs can be used for non-standard models of type theory in a way analogous to non-standard models of analysis. A terminal object in Set is a singleton, and a function out of a singleton picks out a single element of a set. Beyond the home domain. No canonical parent is asserted for Natural numbers object.

Neighborhood in Abstraction Space

Natural numbers object sits in a moderately populated region (54^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

• Well-Pointed Category — 0.87
• Cartesian monoidal category — 0.85
• Section (category theory) — 0.85
• Category of Small Categories — 0.85
• Subfunctor — 0.85

Computed from structural-signature embeddings · 2026-10-08