प्रारंभिक और टर्मिनल ऑब्जेक्ट: Difference between revisions
From Vigyanwiki
No edit summary |
|||
| (10 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{short description|Special objects used in (mathematical) category theory}} | {{short description|Special objects used in (mathematical) category theory}} | ||
[[श्रेणी सिद्धांत]] में, गणित की शाखा, श्रेणी {{mvar|C}} की प्रारंभिक ऑब्जेक्ट (गणित) {{mvar|C}} में {{mvar|I}} ऑब्जेक्ट है जैसे कि {{mvar|C}} में प्रत्येक ऑब्जेक्ट {{mvar|X}} के लिए है, ठीक {{math|''I'' → ''X''}} आकारिकी उपस्थित है। | |||
[[श्रेणी सिद्धांत]] में, गणित की | |||
[[दोहरी (श्रेणी सिद्धांत)]] धारणा | [[दोहरी (श्रेणी सिद्धांत)]] धारणा टर्मिनल ऑब्जेक्ट (जिसे टर्मिनल तत्व भी कहा जाता है) की है: {{mvar|T}} टर्मिनल है यदि {{mvar|C}} में प्रत्येक ऑब्जेक्ट {{mvar|X}} के लिए सही आकारिकी {{math|''X'' → ''T''}} उपस्थित है | आरंभिक ऑब्जेक्ट्स को कोटर्मिनल या सार्वभौमिक भी कहा जाता है, और टर्मिनल ऑब्जेक्ट्स को अंतिम भी कहा जाता है। | ||
यदि कोई ऑब्जेक्ट प्रारंभिक और अंतिम दोनों है, तो इसे शून्य ऑब्जेक्ट या प्रभावहीन ऑब्जेक्ट कहा जाता है। आंकित श्रेणी वह है जिसमें शून्य ऑब्जेक्ट होती है। | यदि कोई ऑब्जेक्ट प्रारंभिक और अंतिम दोनों है, तो इसे शून्य ऑब्जेक्ट या प्रभावहीन ऑब्जेक्ट कहा जाता है। आंकित श्रेणी वह है जिसमें शून्य ऑब्जेक्ट होती है। | ||
[[सख्त प्रारंभिक वस्तु|सख्त प्रारंभिक ऑब्जेक्ट]] {{mvar|I}} वह है जिसके लिए प्रत्येक आकारिकी में {{mvar|I}} समरूपता है। | |||
== उदाहरण == | == उदाहरण == | ||
* [[खाली सेट]], [[सेट की श्रेणी]] में अद्वितीय प्रारंभिक | * [[खाली सेट|रिक्त समूह]], [[सेट की श्रेणी|समूह की श्रेणी]] में अद्वितीय प्रारंभिक ऑब्जेक्ट है। प्रत्येक एक-तत्व समूह ([[सिंगलटन (गणित)]]) इस श्रेणी में एक अंतिम ऑब्जेक्ट है; कोई शून्य ऑब्जेक्ट नहीं है। इसी प्रकार, रिक्त स्थान शीर्ष में अद्वितीय प्रारंभिक ऑब्जेक्ट है, संस्थितिक रिक्त स्थान की श्रेणी और प्रत्येक एक-बिंदु स्थान इस श्रेणी में टर्मिनल ऑब्जेक्ट है | | ||
* | * समूह और संबंधों के [[संबंधों की श्रेणी]] में, रिक्त समूह अद्वितीय प्रारंभिक ऑब्जेक्ट है, अद्वितीय टर्मिनल ऑब्जेक्ट है, और इसलिए अद्वितीय शून्य ऑब्जेक्ट है। | ||
[[Image:Terminal and initial object.svg|thumb|right|नुकीले सेटों की आकृतियाँ। छवि बीजगणितीय शून्य ऑब्जेक्ट ओं पर भी लागू होती है]]* | [[Image:Terminal and initial object.svg|thumb|right|नुकीले सेटों की आकृतियाँ। छवि बीजगणितीय शून्य ऑब्जेक्ट ओं पर भी लागू होती है]]* बिंदु समुच्चय की श्रेणी में (जिनकी ऑब्जेक्ट विशिष्ट तत्व के साथ अरिक्त हैं; {{math|(''A'', ''a'')}} से आकारिकी को {{math|(''B'', ''b'')}} फंक्शन {{math|''f'' : ''A'' → ''B''}} होने के साथ {{math|1=''f''(''a'') = ''b''}}), प्रत्येक सिंगलटन शून्य ऑब्जेक्ट है। इसी प्रकार, [[ नुकीला स्थान |बिंदु स्थान]] की श्रेणी में, प्रत्येक सिंगलटन शून्य ऑब्जेक्ट है। | ||
* जीआरपी में, [[समूहों की श्रेणी]], कोई भी [[तुच्छ समूह]] | * जीआरपी में, [[समूहों की श्रेणी]], कोई भी [[तुच्छ समूह|निम्न समूह]] शून्य ऑब्जेक्ट है। निम्न ऑब्जेक्ट भी ''AB'' में शून्य ऑब्जेक्ट है, [[एबेलियन समूहों की श्रेणी]], '''Rng''' छद्म-वलयों की श्रेणी, ''R''-मॉड, रिंग के ऊपर [[मॉड्यूल की श्रेणी]], और ''K''-वेक्ट, एक क्षेत्र पर [[वेक्टर रिक्त स्थान की श्रेणी]] विवरण के लिए ''[[शून्य वस्तु (बीजगणित)|शून्य ऑब्जेक्ट (बीजगणित)]]'' देखें। यह शून्य ऑब्जेक्ट शब्द की उत्पत्ति है। | ||
* रिंग में, एकता और एकता-संरक्षण आकारिकी वाले छल्ले की श्रेणी, [[पूर्णांक]] Z की | * रिंग में, एकता और एकता-संरक्षण आकारिकी वाले छल्ले की श्रेणी, [[पूर्णांक]] Z की छल्ले प्रारंभिक ऑब्जेक्ट है। केवल तत्व 0 = 1 से युक्त शून्य वलय टर्मिनल ऑब्जेक्ट है। | ||
* रिग में, रिग की श्रेणी (गणित) | * रिग में, रिग की श्रेणी (गणित) समूह और समूह-संरक्षण आकारिकी के साथ, [[प्राकृतिक संख्या]] N की रिग प्रारंभिक ऑब्जेक्ट है। शून्य रिग, जो कि शून्य रिंग है, जिसमें केवल एक तत्व 0 = 1 होता है, टर्मिनल ऑब्जेक्ट है। | ||
* | * क्षेत्र में, क्षेत्र की श्रेणी में, कोई आरंभिक या अंतिम ऑब्जेक्ट नहीं होती है। चूँकि, निश्चित विशेषता वाले क्षेत्रों की उपश्रेणी में, प्रमुख क्षेत्र प्रारंभिक ऑब्जेक्ट है। | ||
* कोई भी आंशिक रूप से | * कोई भी आंशिक रूप से निर्देशित किया गया समूह {{math|(''P'', ≤)}} को श्रेणी के रूप में व्याख्या किया जा सकता है: ऑब्जेक्ट {{mvar|P}} इसके तत्व हैं, और वहाँ से {{mvar|x}} एकल आकारिकी {{mvar|y}} है [[अगर और केवल अगर|यदि]] {{math|''x'' ≤ ''y''}} इस श्रेणी में प्रारंभिक ऑब्जेक्ट है यदि {{mvar|P}} में सबसे कम अवयव है; इसका टर्मिनल ऑब्जेक्ट है यदि {{mvar|P}} का [[सबसे बड़ा तत्व]] है। | ||
* | * कैट, आकारिकी के रूप में कार्य करने वालों के साथ [[छोटी श्रेणियों की श्रेणी]] में रिक्त श्रेणी 0 है (बिना किसी ऑब्जेक्ट और कोई आकारिकी के), प्रारंभिक ऑब्जेक्ट और टर्मिनल श्रेणी के रूप में, 1 (एकल समरूप आकारिकी के साथ एकल ऑब्जेक्ट के साथ), टर्मिनल ऑब्जेक्ट के रूप में होता है। | ||
* [[योजना (गणित)]] की श्रेणी में, युक्ति (Z), पूर्णांकों के वलय के | * [[योजना (गणित)]] की श्रेणी में, युक्ति (Z), पूर्णांकों के वलय के वलय का वर्णक्रम, अंतिम ऑब्जेक्ट है। रिक्त योजना (शून्य वलय के प्रमुख वर्णक्रम के बराबर) प्रारंभिक ऑब्जेक्ट है। | ||
* [[आरेख (श्रेणी सिद्धांत)]] '' | * [[आरेख (श्रेणी सिद्धांत)]] ''F'' की [[सीमा (श्रेणी सिद्धांत)]] ''F'' को [[शंकु की श्रेणी]] में टर्मिनल ऑब्जेक्ट के रूप में वर्णित किया जा सकता है। इसी प्रकार, ''F'' की कोलिमिट को F से सह-शंकु की श्रेणी में प्रारंभिक ऑब्जेक्ट के रूप में चित्रित किया जा सकता है। | ||
*श्रेणी में | *श्रेणी में Ch<sub>R</sub> क्रमविनिमेय वलय R पर श्रृंखला परिसरों की संख्या, शून्य परिसर शून्य ऑब्जेक्ट है। | ||
== गुण == | == गुण == | ||
| Line 29: | Line 27: | ||
=== अस्तित्व और विशिष्टता === | === अस्तित्व और विशिष्टता === | ||
प्रारंभिक और अंतिम | प्रारंभिक और अंतिम ऑब्जेक्ट को किसी श्रेणी में उपस्थित होने की आवश्यकता नहीं है। चूँकि, यदि वे उपस्थित हैं, तो वे अनिवार्य रूप से अद्वितीय हैं। विशेष रूप से, यदि {{math|''I''<sub>1</sub>}} और {{math|''I''<sub>2</sub>}} दो अलग-अलग प्रारंभिक ऑब्जेक्ट हैं, तो उनके बीच अद्वितीय समरूपता है। इसके अतिरिक्त, यदि {{mvar|I}} प्रारंभिक ऑब्जेक्ट है तो कोई भी ऑब्जेक्ट समावयवी है {{mvar|I}} भी एक प्रारंभिक ऑब्जेक्ट है। टर्मिनल ऑब्जेक्ट्स के लिए भी यही सच है। | ||
पूर्ण श्रेणी के लिए प्रारंभिक | पूर्ण श्रेणी के लिए प्रारंभिक ऑब्जेक्ट के लिए अस्तित्व प्रमेय है। विशेष प्रकार से, ([[स्थानीय रूप से छोटी श्रेणी]]) पूर्ण श्रेणी {{mvar|C}} में प्रारंभिक ऑब्जेक्ट है यदि कोई समूह {{mvar|I}} ({{em|not}} एक [[उचित वर्ग]]) उपस्थित है और {{mvar|I}}- [[अनुक्रमित परिवार|{{mvar|C}}]] कि ऑब्जेक्ट्स का [[अनुक्रमित परिवार|अनुक्रमित समूह]] {{math|(''K''<sub>''i''</sub>)}} जैसे कि {{mvar|C}} किसी भी ऑब्जेक्ट के लिए {{mvar|X}} के लिए, कुछ {{math|''i'' ∈ ''I''}} के लिए कम से कम आकारिकी {{math|''K''<sub>''i''</sub> → ''X''}} है। | ||
'''समतुल्य फॉर्मूलेशन''' | |||
श्रेणी में टर्मिनल ऑब्जेक्ट {{mvar|C}} को अद्वितीय रिक्त आरेख (श्रेणी सिद्धांत) की सीमा (श्रेणी सिद्धांत) {{math|'''0''' → ''C''}} के रूप में भी परिभाषित किया जा सकता है| चूंकि रिक्त श्रेणी रूप से [[असतत श्रेणी]] है, टर्मिनल ऑब्जेक्ट को रिक्त प्रोडक्ट के रूप में माना जा सकता है (प्रोडक्ट वास्तव में असतत आरेख की सीमा {{math|{{mset|''X''<sub>''i''</sub>}}}} है, सामान्य रूप में)। प्रारंभिक ऑब्जेक्ट को रिक्त आरेख {{math|'''0''' → ''C''}} की सीमा (श्रेणी सिद्धांत) है और इसे [[खाली योग|रिक्त योग]] प्रतिउत्पाद या श्रेणीबद्ध राशि के रूप में माना जा सकता है। | |||
यह इस प्रकार है कि कोई [[मुक्त कारक]] जो सीमा को संरक्षित करता है, टर्मिनल ऑब्जेक्ट को टर्मिनल ऑब्जेक्ट पर ले जाएगा, और कोई भी फ़ैक्टर जो कोलिमिट को संरक्षित करता है, प्रारंभिक ऑब्जेक्ट को प्रारंभिक ऑब्जेक्ट में ले जाएगा। उदाहरण के लिए, [[मुक्त वस्तु|मुक्त | यह इस प्रकार है कि कोई [[मुक्त कारक]] जो सीमा को संरक्षित करता है, टर्मिनल ऑब्जेक्ट को टर्मिनल ऑब्जेक्ट पर ले जाएगा, और कोई भी फ़ैक्टर जो कोलिमिट को संरक्षित करता है, प्रारंभिक ऑब्जेक्ट को प्रारंभिक ऑब्जेक्ट में ले जाएगा। उदाहरण के लिए, [[मुक्त वस्तु|मुक्त ऑब्जेक्ट]] के साथ किसी भी [[ठोस श्रेणी]] में प्रारंभिक ऑब्जेक्ट रिक्त समूह द्वारा उत्पन्न मुक्त ऑब्जेक्ट होती है (चूंकि मुक्त फ़ैक्टर, समूह करने के लिए संलग्न फ़ंक्टर (प्रकार्यक) के निकट छोड़ दिया जा रहा है, कोलिमिट्स को संरक्षित करता है)। | ||
प्रारंभिक और टर्मिनल | प्रारंभिक और टर्मिनल ऑब्जेक्ट को [[सार्वभौमिक संपत्ति|सार्वभौमिक गुण]] और आसन्न फ़ैक्टरों के संदर्भ में भी वर्णित किया जा सकता है। 1 को एकल ऑब्जेक्ट के साथ असतत श्रेणी (द्वारा चिह्नित) होने दें, और दें {{math|''U'' : ''C'' → '''1'''}} 1 के लिए अद्वितीय (निरंतर) फ़ैक्टर बनता है। फिर | ||
* | * प्रारंभिक ऑब्जेक्ट {{mvar|I}} में {{mvar|C}} • से [[सार्वभौमिक रूपवाद|सार्वभौमिक रूपवाद {{mvar|U}}]] है | फ़ंक्टर जो • U को भेजता है, {{mvar|I}} के सटा हुआ है। | ||
* | * टर्मिनल ऑब्जेक्ट {{mvar|T}} में {{mvar|C}} से सार्वभौमिक आकारिकी है {{mvar|U}} को •। फ़ंक्टर जो • {{mvar|U}} को भेजता है {{mvar|T}} के ठीक सटा हुआ है| | ||
=== अन्य स्पष्ट निर्माणों से संबंध === | === अन्य स्पष्ट निर्माणों से संबंध === | ||
| Line 50: | Line 48: | ||
* आरेख की सीमा {{mvar|F}} एक {{math|शंकु(''F'')}} टर्मिनल ऑब्जेक्ट है, शंकु की श्रेणी {{mvar|F}} है। दुगनी प्रकार से, कोलिमिट {{mvar|F}} शंकु की श्रेणी में {{mvar|F}} प्रारंभिक ऑब्जेक्ट है | | * आरेख की सीमा {{mvar|F}} एक {{math|शंकु(''F'')}} टर्मिनल ऑब्जेक्ट है, शंकु की श्रेणी {{mvar|F}} है। दुगनी प्रकार से, कोलिमिट {{mvar|F}} शंकु की श्रेणी में {{mvar|F}} प्रारंभिक ऑब्जेक्ट है | | ||
* प्रतिनिधित्व योग्य संचालन {{mvar|F}} से समूह के [[तत्वों की श्रेणी]] में {{mvar|F}} प्रारंभिक ऑब्जेक्ट है | | * प्रतिनिधित्व योग्य संचालन {{mvar|F}} से समूह के [[तत्वों की श्रेणी]] में {{mvar|F}} प्रारंभिक ऑब्जेक्ट है | | ||
*अंतिम फ़ैक्टर (क्रमशः, प्रारंभिक प्रकार्यक) की धारणा अंतिम ऑब्जेक्ट | *अंतिम फ़ैक्टर (क्रमशः, प्रारंभिक प्रकार्यक) की धारणा अंतिम ऑब्जेक्ट क्रमशः, प्रारंभिक ऑब्जेक्ट) की धारणा का सामान्यीकरण है। | ||
=== अन्य गुण === | === अन्य गुण === | ||
| Line 64: | Line 62: | ||
* ''This article is based in part on [http://www.planetmath.org PlanetMath]'s [http://planetmath.org/encyclopedia/TerminalObjectsAndZeroObjectsExamplesOfInitialObjects.html article on examples of initial and terminal objects].'' | * ''This article is based in part on [http://www.planetmath.org PlanetMath]'s [http://planetmath.org/encyclopedia/TerminalObjectsAndZeroObjectsExamplesOfInitialObjects.html article on examples of initial and terminal objects].'' | ||
{{ | {{DEFAULTSORT:Initial And Terminal Objects}} | ||
[[Category:Created On 08/05/2023|Initial And Terminal Objects]] | |||
[[Category:Lua-based templates|Initial And Terminal Objects]] | |||
[[Category:Machine Translated Page|Initial And Terminal Objects]] | |||
[[Category:Pages with script errors|Initial And Terminal Objects]] | |||
[[Category: | [[Category:Templates Vigyan Ready|Initial And Terminal Objects]] | ||
[[Category: | [[Category:Templates that add a tracking category|Initial And Terminal Objects]] | ||
[[Category:Templates that generate short descriptions|Initial And Terminal Objects]] | |||
[[Category:Templates using TemplateData|Initial And Terminal Objects]] | |||
[[Category:ऑब्जेक्ट्स (श्रेणी सिद्धांत)|Initial And Terminal Objects]] | |||
[[Category:सीमाएं (श्रेणी सिद्धांत)|Initial And Terminal Objects]] | |||
Latest revision as of 16:45, 25 May 2023
श्रेणी सिद्धांत में, गणित की शाखा, श्रेणी C की प्रारंभिक ऑब्जेक्ट (गणित) C में I ऑब्जेक्ट है जैसे कि C में प्रत्येक ऑब्जेक्ट X के लिए है, ठीक I → X आकारिकी उपस्थित है।
दोहरी (श्रेणी सिद्धांत) धारणा टर्मिनल ऑब्जेक्ट (जिसे टर्मिनल तत्व भी कहा जाता है) की है: T टर्मिनल है यदि C में प्रत्येक ऑब्जेक्ट X के लिए सही आकारिकी X → T उपस्थित है | आरंभिक ऑब्जेक्ट्स को कोटर्मिनल या सार्वभौमिक भी कहा जाता है, और टर्मिनल ऑब्जेक्ट्स को अंतिम भी कहा जाता है।
यदि कोई ऑब्जेक्ट प्रारंभिक और अंतिम दोनों है, तो इसे शून्य ऑब्जेक्ट या प्रभावहीन ऑब्जेक्ट कहा जाता है। आंकित श्रेणी वह है जिसमें शून्य ऑब्जेक्ट होती है।
सख्त प्रारंभिक ऑब्जेक्ट I वह है जिसके लिए प्रत्येक आकारिकी में I समरूपता है।
उदाहरण
- रिक्त समूह, समूह की श्रेणी में अद्वितीय प्रारंभिक ऑब्जेक्ट है। प्रत्येक एक-तत्व समूह (सिंगलटन (गणित)) इस श्रेणी में एक अंतिम ऑब्जेक्ट है; कोई शून्य ऑब्जेक्ट नहीं है। इसी प्रकार, रिक्त स्थान शीर्ष में अद्वितीय प्रारंभिक ऑब्जेक्ट है, संस्थितिक रिक्त स्थान की श्रेणी और प्रत्येक एक-बिंदु स्थान इस श्रेणी में टर्मिनल ऑब्जेक्ट है |
- समूह और संबंधों के संबंधों की श्रेणी में, रिक्त समूह अद्वितीय प्रारंभिक ऑब्जेक्ट है, अद्वितीय टर्मिनल ऑब्जेक्ट है, और इसलिए अद्वितीय शून्य ऑब्जेक्ट है।
* बिंदु समुच्चय की श्रेणी में (जिनकी ऑब्जेक्ट विशिष्ट तत्व के साथ अरिक्त हैं; (A, a) से आकारिकी को (B, b) फंक्शन f : A → B होने के साथ f(a) = b), प्रत्येक सिंगलटन शून्य ऑब्जेक्ट है। इसी प्रकार, बिंदु स्थान की श्रेणी में, प्रत्येक सिंगलटन शून्य ऑब्जेक्ट है।
- जीआरपी में, समूहों की श्रेणी, कोई भी निम्न समूह शून्य ऑब्जेक्ट है। निम्न ऑब्जेक्ट भी AB में शून्य ऑब्जेक्ट है, एबेलियन समूहों की श्रेणी, Rng छद्म-वलयों की श्रेणी, R-मॉड, रिंग के ऊपर मॉड्यूल की श्रेणी, और K-वेक्ट, एक क्षेत्र पर वेक्टर रिक्त स्थान की श्रेणी विवरण के लिए शून्य ऑब्जेक्ट (बीजगणित) देखें। यह शून्य ऑब्जेक्ट शब्द की उत्पत्ति है।
- रिंग में, एकता और एकता-संरक्षण आकारिकी वाले छल्ले की श्रेणी, पूर्णांक Z की छल्ले प्रारंभिक ऑब्जेक्ट है। केवल तत्व 0 = 1 से युक्त शून्य वलय टर्मिनल ऑब्जेक्ट है।
- रिग में, रिग की श्रेणी (गणित) समूह और समूह-संरक्षण आकारिकी के साथ, प्राकृतिक संख्या N की रिग प्रारंभिक ऑब्जेक्ट है। शून्य रिग, जो कि शून्य रिंग है, जिसमें केवल एक तत्व 0 = 1 होता है, टर्मिनल ऑब्जेक्ट है।
- क्षेत्र में, क्षेत्र की श्रेणी में, कोई आरंभिक या अंतिम ऑब्जेक्ट नहीं होती है। चूँकि, निश्चित विशेषता वाले क्षेत्रों की उपश्रेणी में, प्रमुख क्षेत्र प्रारंभिक ऑब्जेक्ट है।
- कोई भी आंशिक रूप से निर्देशित किया गया समूह (P, ≤) को श्रेणी के रूप में व्याख्या किया जा सकता है: ऑब्जेक्ट P इसके तत्व हैं, और वहाँ से x एकल आकारिकी y है यदि x ≤ y इस श्रेणी में प्रारंभिक ऑब्जेक्ट है यदि P में सबसे कम अवयव है; इसका टर्मिनल ऑब्जेक्ट है यदि P का सबसे बड़ा तत्व है।
- कैट, आकारिकी के रूप में कार्य करने वालों के साथ छोटी श्रेणियों की श्रेणी में रिक्त श्रेणी 0 है (बिना किसी ऑब्जेक्ट और कोई आकारिकी के), प्रारंभिक ऑब्जेक्ट और टर्मिनल श्रेणी के रूप में, 1 (एकल समरूप आकारिकी के साथ एकल ऑब्जेक्ट के साथ), टर्मिनल ऑब्जेक्ट के रूप में होता है।
- योजना (गणित) की श्रेणी में, युक्ति (Z), पूर्णांकों के वलय के वलय का वर्णक्रम, अंतिम ऑब्जेक्ट है। रिक्त योजना (शून्य वलय के प्रमुख वर्णक्रम के बराबर) प्रारंभिक ऑब्जेक्ट है।
- आरेख (श्रेणी सिद्धांत) F की सीमा (श्रेणी सिद्धांत) F को शंकु की श्रेणी में टर्मिनल ऑब्जेक्ट के रूप में वर्णित किया जा सकता है। इसी प्रकार, F की कोलिमिट को F से सह-शंकु की श्रेणी में प्रारंभिक ऑब्जेक्ट के रूप में चित्रित किया जा सकता है।
- श्रेणी में ChR क्रमविनिमेय वलय R पर श्रृंखला परिसरों की संख्या, शून्य परिसर शून्य ऑब्जेक्ट है।
गुण
अस्तित्व और विशिष्टता
प्रारंभिक और अंतिम ऑब्जेक्ट को किसी श्रेणी में उपस्थित होने की आवश्यकता नहीं है। चूँकि, यदि वे उपस्थित हैं, तो वे अनिवार्य रूप से अद्वितीय हैं। विशेष रूप से, यदि I1 और I2 दो अलग-अलग प्रारंभिक ऑब्जेक्ट हैं, तो उनके बीच अद्वितीय समरूपता है। इसके अतिरिक्त, यदि I प्रारंभिक ऑब्जेक्ट है तो कोई भी ऑब्जेक्ट समावयवी है I भी एक प्रारंभिक ऑब्जेक्ट है। टर्मिनल ऑब्जेक्ट्स के लिए भी यही सच है।
पूर्ण श्रेणी के लिए प्रारंभिक ऑब्जेक्ट के लिए अस्तित्व प्रमेय है। विशेष प्रकार से, (स्थानीय रूप से छोटी श्रेणी) पूर्ण श्रेणी C में प्रारंभिक ऑब्जेक्ट है यदि कोई समूह I (not एक उचित वर्ग) उपस्थित है और I- [[अनुक्रमित परिवार|C]] कि ऑब्जेक्ट्स का अनुक्रमित समूह (Ki) जैसे कि C किसी भी ऑब्जेक्ट के लिए X के लिए, कुछ i ∈ I के लिए कम से कम आकारिकी Ki → X है।
समतुल्य फॉर्मूलेशन
श्रेणी में टर्मिनल ऑब्जेक्ट C को अद्वितीय रिक्त आरेख (श्रेणी सिद्धांत) की सीमा (श्रेणी सिद्धांत) 0 → C के रूप में भी परिभाषित किया जा सकता है| चूंकि रिक्त श्रेणी रूप से असतत श्रेणी है, टर्मिनल ऑब्जेक्ट को रिक्त प्रोडक्ट के रूप में माना जा सकता है (प्रोडक्ट वास्तव में असतत आरेख की सीमा {Xi} है, सामान्य रूप में)। प्रारंभिक ऑब्जेक्ट को रिक्त आरेख 0 → C की सीमा (श्रेणी सिद्धांत) है और इसे रिक्त योग प्रतिउत्पाद या श्रेणीबद्ध राशि के रूप में माना जा सकता है।
यह इस प्रकार है कि कोई मुक्त कारक जो सीमा को संरक्षित करता है, टर्मिनल ऑब्जेक्ट को टर्मिनल ऑब्जेक्ट पर ले जाएगा, और कोई भी फ़ैक्टर जो कोलिमिट को संरक्षित करता है, प्रारंभिक ऑब्जेक्ट को प्रारंभिक ऑब्जेक्ट में ले जाएगा। उदाहरण के लिए, मुक्त ऑब्जेक्ट के साथ किसी भी ठोस श्रेणी में प्रारंभिक ऑब्जेक्ट रिक्त समूह द्वारा उत्पन्न मुक्त ऑब्जेक्ट होती है (चूंकि मुक्त फ़ैक्टर, समूह करने के लिए संलग्न फ़ंक्टर (प्रकार्यक) के निकट छोड़ दिया जा रहा है, कोलिमिट्स को संरक्षित करता है)।
प्रारंभिक और टर्मिनल ऑब्जेक्ट को सार्वभौमिक गुण और आसन्न फ़ैक्टरों के संदर्भ में भी वर्णित किया जा सकता है। 1 को एकल ऑब्जेक्ट के साथ असतत श्रेणी (द्वारा चिह्नित) होने दें, और दें U : C → 1 1 के लिए अद्वितीय (निरंतर) फ़ैक्टर बनता है। फिर
- प्रारंभिक ऑब्जेक्ट I में C • से [[सार्वभौमिक रूपवाद|सार्वभौमिक रूपवाद U]] है | फ़ंक्टर जो • U को भेजता है, I के सटा हुआ है।
- टर्मिनल ऑब्जेक्ट T में C से सार्वभौमिक आकारिकी है U को •। फ़ंक्टर जो • U को भेजता है T के ठीक सटा हुआ है|
अन्य स्पष्ट निर्माणों से संबंध
उपयुक्त श्रेणी में प्रारंभिक या अंतिम ऑब्जेक्ट ढूंढने के संदर्भ में श्रेणी सिद्धांत में कई प्राकृतिक निर्माण तैयार किए जा सकते हैं।
- किसी ऑब्जेक्ट से एक सार्वभौमिक रूपवाद X प्रकार्यक के लिए U को अल्पविराम श्रेणी में प्रारंभिक ऑब्जेक्ट (X ↓ U) के रूप में परिभाषित किया जा सकता है | दोहरी प्रकार से, U से X तक सार्वभौमिक रूपवाद (U ↓ X) में टर्मिनल ऑब्जेक्ट है |
- आरेख की सीमा F एक शंकु(F) टर्मिनल ऑब्जेक्ट है, शंकु की श्रेणी F है। दुगनी प्रकार से, कोलिमिट F शंकु की श्रेणी में F प्रारंभिक ऑब्जेक्ट है |
- प्रतिनिधित्व योग्य संचालन F से समूह के तत्वों की श्रेणी में F प्रारंभिक ऑब्जेक्ट है |
- अंतिम फ़ैक्टर (क्रमशः, प्रारंभिक प्रकार्यक) की धारणा अंतिम ऑब्जेक्ट क्रमशः, प्रारंभिक ऑब्जेक्ट) की धारणा का सामान्यीकरण है।
अन्य गुण
- प्रारंभिक या अंतिम ऑब्जेक्ट का एंडोमोर्फिज्म मोनोइड I निम्न है: End(I) = Hom(I, I) = { idI }.
- यदि कोई श्रेणी C में 0 शून्य ऑब्जेक्ट है, फिर ऑब्जेक्ट X और Y में C कि किसी भी जोड़ी के लिए, अनूठी रचना X → 0 → Y से X को Y शून्य रूपवाद है।
- संदर्भ
- Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990). Abstract and Concrete Categories. The joy of cats (PDF). John Wiley & Sons. ISBN 0-471-60922-6. Zbl 0695.18001. Archived from the original (PDF) on 2015-04-21. Retrieved 2008-01-15.
- Pedicchio, Maria Cristina; Tholen, Walter, eds. (2004). Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge: Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001.
- Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001.
- This article is based in part on PlanetMath's article on examples of initial and terminal objects.
