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

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


 * 1) एक व्यापक तत्व z : 1 → N, और
 * 2) एक तीर s : N → N,

ऐसा कि E के किसी भी ऑब्जेक्ट A के लिए, व्यापक तत्व q: 1 → A और तीर f: A → A, एक अद्वितीय तीर u: N → A उपस्थित है जैसे:

अन्य शब्दों में, निम्नलिखित चित्र में त्रिभुज और वर्ग परिवर्तित होते हैं।
 * 1) u ∘ z = q, और
 * 2) u ∘ s = f ∘ u.



युग्म (q, f) को कभी-कभी पुनरावर्ती परिभाषा के रूप में दिए गए यू के लिए पुनरावर्ती (रिकर्शन) डेटा कहा जाता है:


 * 1) ⊢ u (z) = q
 * 2) y ∈E N ⊢ u (s y) = f (u (y))

उपरोक्त परिभाषा NNO की सार्वभौमिक गुण है जिसका अर्थ है कि उन्हें कैनानिकल समाकारिकता तक परिभाषित किया गया है। यदि उपरोक्त परिभाषित तीर u का केवल अस्तित्व होना है अर्थात विशिष्टता की आवश्यकता नहीं है, तो N को अशक्त NNO कहा जाता है।

समतुल्य परिभाषाएँ
कार्टेशियन संवृत श्रेणियों (सीसीसी) या टोपोई में एनएनओ को कभी-कभी निम्नलिखित तुल्य प्रकार से परिभाषित किया जाता है (लॉवर के कारण): तीरों की प्रत्येक युग्म g : A → B और  f : B → B के लिए एक अद्वितीय h : N × A → B है इस प्रकार कि निम्नलिखित आरेख में वर्ग परिवर्तन करते हैं।



यही निर्माण कार्टेशियन श्रेणियों में अशक्त NNO को परिभाषित करता है जो कार्टेशियन संवृत नहीं हैं।

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

गुण

 * प्रत्येक NNO फॉर्म के आरेख (श्रेणी सिद्धांत) की श्रेणी की प्रारंभिक ऑब्जेक्ट है


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

उदाहरण

 * समुच्चय में, समुच्चय की श्रेणी, में मानक प्राकृतिक संख्याएँ एक NNO हैं। समुच्चय में एक टर्मिनल ऑब्जेक्ट एकल(गणित) है तथा एकल में से एक फलन समुच्चय के एक तत्व (सेट सिद्धांत) का चयन करता है। प्राकृतिक संख्याएँ 𝐍 एक NNO हैं जहाँ z एक एकल से 𝐍 तक एक फलन है जिसकी धारणा(गणित) शून्य है और s परवर्ती फलन है। (वस्तुतः हम z को 𝐍 के किसी भी तत्व को चयनित करने की अनुमति दे सकते हैं तथा परिणामी NNO इसके लिए समरूपी होगा।) कोई यह सिद्ध कर सकता है कि परिभाषा में आरेख गणितीय प्रेरण का उपयोग करके परिवर्तित होता है।
 * मार्टिन-लोफ प्रकार सिद्धांत के प्रकारों की श्रेणी में (ऑब्जेक्ट्स के रूप में प्ररूप और तीर के रूप में फलन) मानक प्राकृतिक संख्या प्ररूप नेट एक NNO है। यह प्रदर्शित करने के लिए कि उपयुक्त आरेख परिवर्तित होता है, नेट के लिए रिकर्सर का उपयोग किया जा सकता है।
 * मान लें कि $$ \mathcal{E} $$ टर्मिनल ऑब्जेक्ट $$ \top $$ के साथ एक ग्रोथेंडिक टोपोस है और श्रेणी $$ \mathfrak{C} $$ पर कुछ ग्रोथेंडिक सांस्थिति $$ J $$ के लिए $$ \mathcal{E} \simeq \mathbf{Shv}(\mathfrak{C},J) $$ है। पुनः यदि  $$ \Gamma_{\mathbb{N}} $$, $$ \mathfrak{C} $$ पर अचर प्रीशीफ है तो $$ \mathcal{E} $$ में NNO, $$ \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