natural numbers object
natural numbers object noun: an object which has a distinguished global element (which may be called z, for “zero”) and a distinguished endomorphism (which may be called s, for “successor”) such that iterated compositions of s upon z (i.e., sⁿ∘z) yields other global elements of the same object which correspond to the natural numbers (sⁿ∘z↔n). Such object has the universal property that for any other object with a distinguished global element (call it z’) and a distinguished endomorphism (call it s’), there is a unique morphism (call it φ) from the given object to the other object which maps z to z’ (ϕ∘z=z') and which commutes with s; i.e., ϕ∘s=s'∘ϕ.
Noun
natural numbers object (plural natural numbers objects)
- An object which has a distinguished global element (which may be called z, for “zero”) and a distinguished endomorphism (which may be called s, for “successor”) such that iterated compositions of s upon z (i.e., sⁿ∘z) yields other global elements of the same object which correspond to the natural numbers (sⁿ∘z↔n). Such object has the universal property that for any other object with a distinguished global element (call it z’) and a distinguished endomorphism (call it s’), there is a unique morphism (call it φ) from the given object to the other object which maps z to z’ (ϕ∘z=z') and which commutes with s; i.e., ϕ∘s=s'∘ϕ.
Forms of natural numbers object
| plural | natural numbers objects |
|---|
Questions about natural numbers object
- What does natural numbers object mean?
- Natural numbers object means an object which has a distinguished global element (which may be called z, for “zero”) and a distinguished endomorphism (which may be called s, for “successor”) such that iterated compositions of s upon z (i.e., sⁿ∘z) yields other global elements of the same object which correspond to the natural numbers (sⁿ∘z↔n). Such object has the universal property that for any other object with a distinguished global element (call it z’) and a distinguished endomorphism (call it s’), there is a unique morphism (call it φ) from the given object to the other object which maps z to z’ (ϕ∘z=z') and which commutes with s; i.e., ϕ∘s=s'∘ϕ.
- What part of speech is natural numbers object?
- Natural numbers object is a noun.
- What is the plural of natural numbers object?
- The plural of natural numbers object is natural numbers objects.
Words near natural numbers object in the dictionary
Source and license
Adapted from Wiktionary: natural numbers object (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “natural numbers object.” Word.ws, https://word.ws/natural_numbers_object. Based on Wiktionary, CC BY-SA 4.0.
