प्राकृतिक संख्या ऑब्जेक्ट

श्रेणी सिद्धांत में, एक प्राकृतिक संख्या वस्तु (एनएनओ) प्राकृतिक संख्याओं के समान रिकर्सन (कंप्यूटर विज्ञान) गणितीय संरचना से संपन्न एक वस्तु है। अधिक सटीक रूप से, श्रेणी (गणित) ई में टर्मिनल वस्तु  1 के साथ, एक एनएनओ एन इस प्रकार दिया जाता है:


 * 1) एक वैश्विक तत्व z : 1 → N, और
 * 2) एक रूपवाद s : N → N,

जैसे कि ई के किसी भी ऑब्जेक्ट ए के लिए, वैश्विक तत्व क्यू: 1 → ए, और तीर एफ: ए → ए, वहां एक अद्वितीय तीर u मौजूद है: N → A इस प्रकार है कि:

दूसरे शब्दों में, निम्नलिखित आरेख में त्रिभुज और वर्ग घूमते हैं।
 * 1) यू ∘ जेड = क्यू, और
 * 2) यू ∘ एस = एफ ∘ यू.



जोड़ी (क्यू, एफ) को कभी-कभी यू के लिए रिकर्सन डेटा कहा जाता है, जिसे रिकर्सिव परिभाषा के रूप में दिया जाता है:


 * 1) ⊢ यू (जेड) = क्यू
 * 2) य ∈E एन ⊢ यू (एस वाई) = एफ (यू (वाई))

उपरोक्त परिभाषा एनएनओ की सार्वभौमिक संपत्ति है, जिसका अर्थ है कि उन्हें गणितीय शब्दजाल # विहित रूपवाद की सूची तक परिभाषित किया गया है। यदि ऊपर परिभाषित तीर यू का केवल अस्तित्व होना है, यानी विशिष्टता की आवश्यकता नहीं है, तो एन को कमजोर एनएनओ कहा जाता है।

समतुल्य परिभाषाएँ
कार्टेशियन बंद श्रेणी (सीसीसी) या टोपोस में एनएनओ को कभी-कभी निम्नलिखित समकक्ष तरीके से परिभाषित किया जाता है (लॉवर के कारण): तीरों की प्रत्येक जोड़ी के लिए जी: ए → बी और एफ: बी → बी, एक अद्वितीय एच: एन × ए है → बी इस प्रकार है कि निम्नलिखित आरेख में वर्ग कम्यूट होते हैं।



यही निर्माण कार्टेशियन श्रेणियों में कमजोर एनएनओ को परिभाषित करता है जो कार्टेशियन बंद नहीं हैं।

टर्मिनल ऑब्जेक्ट 1 और बाइनरी सहउत्पाद ्स (+ द्वारा चिह्नित) वाली श्रेणी में, एक एनएनओ को  एंडोफन्क्टर  के प्रारंभिक बीजगणित के रूप में परिभाषित किया जा सकता है जो ऑब्जेक्ट पर कार्य करता है $X ↦ 1 + X$ और द्वारा तीरों पर $f ↦ id_{1} + f$.

गुण

 * प्रत्येक एनएनओ प्रपत्र के आरेख (श्रेणी सिद्धांत) की श्रेणी की प्रारंभिक वस्तु है


 * यदि किसी कार्टेशियन बंद श्रेणी में कमजोर एनएनओ है, तो उसकी प्रत्येक स्लाइस श्रेणी में भी कमजोर एनएनओ है।
 * एनएनओ का उपयोग विश्लेषण के गैर-मानक मॉडल के समान प्रकार के सिद्धांत के गैर-मानक मॉडल के लिए किया जा सकता है। ऐसी श्रेणियों (या टोपोई) में अपरिमित रूप से कई गैर-मानक प्राकृतिक संख्याएँ होती हैं। (हमेशा की तरह, गैर-मानक एनएनओ प्राप्त करने के सरल तरीके हैं; उदाहरण के लिए, यदि z = s z, तो उस स्थिति में श्रेणी या टॉपोस 'ई' तुच्छ है।)
 * पीटर फ्रायड ने दिखाया कि z और s एनएनओ के लिए एक सह-उत्पाद आरेख बनाते हैं; भी, !N : N → 1, s और 1 का सहतुल्यकारक हैN, यानी, एन के वैश्विक तत्वों की प्रत्येक जोड़ी एस के माध्यम से जुड़ी हुई है; इसके अलावा, तथ्यों की यह जोड़ी सभी एनएनओ की विशेषता बताती है।

उदाहरण

 * सेट में, सेट की श्रेणी, मानक प्राकृतिक संख्याएँ एक एनएनओ हैं। सेट में एक टर्मिनल ऑब्जेक्ट एक सिंगलटन (गणित) है, और सिंगलटन में से एक फ़ंक्शन सेट के एक एकल तत्व (सेट सिद्धांत) को चुनता है। प्राकृतिक संख्याएँ 𝐍 एक NNO हैं जहाँ z एक सिंगलटन से 𝐍 तक एक फ़ंक्शन है जिसकी छवि (गणित) शून्य है, और s उत्तराधिकारी कार्य है। (हम वास्तव में अनुमति दे सकते हैं z 𝐍 के किसी भी तत्व को चुनने के लिए, और परिणामी एनएनओ इस के लिए समरूपी होगा।) कोई यह साबित कर सकता है कि परिभाषा में आरेख गणितीय प्रेरण का उपयोग करके बदलता है।
 * मार्टिन-लोफ प्रकार सिद्धांत के प्रकारों की श्रेणी में (वस्तुओं के रूप में प्रकार और तीरों के रूप में कार्यों के साथ), मानक प्राकृतिक संख्या प्रकार 'नैट' एक एनएनओ है। यह दिखाने के लिए कि उपयुक्त आरेख आवागमन करता है, कोई 'nat' के लिए पुनरावर्तक का उपयोग कर सकता है।
 * ये मान लीजिए $$ \mathcal{E} $$ टर्मिनल ऑब्जेक्ट के साथ ग्रोथेंडिक टोपोस है $$ \top $$ ओर वो $$ \mathcal{E} \simeq \mathbf{Shv}(\mathfrak{C},J) $$ कुछ ग्रोथेंडिक टोपोलॉजी के लिए $$ J $$ श्रेणी पर $$ \mathfrak{C} $$. तो अगर $$ \Gamma_{\mathbb{N}} $$ निरंतर प्रीशीफ चालू है $$ \mathfrak{C} $$, फिर एनएनओ में $$ \mathcal{E} $$ का शीफ़ीकरण है $$ \Gamma_{\mathbb{N}} $$ और फॉर्म लेने के लिए दिखाया जा सकता है $$ \mathbb{N}_{\mathcal{E}} \cong \left(\Gamma_{\mathbb{N}}\right)^{++} \cong \coprod_{n \in \mathbb{N}} \top. $$

यह भी देखें

 * पीनो के अंकगणित के अभिगृहीत
 * श्रेणीबद्ध तर्क

बाहरी संबंध

 * Lecture notes from Robert Harper which discuss NNOs in Section 2.2: https://www.cs.cmu.edu/~rwh/courses/hott/notes/notes_week3.pdf
 * A blog post by Clive Newstead on the n-Category Cafe: https://golem.ph.utexas.edu/category/2014/01/an_elementary_theory_of_the_ca.html
 * Notes on datatypes as algebras for endofunctors by computer scientist Philip Wadler: http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
 * Notes on the nLab: https://ncatlab.org/nlab/show/ETCS