श्रेणियों की समानता: Difference between revisions

Latest revision as of 15:47, 16 May 2023

श्रेणी सिद्धांत में, अमूर्त गणित की शाखा, श्रेणियों की समानता दो श्रेणी (गणित) के मध्य संबंध है जो यह स्थापित करती है कि यह श्रेणियां "अनिवार्य रूप से समान" हैं। गणित के अनेक क्षेत्रों से स्पष्ट तुल्यता के अनेक उदाहरण होते हैं। समानता स्थापित करने में संबंधित गणितीय संरचनाओं के मध्य मजबूत समानता प्रदर्शित करना सम्मिलित है। कुछ स्थितियों में, यह संरचनाएं सतही या सहज स्तर पर असंबंधित प्रतीत हो सकती हैं, जो धारणा को अधिक शक्तिशाली बनाती हैं। यह विभिन्न प्रकार की गणितीय संरचनाओं के मध्य प्रमेयों का "अनुवाद" करने का अवसर उत्पन्न करती है, यह जानते हुए कि उन प्रमेयों का आवश्यक अर्थ अनुवाद के माध्यम से संरक्षित है।

यदि कोई श्रेणी किसी अन्य श्रेणी के विपरीत (या दोहरी) के समान्तर है तब कोई श्रेणियों के द्वैत की बात करता है और कहता है कि दो श्रेणियां द्वैत समकक्ष हैं।

श्रेणियों की समानता में सम्मिलित श्रेणियों के मध्य ऑपरेटर होता है, जिसके लिए व्युत्क्रम समानता की आवश्यकता होती है। चूंकि, बीजगणितीय समूह में समरूपता के लिए सामान्य स्थिति के विपरीत, आकर्षक और इसके व्युत्क्रम का सम्मिश्रण अनिवार्य रूप से समानता मानचित्रण नहीं है। इसके अतिरिक्त यह पर्याप्त है कि प्रत्येक वस्तु इस रचना के अनुसार अपनी छवि के लिए स्वाभाविक रूप से 'प्राकृतिक परिवर्तन' होता है। इस प्रकार कोई भी फंक्शंस को समाकृतिकता के व्युत्क्रम के रूप में वर्णित कर सकता है। वास्तव में श्रेणियों के समरूपता की अवधारणा है जहां व्युत्क्रम समानता का सख्त रूप आवश्यक है, किन्तु यह 'समकक्ष' अवधारणा की तुलना में बहुत कम व्यावहारिक उपयोग होता है।

परिभाषा

औपचारिक रूप से, दो श्रेणियां सी और डी दी गई हैं, श्रेणियों की समानता में कारक एफ:सी → डी, कारक जी: डी →सी और दो प्राकृतिक समरूपता ε: एफजी→आई_डी और η: आई_सी→जीएफ सम्मिलित हैं। यहाँ एफजी: डी→डी और जीएफ:सी→सी, एफ और जी की संबंधित रचनाओं को दर्शाता है और आई_सी:सी→सी और आई_डी: डी → डी,सी और डी पर समानता को दर्शाता है, प्रत्येक वस्तु और आकारिकी को स्वयं निर्दिष्ट करता है। यदि एफ और जी प्रतिपरिवर्ती फलनकार हैं तब कोई इसके अतिरिक्त श्रेणियों के द्वैत की बात करता है।

उपरोक्त सभी डेटा को अधिकांशतः निर्दिष्ट नहीं किया जाता है। उदाहरण के लिए, हम कहते हैं कि श्रेणियां सी और डी समतुल्य हैं (क्रमशः द्वैत समतुल्य) यदि उनके मध्य तुल्यता (क्रमशः द्वैत) उपस्तिथ है। इसके अतिरिक्त, हम कह सकते हैं कि एफ "श्रेणियों की समानता" है यदि व्युत्क्रम कारक जी और उपरोक्त के रूप में प्राकृतिक समरूपताएं उपस्तिथ होती हैं। ध्यान दीजिए कि एफ का ज्ञान सामान्यतः जी और प्राकृतिक समरूपता के पुनर्निर्माण के लिए पर्याप्त नहीं है। इस प्रकार अनेक विकल्प हो सकते हैं (नीचे उदाहरण देखें)।

वैकल्पिक लक्षण वर्णन

रोचक एफ:सी → डी श्रेणियों के समानता उत्पन्न करता है और यदि यह साथ है।

पूर्ण कार्य करने वाला, अर्थात् सी की किन्‍हीं दो वस्तुओं सी₁ और सी₂ के लिए एफ द्वारा प्रेरित मानचित्र होम_सी(सी₁,सी₂) → होम_डी(एफसी₁,एफसी₂) आच्छादक है।
विश्वसनीय समानता, अर्थात् सी के किन्ही दो वस्तुओं सी₁ और सी₂ के लिए होम_सी(सी₁,सी₂) → होम_डी(एफसी₁,एफसी₂) एफ द्वारा प्रेरित अन्तःक्षेपण है और,
अनिवार्य रूप से विशेषण (सघन), अर्थात् डी में प्रत्येक वस्तु डी,सी में सी के लिए एफसी फॉर्म की वस्तु के लिए समरूप है।^[1]

यह अधिक उपयोगी और सामान्य रूप से प्रयुक्त मानदंड है जिससे कि किसी को स्पष्ट रूप से "व्युत्क्रम" जी और एफजी, जीएफ और समानता के मध्य प्राकृतिक समरूपता का निर्माण करने की आवश्यकता नहीं होती है। दूसरी ओर चूंकि उपरोक्त गुण स्पष्ट तुल्यता के अस्तित्व की जिम्मेदारी देते हैं (अंतर्निहित समूह सिद्धांत में पसंद के स्वयंसिद्ध का पर्याप्त रूप से मजबूत संस्करण दिया गया है), विलुप्त डेटा पूर्ण प्रकार से निर्दिष्ट नहीं है और अधिकांशतः अनेक विकल्प होते हैं। जब भी संभव हो विलुप्त निर्माणों को स्पष्ट रूप से निर्दिष्ट करना उचित विचार है। इस परिस्थिति के कारण इन गुणों वाले कारक को कभी-कभी "श्रेणियों की कमजोर समानता कहा जाता है। (दुर्भाग्य से यह होमोटॉपी सिद्धांत से शब्दावली के साथ संघर्ष करता है।)

आसन्न समानता की अवधारणा से भी घनिष्ठ संबंध होते है $F\dashv G$ , जहां हम कह सकते हैं कि $F:C\rightarrow D$ का बायां आसन्न है $G:D\rightarrow C$ , या इसी प्रकार जी, एफ का दाहिना सन्निकटन है। फिर सी और डी समतुल्य हैं (जैसा कि ऊपर परिभाषित किया गया है कि एफजी से आई_डी और आई_सी ,जीएफ तक प्राकृतिक समरूपताएं हैं) यदि $F\dashv G$ और एफ और जी दोनों पूर्ण और विश्वासयोग्य हैं।

जब सहायक कारक $F\dashv G$ दोनों पूर्ण और विश्वसनीय नहीं होते हैं, तब हम उनके आसन्न संबंध को श्रेणियों की "तुल्यता के कमजोर रूप" को व्यक्त करने के रूप में देख सकते हैं। यह मानते हुए कि संयोजनों के लिए प्राकृतिक परिवर्तन दिए गए हैं, यह सभी स्वरूप आवश्यक डेटा के स्पष्ट निर्माण की अनुमति देते हैं और कोई विकल्प सिद्धांतों की आवश्यकता नहीं होती है। इस प्रकार मुख्य संपत्ति जिसे यहां सिद्ध करना है वह यह है कि संयोजन का देश समरूपता है यदि सही आसन्न पूर्ण और विश्वसनीय समानता है।

उदाहरण

श्रेणी पर विचार करें $C$ में ही वस्तु है; $c$ और आकारिकी $1_{c}$ और श्रेणी $D$ दो वस्तुओं के साथ $d_{1}$ , $d_{2}$ और चार रूपवाद दो समानता रूपवाद $1_{d_{1}}$ , $1_{d_{2}}$ और दो समरूपताएं $\alpha \colon d_{1}\to d_{2}$ और $\beta \colon d_{2}\to d_{1}$ . श्रेणियां $C$ और $D$ समतुल्य हैं। हम (उदाहरण के लिए) कर सकते हैं $F$ मानचित्रण $c$ से $d_{1}$ और $G$ दोनों वस्तुओं का मानचित्र $D$ को $c$ और सभी रूपवाद करने के लिए $1_{c}$ होता है।
इसके विपरीत, श्रेणी $C$ वस्तु और आकारिकी के साथ श्रेणी के समतुल्य नहीं है अतः $E$ दो वस्तुओं के साथ और केवल दो समानता रूपों के साथ दो वस्तुओं में $E$ समरूपी नहीं हैं जिससे कि उनके मध्य कोई आकारिकी नहीं है। इस प्रकार कोई भी कार्यकर्ता $C$ से $E$ अनिवार्य रूप से विशेषण नहीं होता है।
श्रेणी पर विचार करें $C$ वस्तु के साथ $c$ और दो रूपवाद $1_{c},f\colon c\to c$ . के जाने $1_{c}$ पर समानता रूपवाद हो $c$ और समूह $f\circ f=1$ . बिल्कुल $C$ स्वयं के समतुल्य है, जिसे लेकर दिखाया जा सकता है $1_{c}$ कारक के मध्य आवश्यक प्राकृतिक समरूपता के स्थान पर $\mathbf {I} _{C}$ और स्वयं के लिये चूंकि यह भी सच है कि $f$ से प्राकृतिक समरूपता प्राप्त होती है $\mathbf {I} _{C}$ स्वयं को इसलिए यह जानकारी दी गई है कि समानता कारक श्रेणियों की समानता बनाते हैं, इस उदाहरण में कोई भी प्रत्येक दिशा के लिए दो प्राकृतिक समरूपताओं के मध्य चयन कर सकते हैं।
समुच्चयों और आंशिक कार्यों की श्रेणी नुकीले समुच्चयों और बिंदु-संरक्षण मानचित्रों की श्रेणी के समतुल्य है किन्तु समरूपी नहीं है।^[2]
श्रेणी पर विचार करें $C$ परिमित-आयामी की वास्तविक संख्या सदिश समष्टि और श्रेणी $D=\mathrm {Mat} (\mathbb {R} )$ सभी वास्तविक मैट्रिक्स (गणित) के (बाद की श्रेणी को योगात्मक श्रेणी पर लेख में समझाया गया है)। तब $C$ और $D$ समतुल्य हैं। इस प्रकार कारक $G\colon D\to C$ जो वस्तु को मानचित्र करता है अतः $A_{n}$ का $D$ सदिश अंतरिक्ष के लिए $\mathbb {R} ^{n}$ और मेट्रिसेस में $D$ संबंधित रेखीय मानचित्रों के लिए पूर्ण, विश्वसनीय और अनिवार्य रूप से विशेषण है।
बीजगणितीय ज्यामिति के केंद्रीय विषयों में से है एफ़ाइन योजनाओं की श्रेणी और क्रमविनिमेय वलयों की श्रेणी का द्वंद्व कार्य करने वाला $G$ प्रत्येक क्रमविनिमेय छल्ले को उसके वर्णक्रम से जोड़ता है, जो कि छल्ले के प्रमुख आदर्शों द्वारा परिभाषित योजना है। इसका जोड़ $F$ प्रत्येक एफ़िन योजना से संबद्ध वैश्विक वर्गों को अपने छल्ले से जोड़ता है।
कार्यात्मक विश्लेषण में समानता के साथ क्रमविनिमेय सी*-बीजगणित की श्रेणी कॉम्पैक्ट स्थान हौसडॉर्फ रिक्त स्थान की श्रेणी के विपरीत रूप से समतुल्य है। इस द्वैत के अनुसार, प्रत्येक कॉम्पैक्ट हॉसडॉर्फ रिक्त स्थान $X$ निरंतर जटिल-मूल्यवान कार्यों के बीजगणित के साथ जुड़ा हुआ है। इस प्रकार $X$ और प्रत्येक क्रमविनिमेय सी*-बीजगणित इसके अधिकतम आदर्शों के स्थान से जुड़ा है। यह गेलफैंड प्रतिनिधित्व है।
जाली सिद्धांत में, प्रतिनिधित्व प्रमेयों के आधार पर अनेक द्वैत हैं, जो जाली के कुछ वर्गों को संस्थानिक रिक्त स्थान के वर्गों से जोड़ते हैं। संभवतः इस प्रकार का सबसे प्रसिद्ध प्रमेय बूलियन बीजगणित के लिए स्टोन का प्रतिनिधित्व प्रमेय है, जो स्टोन द्वैत की सामान्य योजना के अंदर विशेष उदाहरण है। प्रत्येक बूलियन बीजगणित (संरचना) $B$ के जाली सिद्धांत के समूह पर विशिष्ट सांस्थिति के लिए मानचित्र किया गया है । इस प्रकार $B$ इसके विपरीत, किसी भी सांस्थिति के लिए क्लोपेन (अर्थात् बंद और खुला) उपसमुच्चय बूलियन बीजगणित उत्पन्न करते हैं। बूलियन बीजगणित (उनके समरूपता के साथ) और स्टोन रिक्त स्थान (निरंतर मानचित्रण के साथ) की श्रेणी के मध्य द्वंद्व प्राप्त करता है। स्टोन द्वैत का अन्य स्थिति बिरखॉफ का प्रतिनिधित्व प्रमेय है जो परिमित आंशिक आदेश और परिमित वितरण जाल के मध्य द्वैत बताता है।
व्यर्थ सांस्थिति में स्थानिक स्थानों की श्रेणी को शांत स्थानों की श्रेणी के दोहरे के समान्तर जाना जाता है।
दो छल्ले (गणित) आर और एस के लिए, उत्पाद श्रेणी आर-'मॉड' × एस-'मॉड' (आर×एस)-'मॉड' के समान्तर है।
कोई भी वर्ग उसके सारांश (श्रेणी सिद्धांत) के समतुल्य होता है।

गुण

अंगूठे के नियम के रूप में, श्रेणियों की समानता सभी "श्रेणीबद्ध" अवधारणाओं और गुणों को संरक्षित करती है। यदि एफ :सी → डी तुल्यता है, तब निम्नलिखित कथन सभी सत्य हैं।

सी शून्य वस्तु सी प्रारंभिक वस्तु (या अंतिम वस्तु, या शून्य वस्तु) है, यदि एफसी, डी का प्रारंभिक वस्तु (या अंतिम वस्तु, या शून्य वस्तु) है।
सी में आकृतिवाद α एकरूपता (या अधिरूपता, या समाकृतिकता) है, यदि एफα, डी में एकरूपता (या अधिरूपता, या समाकृतिकता) है।
फलक H : आई →सी की सीमा (श्रेणी सिद्धांत) हैl यदि फलक एफH : आई → डी की सीमा (श्रेणी सिद्धांत) एफ है। यह दूसरों के मध्य तुल्यकारक (गणित), उत्पाद (श्रेणी सिद्धांत) और सह-उत्पादों पर प्रयुक्त किया जा सकता है। इसे कर्नेल (श्रेणी सिद्धांत) और कोकर्नेल पर प्रयुक्त करते हुए, हम देखते हैं कि तुल्यता एफ नियमित श्रेणी त्रुटिहीन अनुक्रम और नियमित समानता है।
सी कार्तीय बंद श्रेणी (या शीर्ष) है यदि डी कार्तीय बंद (या शीर्ष) है।

द्वैत "सभी अवधारणाओं को चारों ओर घूर्णन करते हैं"। वह प्रारंभिक वस्तुओं को अंतिम वस्तुओं में परिवर्तित कर देते हैं। इस प्रकार एकरूपता को अधिरूपता में, तत्त्व को कर्नेल में, कोलिमिट्स में सीमित कर देते हैं आदि।

यदि एफ :सी → डी श्रेणियों की तुल्यता है और जी₁ और जी₂ एफ के दो व्युत्क्रम हैं, तब जी₁ और जी₂ स्वाभाविक रूप से समरूप हैं।

यदि एफ:सी → डी श्रेणियों का समकक्ष है और यदि सी पूर्ववर्ती श्रेणी (या योजक श्रेणी, या एबेलियन श्रेणी) है, तब डी को इस प्रकार के पूर्ववर्ती श्रेणी (या योजक श्रेणी, या एबेलियन श्रेणी) में परिवर्तित कर दिया जा सकता है। जिस प्रकार से एफ योगात्मक कारक बन जाता है। दूसरी ओर, योज्य श्रेणियों के मध्य कोई भी समानता आवश्यक रूप से योज्य है। (ध्यान दीजिए कि बाद वाला कथन पूर्ववर्ती श्रेणियों के मध्य समानता के लिए सही नहीं है।)

श्रेणी सी का 'स्वत: तुल्यता' समकक्ष एफ:सी →सी है। इस प्रकार सी की स्वतः तुल्यता संरचना के अंतर्गत समूह (गणित) बनाती है यदि हम दो स्वतः तुल्यताओं पर विचार करते हैं जो समान होने के लिए स्वाभाविक रूप से समरूप हैं। यह समूह सी की आवश्यक समरूपता को दर्शाता है।

यह भी देखें

गणितीय संरचनाओं की समतुल्य परिभाषाएँ

संदर्भ

↑ Mac Lane (1998), Theorem IV.4.1
↑ Lutz Schröder (2001). "Categories: a free tour". In Jürgen Koslowski and Austin Melton (ed.). श्रेणीबद्ध दृष्टिकोण. Springer Science & Business Media. p. 10. ISBN 978-0-8176-4186-3.

equivalence of categories at the nLab
"Equivalence of categories", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Mac Lane, Saunders (1998). Categories for the working mathematician. New York: Springer. pp. xii+314. ISBN 0-387-98403-8.

[1] Mac Lane (1998), Theorem IV.4.1

[KoslowskiMelton2001-2] Lutz Schröder (2001). "Categories: a free tour". In Jürgen Koslowski and Austin Melton (ed.). श्रेणीबद्ध दृष्टिकोण. Springer Science & Business Media. p. 10. ISBN 978-0-8176-4186-3.

[1]

[2]

@@ Line 1: / Line 1: @@
-{{Use American English|date = January 2019}}
 {{Short description|Abstract mathematics relationship}}
-{{More footnotes|date=June 2015}}
+[[श्रेणी सिद्धांत]] में, अमूर्त गणित की शाखा, '''श्रेणियों की समानता''' दो [[श्रेणी (गणित)]] के मध्य संबंध है जो यह स्थापित करती है कि यह श्रेणियां "अनिवार्य रूप से समान" हैं। गणित के अनेक क्षेत्रों से स्पष्ट तुल्यता के अनेक उदाहरण होते हैं। समानता स्थापित करने में संबंधित गणितीय संरचनाओं के मध्य मजबूत समानता प्रदर्शित करना सम्मिलित है। कुछ स्थितियों में, यह संरचनाएं सतही या सहज स्तर पर असंबंधित प्रतीत हो सकती हैं, जो धारणा को अधिक शक्तिशाली बनाती हैं। यह विभिन्न प्रकार की गणितीय संरचनाओं के मध्य प्रमेयों का "अनुवाद" करने का अवसर उत्पन्न करती है, यह जानते हुए कि उन प्रमेयों का आवश्यक अर्थ अनुवाद के माध्यम से संरक्षित है।
-[[श्रेणी सिद्धांत]] में, अमूर्त गणित की एक शाखा, श्रेणियों की समानता दो [[श्रेणी (गणित)]] के बीच एक संबंध है जो यह स्थापित करती है कि ये श्रेणियां अनिवार्य रूप से समान हैं। गणित के कई क्षेत्रों से स्पष्ट तुल्यता के कई उदाहरण हैं। एक समानता स्थापित करने में संबंधित गणितीय संरचनाओं के बीच मजबूत समानता प्रदर्शित करना शामिल है। कुछ मामलों में, ये संरचनाएं एक सतही या सहज स्तर पर असंबंधित प्रतीत हो सकती हैं, जो धारणा को काफी शक्तिशाली बनाती हैं: यह विभिन्न प्रकार की गणितीय संरचनाओं के बीच प्रमेयों का अनुवाद करने का अवसर पैदा करती है, यह जानते हुए कि उन प्रमेयों का आवश्यक अर्थ संरक्षित है अनुवाद।
-यदि कोई श्रेणी किसी अन्य श्रेणी के द्वैत (श्रेणी सिद्धांत) के विपरीत (या द्वैत) के बराबर है तो कोई बोलता है
+यदि कोई श्रेणी किसी अन्य श्रेणी के विपरीत (या दोहरी) के समान्तर है तब कोई '''श्रेणियों के द्वैत''' की बात करता है और कहता है कि दो '''श्रेणियां द्वैत''' समकक्ष हैं।
-श्रेणियों का एक द्वैत, और कहता है कि दो श्रेणियां द्वैत समकक्ष हैं।
-श्रेणियों की समानता में शामिल श्रेणियों के बीच एक [[ऑपरेटर]] होता है, जिसके लिए व्युत्क्रम फ़ैक्टर की आवश्यकता होती है। हालांकि, एक बीजगणितीय सेटिंग में समरूपता के लिए सामान्य स्थिति के विपरीत, मज़ेदार और इसके व्युत्क्रम का सम्मिश्रण अनिवार्य रूप से पहचान मानचित्रण नहीं है। इसके बजाय यह पर्याप्त है कि प्रत्येक वस्तु इस रचना के तहत अपनी छवि के लिए '[[प्राकृतिक परिवर्तन]]' हो। इस प्रकार कोई भी फंक्शंस को [[ समाकृतिकता ]] के व्युत्क्रम के रूप में वर्णित कर सकता है। वास्तव में श्रेणियों के समरूपता की एक अवधारणा है जहां व्युत्क्रम फ़ैक्टर का एक सख्त रूप आवश्यक है, लेकिन यह 'समकक्ष' अवधारणा की तुलना में बहुत कम व्यावहारिक उपयोग है।
+श्रेणियों की समानता में सम्मिलित श्रेणियों के मध्य [[ऑपरेटर]] होता है, जिसके लिए व्युत्क्रम समानता की आवश्यकता होती है। चूंकि, बीजगणितीय समूह में समरूपता के लिए सामान्य स्थिति के विपरीत, आकर्षक और इसके व्युत्क्रम का सम्मिश्रण अनिवार्य रूप से समानता मानचित्रण नहीं है। इसके अतिरिक्त यह पर्याप्त है कि प्रत्येक वस्तु इस रचना के अनुसार अपनी छवि के लिए स्वाभाविक रूप से '[[प्राकृतिक परिवर्तन]]' होता है। इस प्रकार कोई भी फंक्शंस को [[ समाकृतिकता |समाकृतिकता]] के व्युत्क्रम के रूप में वर्णित कर सकता है। वास्तव में श्रेणियों के समरूपता की अवधारणा है जहां व्युत्क्रम समानता का सख्त रूप आवश्यक है, किन्तु यह 'समकक्ष' अवधारणा की तुलना में बहुत कम व्यावहारिक उपयोग होता है।
 == परिभाषा ==
-औपचारिक रूप से, दो श्रेणियां C और D दी गई हैं, श्रेणियों की एक समानता में एक फ़ंक्टर F: C → D, एक फ़ंक्टर G: D → C, और दो प्राकृतिक समरूपता ε: FG→'I' शामिल हैं।<sub>''D''</sub> और η: मैं<sub>''C''</sub>→जीएफ। यहाँ FG: D→D और GF: C→C, F और G की संबंधित रचनाओं को दर्शाता है, और 'I'<sub>''C''</sub>: C→C और 'मैं'<sub>''D''</sub>: डी → डी सी और डी पर पहचान फ़ैक्टरों को दर्शाता है, प्रत्येक वस्तु और आकारिकी को स्वयं निर्दिष्ट करता है। यदि F और G प्रतिपरिवर्ती फलनकार हैं तो कोई इसके बजाय श्रेणियों के द्वैत की बात करता है।
+औपचारिक रूप से, दो श्रेणियां सी और डी दी गई हैं, श्रेणियों की समानता में कारक एफ:सी → डी, कारक जी: डी →सी और दो प्राकृतिक समरूपता ε: एफजी→आई<sub>डी</sub> और η: आई<sub>सी</sub>→जीएफ सम्मिलित हैं। यहाँ एफजी: डी→डी और जीएफ:सी→सी, एफ और जी की संबंधित रचनाओं को दर्शाता है और आई<sub>सी</sub>:सी→सी और आई<sub>डी</sub>: डी → डी,सी और डी पर समानता को दर्शाता है, प्रत्येक वस्तु और आकारिकी को स्वयं निर्दिष्ट करता है। यदि एफ और जी प्रतिपरिवर्ती फलनकार हैं तब कोई इसके अतिरिक्त श्रेणियों के द्वैत की बात करता है।
-उपरोक्त सभी डेटा को अक्सर निर्दिष्ट नहीं किया जाता है। उदाहरण के लिए, हम कहते हैं कि श्रेणियां C और D समतुल्य हैं (क्रमशः द्वैत समतुल्य) यदि उनके बीच एक तुल्यता (क्रमशः द्वैत) मौजूद है। इसके अलावा, हम कहते हैं कि एफ श्रेणियों की एक समानता है यदि एक व्युत्क्रम कारक जी और उपरोक्त के रूप में प्राकृतिक समरूपताएं मौजूद हैं। ध्यान दें कि एफ का ज्ञान आम तौर पर जी और प्राकृतिक समरूपता के पुनर्निर्माण के लिए पर्याप्त नहीं है: कई विकल्प हो सकते हैं (नीचे उदाहरण देखें)।
+उपरोक्त सभी डेटा को अधिकांशतः निर्दिष्ट नहीं किया जाता है। उदाहरण के लिए, हम कहते हैं कि श्रेणियां सी और डी समतुल्य हैं (क्रमशः द्वैत समतुल्य) यदि उनके मध्य तुल्यता (क्रमशः द्वैत) उपस्तिथ है। इसके अतिरिक्त, हम कह सकते हैं कि एफ "श्रेणियों की समानता" है यदि व्युत्क्रम कारक जी और उपरोक्त के रूप में प्राकृतिक समरूपताएं उपस्तिथ होती हैं। ध्यान दीजिए कि एफ का ज्ञान सामान्यतः जी और प्राकृतिक समरूपता के पुनर्निर्माण के लिए पर्याप्त नहीं है। इस प्रकार अनेक विकल्प हो सकते हैं (नीचे उदाहरण देखें)।
 == वैकल्पिक लक्षण वर्णन ==
-एक मज़ेदार एफ: सी → डी श्रेणियों के समानता उत्पन्न करता है यदि और केवल अगर यह एक साथ है:
+रोचक एफ:सी → डी श्रेणियों के समानता उत्पन्न करता है और यदि यह साथ है।
-* [[पूर्ण काम करनेवाला]], यानी किन्‍हीं दो ऑब्‍जेक्‍ट्स के लिए c<sub>1</sub> और सी<sub>2</sub> सी का, नक्शा होम<sub>''C''</sub>(सी<sub>1</sub>,सी<sub>2</sub>) → उसे<sub>''D''</sub>(एफसी<sub>1</sub>, एफसी<sub>2</sub>) एफ द्वारा प्रेरित [[विशेषण]] है;
+* [[पूर्ण काम करनेवाला|पूर्ण कार्य करने वाला]], अर्थात् सी की किन्‍हीं दो वस्तुओं सी<sub>1</sub> और सी<sub>2</sub> के लिए एफ द्वारा प्रेरित मानचित्र होम<sub>सी</sub>(सी<sub>1</sub>,सी<sub>2</sub>) → होम<sub>डी</sub>(एफसी<sub>1</sub>,एफसी<sub>2</sub>) आच्छादक है।
-* वफ़ादार फ़ैक्टर, यानी किन्ही दो वस्तुओं के लिए c<sub>1</sub> और सी<sub>2</sub> सी का, नक्शा होम<sub>''C''</sub>(सी<sub>1</sub>,सी<sub>2</sub>) → उसे<sub>''D''</sub>(एफसी<sub>1</sub>, एफसी<sub>2</sub>) एफ द्वारा प्रेरित [[इंजेक्शन]] है; और
+* विश्वसनीय समानता, अर्थात् सी के किन्ही दो वस्तुओं सी<sub>1</sub> और सी<sub>2</sub> के लिए होम<sub>सी</sub>(सी<sub>1</sub>,सी<sub>2</sub>) → होम<sub>डी</sub>(एफसी<sub>1</sub>,एफसी<sub>2</sub>) एफ द्वारा प्रेरित [[इंजेक्शन|अन्तःक्षेपण]] है और,
-* अनिवार्य रूप से विशेषण फंक्टर | अनिवार्य रूप से विशेषण (घने), यानी डी में प्रत्येक वस्तु डी, सी में सी के लिए एफसी के रूप में एक वस्तु के लिए आइसोमॉर्फिक है।<ref>Mac Lane (1998), Theorem IV.4.1</ref>
+* अनिवार्य रूप से विशेषण (सघन), अर्थात् डी में प्रत्येक वस्तु डी,सी में सी के लिए एफसी फॉर्म की वस्तु के लिए समरूप है।<ref>Mac Lane (1998), Theorem IV.4.1</ref>
-यह एक काफी उपयोगी और सामान्य रूप से लागू मानदंड है, क्योंकि किसी को स्पष्ट रूप से व्युत्क्रम G और FG, GF और पहचान फ़ैक्टरों के बीच प्राकृतिक समरूपता का निर्माण करने की आवश्यकता नहीं है। दूसरी ओर, हालांकि उपरोक्त गुण एक स्पष्ट तुल्यता के अस्तित्व की गारंटी देते हैं (अंतर्निहित सेट सिद्धांत में पसंद के स्वयंसिद्ध का पर्याप्त रूप से मजबूत संस्करण दिया गया है), लापता डेटा पूरी तरह से निर्दिष्ट नहीं है, और अक्सर कई विकल्प होते हैं। जब भी संभव हो, लापता निर्माणों को स्पष्ट रूप से निर्दिष्ट करना एक अच्छा विचार है।
+यह अधिक उपयोगी और सामान्य रूप से प्रयुक्त मानदंड है जिससे कि किसी को स्पष्ट रूप से "व्युत्क्रम" जी और एफजी, जीएफ और समानता के मध्य प्राकृतिक समरूपता का निर्माण करने की आवश्यकता नहीं होती है। दूसरी ओर चूंकि उपरोक्त गुण स्पष्ट तुल्यता के अस्तित्व की जिम्मेदारी देते हैं (अंतर्निहित समूह सिद्धांत में पसंद के स्वयंसिद्ध का पर्याप्त रूप से मजबूत संस्करण दिया गया है), विलुप्त डेटा पूर्ण प्रकार से निर्दिष्ट नहीं है और अधिकांशतः अनेक विकल्प होते हैं। जब भी संभव हो विलुप्त निर्माणों को स्पष्ट रूप से निर्दिष्ट करना उचित विचार है। इस परिस्थिति के कारण इन गुणों वाले कारक को कभी-कभी "श्रेणियों की कमजोर समानता कहा जाता है। (दुर्भाग्य से यह [[होमोटॉपी प्रकार सिद्धांत|होमोटॉपी सिद्धांत]] से शब्दावली के साथ संघर्ष करता है।)
-इस परिस्थिति के कारण, इन गुणों वाले फ़नकार को कभी-कभी 'श्रेणियों की कमजोर समानता' कहा जाता है। (दुर्भाग्य से यह [[होमोटॉपी प्रकार सिद्धांत]] से शब्दावली के साथ संघर्ष करता है।)
-आसन्न फ़ैक्टरों की अवधारणा से भी घनिष्ठ संबंध है <math>F\dashv G</math>, जहां हम कहते हैं <math>F:C\rightarrow D</math> का बायां जोड़ है <math>G:D\rightarrow C</math>, या इसी तरह, G, F का दाहिना सन्निकटन है। फिर C और D समतुल्य हैं (जैसा कि ऊपर परिभाषित किया गया है कि FG से 'I' तक प्राकृतिक समरूपताएं हैं)<sub>''D''</sub> और मैं<sub>''C''</sub> जीएफ के लिए) अगर और केवल अगर <math>F\dashv G</math> और F और G दोनों पूर्ण और विश्वासयोग्य हैं।
+आसन्न समानता की अवधारणा से भी घनिष्ठ संबंध होते है <math>F\dashv G</math>, जहां हम कह सकते हैं कि <math>F:C\rightarrow D</math> का बायां आसन्न है <math>G:D\rightarrow C</math>, या इसी प्रकार जी, एफ का दाहिना सन्निकटन है। फिर सी और डी समतुल्य हैं (जैसा कि ऊपर परिभाषित किया गया है कि एफजी से आई<sub>डी</sub> और आई<sub>सी</sub> ,जीएफ तक प्राकृतिक समरूपताएं हैं) यदि <math>F\dashv G</math> और एफ और जी दोनों पूर्ण और विश्वासयोग्य हैं।
-जब सहायक कारक <math>F\dashv G</math> पूर्ण और विश्वसनीय दोनों नहीं हैं, तो हम उनके आसन्न संबंध को श्रेणियों की तुल्यता के कमजोर रूप को व्यक्त करने के रूप में देख सकते हैं। यह मानते हुए कि संयोजनों के लिए प्राकृतिक परिवर्तन दिए गए हैं, ये सभी फॉर्मूलेशन आवश्यक डेटा के स्पष्ट निर्माण की अनुमति देते हैं, और कोई विकल्प सिद्धांतों की आवश्यकता नहीं होती है। मुख्य संपत्ति जिसे यहां साबित करना है वह यह है कि एक संयोजन का देश एक समरूपता है अगर और केवल अगर सही आसन्न एक पूर्ण और वफादार फ़ैक्टर है।
+जब सहायक कारक <math>F\dashv G</math> दोनों पूर्ण और विश्वसनीय नहीं होते हैं, तब हम उनके आसन्न संबंध को श्रेणियों की "तुल्यता के कमजोर रूप" को व्यक्त करने के रूप में देख सकते हैं। यह मानते हुए कि संयोजनों के लिए प्राकृतिक परिवर्तन दिए गए हैं, यह सभी स्वरूप आवश्यक डेटा के स्पष्ट निर्माण की अनुमति देते हैं और कोई विकल्प सिद्धांतों की आवश्यकता नहीं होती है। इस प्रकार मुख्य संपत्ति जिसे यहां सिद्ध करना है वह यह है कि संयोजन का देश समरूपता है यदि सही आसन्न पूर्ण और विश्वसनीय समानता है।
 == उदाहरण ==
-* श्रेणी पर विचार करें <math>C</math> एक ही वस्तु होना <math>c</math> और एक एकल morphism <math>1_{c}</math>, और श्रेणी <math>D</math> दो वस्तुओं के साथ <math>d_{1}</math>, <math>d_{2}</math> और चार morphisms: दो पहचान morphisms <math>1_{d_{1}}</math>, <math>1_{d_{2}}</math> और दो समरूपताएं <math>\alpha \colon d_{1} \to d_{2}</math> और <math>\beta \colon d_{2} \to d_{1}</math>. श्रेणियां <math>C</math> और <math>D</math> समतुल्य हैं; हम (उदाहरण के लिए) कर सकते हैं <math>F</math> नक्शा <math>c</math> को <math>d_{1}</math> और <math>G</math> की दोनों वस्तुओं को मैप करें <math>D</math> को <math>c</math> और सभी morphisms करने के लिए <math>1_{c}</math>.
+* श्रेणी पर विचार करें <math>C</math> में ही वस्तु है; <math>c</math> और आकारिकी <math>1_{c}</math> और श्रेणी <math>D</math> दो वस्तुओं के साथ <math>d_{1}</math>, <math>d_{2}</math> और चार रूपवाद दो समानता रूपवाद <math>1_{d_{1}}</math>, <math>1_{d_{2}}</math> और दो समरूपताएं <math>\alpha \colon d_{1} \to d_{2}</math> और <math>\beta \colon d_{2} \to d_{1}</math>. श्रेणियां <math>C</math> और <math>D</math> समतुल्य हैं। हम (उदाहरण के लिए) कर सकते हैं <math>F</math> मानचित्रण <math>c</math> से <math>d_{1}</math> और <math>G</math> दोनों वस्तुओं का मानचित्र <math>D</math> को <math>c</math> और सभी रूपवाद करने के लिए <math>1_{c}</math> होता है।
-* इसके विपरीत, श्रेणी <math>C</math> एक वस्तु और एक आकृतिवाद के साथ श्रेणी के समतुल्य नहीं है <math>E</math> दो वस्तुओं और केवल दो पहचान रूपों के साथ। दो वस्तुओं में <math>E</math> समरूपी नहीं हैं क्योंकि उनके बीच कोई आकारिकी नहीं है। इस प्रकार कोई भी कार्यकर्ता <math>C</math> को <math>E</math> अनिवार्य रूप से विशेषण नहीं होगा।
+* इसके विपरीत, श्रेणी <math>C</math> वस्तु और आकारिकी के साथ श्रेणी के समतुल्य नहीं है अतः <math>E</math> दो वस्तुओं के साथ और केवल दो समानता रूपों के साथ दो वस्तुओं में <math>E</math> समरूपी नहीं हैं जिससे कि उनके मध्य कोई आकारिकी नहीं है। इस प्रकार कोई भी कार्यकर्ता <math>C</math> से <math>E</math> अनिवार्य रूप से विशेषण नहीं होता है।
-* एक श्रेणी पर विचार करें <math>C</math> एक वस्तु के साथ <math>c</math>, और दो morphisms <math>1_{c}, f \colon c \to c</math>. होने देना <math>1_{c}</math> पहचान morphism पर हो <math>c</math> और सेट करें <math>f \circ f = 1</math>. बिल्कुल, <math>C</math> स्वयं के समतुल्य है, जिसे लेकर दिखाया जा सकता है <math>1_{c}</math> फ़ंक्टर के बीच आवश्यक प्राकृतिक समरूपता के स्थान पर <math>\mathbf{I}_{C}</math> और खुद। हालांकि, यह भी सच है <math>f</math> से एक प्राकृतिक समरूपता प्राप्त करता है <math>\mathbf{I}_{C}</math> खुद को। इसलिए, यह जानकारी दी गई है कि पहचान कारक श्रेणियों की समानता बनाते हैं, इस उदाहरण में अभी भी प्रत्येक दिशा के लिए दो प्राकृतिक समरूपताओं के बीच चयन कर सकते हैं।
+* श्रेणी पर विचार करें <math>C</math> वस्तु के साथ <math>c</math> और दो रूपवाद <math>1_{c}, f \colon c \to c</math>. के जाने <math>1_{c}</math> पर समानता रूपवाद हो <math>c</math> और समूह <math>f \circ f = 1</math>. बिल्कुल <math>C</math> स्वयं के समतुल्य है, जिसे लेकर दिखाया जा सकता है <math>1_{c}</math> कारक के मध्य आवश्यक प्राकृतिक समरूपता के स्थान पर <math>\mathbf{I}_{C}</math> और स्वयं के लिये चूंकि यह भी सच है कि <math>f</math> से प्राकृतिक समरूपता प्राप्त होती है <math>\mathbf{I}_{C}</math> स्वयं को इसलिए यह जानकारी दी गई है कि समानता कारक श्रेणियों की समानता बनाते हैं, इस उदाहरण में कोई भी प्रत्येक दिशा के लिए दो प्राकृतिक समरूपताओं के मध्य चयन कर सकते हैं।
-* समुच्चयों और आंशिक कार्यों की श्रेणी नुकीले समुच्चयों और बिंदु-संरक्षण मानचित्रों की श्रेणी के समतुल्य है लेकिन समरूपी नहीं है।<ref name="KoslowskiMelton2001">{{cite book|editor=Jürgen Koslowski and Austin Melton|title=श्रेणीबद्ध दृष्टिकोण|year=2001|publisher=Springer Science & Business Media|isbn=978-0-8176-4186-3|page=10|author=Lutz Schröder|chapter=Categories: a free tour}}</ref>
+* समुच्चयों और आंशिक कार्यों की श्रेणी नुकीले समुच्चयों और बिंदु-संरक्षण मानचित्रों की श्रेणी के समतुल्य है किन्तु समरूपी नहीं है।<ref name="KoslowskiMelton2001">{{cite book|editor=Jürgen Koslowski and Austin Melton|title=श्रेणीबद्ध दृष्टिकोण|year=2001|publisher=Springer Science & Business Media|isbn=978-0-8176-4186-3|page=10|author=Lutz Schröder|chapter=Categories: a free tour}}</ref>
-* श्रेणी पर विचार करें <math>C</math> सदिश समष्टि के परिमित-आयाम की [[वास्तविक संख्या]] सदिश समष्टि, और श्रेणी <math>D = \mathrm{Mat}(\mathbb{R})</math> सभी वास्तविक [[मैट्रिक्स (गणित)]] के (बाद की श्रेणी को योगात्मक श्रेणी पर लेख में समझाया गया है)। तब <math>C</math> और <math>D</math> समतुल्य हैं: कारक <math>G \colon D \to C</math> जो वस्तु को मैप करता है <math>A_{n}</math> का <math>D</math> वेक्टर अंतरिक्ष के लिए <math>\mathbb{R}^{n}</math> और मेट्रिसेस में <math>D</math> संबंधित रेखीय मानचित्रों के लिए पूर्ण, विश्वसनीय और अनिवार्य रूप से विशेषण है।
+* श्रेणी पर विचार करें <math>C</math> परिमित-आयामी की [[वास्तविक संख्या]] सदिश समष्टि और श्रेणी <math>D = \mathrm{Mat}(\mathbb{R})</math> सभी वास्तविक [[मैट्रिक्स (गणित)]] के (बाद की श्रेणी को योगात्मक श्रेणी पर लेख में समझाया गया है)। तब <math>C</math> और <math>D</math> समतुल्य हैं। इस प्रकार कारक <math>G \colon D \to C</math> जो वस्तु को मानचित्र करता है अतः <math>A_{n}</math> का <math>D</math> सदिश अंतरिक्ष के लिए <math>\mathbb{R}^{n}</math> और मेट्रिसेस में <math>D</math> संबंधित रेखीय मानचित्रों के लिए पूर्ण, विश्वसनीय और अनिवार्य रूप से विशेषण है।
-* [[बीजगणितीय ज्यामिति]] के केंद्रीय विषयों में से एक है एफ़ाइन योजनाओं की श्रेणी और क्रमविनिमेय वलयों की श्रेणी का द्वंद्व। काम करनेवाला <math>G</math> प्रत्येक कम्यूटेटिव रिंग को एक रिंग के अपने स्पेक्ट्रम से जोड़ता है, जो कि रिंग के प्रमुख आदर्शों द्वारा परिभाषित योजना है। इसका जोड़ <math>F</math> प्रत्येक एफ़िन योजना से संबद्ध वैश्विक वर्गों की अपनी अंगूठी।
+* [[बीजगणितीय ज्यामिति]] के केंद्रीय विषयों में से है एफ़ाइन योजनाओं की श्रेणी और क्रमविनिमेय वलयों की श्रेणी का द्वंद्व कार्य करने वाला <math>G</math> प्रत्येक क्रमविनिमेय छल्ले को उसके वर्णक्रम से जोड़ता है, जो कि छल्ले के प्रमुख आदर्शों द्वारा परिभाषित योजना है। इसका जोड़ <math>F</math> प्रत्येक एफ़िन योजना से संबद्ध वैश्विक वर्गों को अपने छल्ले से जोड़ता है।
-* [[कार्यात्मक विश्लेषण]] में पहचान के साथ क्रमविनिमेय सी*[[सी * - बीजगणित]] की श्रेणी [[ कॉम्पैक्ट जगह ]] हौसडॉर्फ स्पेस की श्रेणी के विपरीत रूप से समतुल्य है। इस द्वैत के तहत, हर कॉम्पैक्ट [[हॉसडॉर्फ स्पेस]] <math>X</math> निरंतर जटिल-मूल्यवान कार्यों के बीजगणित के साथ जुड़ा हुआ है <math>X</math>, और प्रत्येक क्रमविनिमेय C*-बीजगणित इसके [[अधिकतम आदर्श]]ों के स्थान से जुड़ा है। यह [[गेलफैंड प्रतिनिधित्व]] है।
+* [[कार्यात्मक विश्लेषण]] में समानता के साथ क्रमविनिमेय सी[[सी * - बीजगणित|*-बीजगणित]] की श्रेणी [[ कॉम्पैक्ट जगह |कॉम्पैक्ट स्थान]] हौसडॉर्फ रिक्त स्थान की श्रेणी के विपरीत रूप से समतुल्य है। इस द्वैत के अनुसार, प्रत्येक कॉम्पैक्ट [[हॉसडॉर्फ स्पेस|हॉसडॉर्फ रिक्त स्थान]] <math>X</math> निरंतर जटिल-मूल्यवान कार्यों के बीजगणित के साथ जुड़ा हुआ है। इस प्रकार <math>X</math> और प्रत्येक क्रमविनिमेय सी*-बीजगणित इसके [[अधिकतम आदर्श|अधिकतम आदर्शों]] के स्थान से जुड़ा है। यह [[गेलफैंड प्रतिनिधित्व]] है।
-* [[जाली सिद्धांत]] में, [[प्रतिनिधित्व प्रमेय]]ों के आधार पर कई द्वैत हैं, जो जाली के कुछ वर्गों को [[टोपोलॉजी]] के वर्गों से जोड़ते हैं। संभवतः इस तरह का सबसे प्रसिद्ध प्रमेय बूलियन बीजगणित के लिए स्टोन का प्रतिनिधित्व प्रमेय है, जो स्टोन द्वैत की सामान्य योजना के भीतर एक विशेष उदाहरण है। प्रत्येक [[बूलियन बीजगणित (संरचना)]] <math>B</math> के जाली सिद्धांत के सेट पर एक विशिष्ट टोपोलॉजी के लिए मैप किया गया है <math>B</math>. इसके विपरीत, किसी भी टोपोलॉजी के लिए क्लोपेन (यानी बंद और खुला) उपसमुच्चय बूलियन बीजगणित उत्पन्न करते हैं। एक बूलियन बीजगणित (उनके समरूपता के साथ) और स्टोन रिक्त स्थान (निरंतर मानचित्रण के साथ) की श्रेणी के बीच एक द्वंद्व प्राप्त करता है। स्टोन द्वैत का एक अन्य मामला बिरखॉफ का प्रतिनिधित्व प्रमेय है जो परिमित आंशिक आदेश और परिमित वितरण जाल के बीच एक द्वैत बताता है।
+* [[जाली सिद्धांत]] में, [[प्रतिनिधित्व प्रमेय|प्रतिनिधित्व प्रमेयों]] के आधार पर अनेक द्वैत हैं, जो जाली के कुछ वर्गों को [[टोपोलॉजी|संस्थानिक]] रिक्त स्थान के वर्गों से जोड़ते हैं। संभवतः इस प्रकार का सबसे प्रसिद्ध प्रमेय बूलियन बीजगणित के लिए स्टोन का प्रतिनिधित्व प्रमेय है, जो स्टोन द्वैत की सामान्य योजना के अंदर विशेष उदाहरण है। प्रत्येक [[बूलियन बीजगणित (संरचना)]] <math>B</math> के जाली सिद्धांत के समूह पर विशिष्ट सांस्थिति के लिए मानचित्र किया गया है । इस प्रकार <math>B</math> इसके विपरीत, किसी भी सांस्थिति के लिए क्लोपेन (अर्थात् बंद और खुला) उपसमुच्चय बूलियन बीजगणित उत्पन्न करते हैं। बूलियन बीजगणित (उनके समरूपता के साथ) और स्टोन रिक्त स्थान (निरंतर मानचित्रण के साथ) की श्रेणी के मध्य द्वंद्व प्राप्त करता है। स्टोन द्वैत का अन्य स्थिति बिरखॉफ का प्रतिनिधित्व प्रमेय है जो परिमित आंशिक आदेश और परिमित वितरण जाल के मध्य द्वैत बताता है।
-* [[व्यर्थ टोपोलॉजी]] में स्थानिक स्थानों की श्रेणी को शांत स्थानों की श्रेणी के दोहरे के बराबर जाना जाता है।
+* [[व्यर्थ टोपोलॉजी|व्यर्थ सांस्थिति]] में स्थानिक स्थानों की श्रेणी को शांत स्थानों की श्रेणी के दोहरे के समान्तर जाना जाता है।
-* दो रिंग (गणित) R और S के लिए, [[उत्पाद श्रेणी]] R-'मॉड'×S-'मॉड' (R×S)-'मॉड' के बराबर है।{{Citation needed|date=May 2015}}
+* दो छल्ले (गणित) आर और एस के लिए, [[उत्पाद श्रेणी]] आर-'<nowiki/>'''मॉड'''' × <nowiki/>एस-<nowiki/>''''मॉड'''' (आर×एस<nowiki/>)-''''मॉड'''' के समान्तर है।
-* कोई भी वर्ग उसके [[कंकाल (श्रेणी सिद्धांत)]] के समतुल्य होता है।
+* कोई भी वर्ग उसके [[कंकाल (श्रेणी सिद्धांत)|सारांश (श्रेणी सिद्धांत)]] के समतुल्य होता है।
 == गुण ==
-अंगूठे के नियम के रूप में, श्रेणियों की समानता सभी स्पष्ट अवधारणाओं और गुणों को संरक्षित करती है। यदि F : C → D एक तुल्यता है, तो निम्नलिखित कथन सभी सत्य हैं:
+अंगूठे के नियम के रूप में, श्रेणियों की समानता सभी "श्रेणीबद्ध" अवधारणाओं और गुणों को संरक्षित करती है। यदि एफ :सी → डी तुल्यता है, तब निम्नलिखित कथन सभी सत्य हैं।
-* सी [[शून्य वस्तु]] सी एक प्रारंभिक ऑब्जेक्ट (या [[ टर्मिनल वस्तु ]], या शून्य ऑब्जेक्ट) है, [[अगर और केवल अगर]] एफसी डी का प्रारंभिक ऑब्जेक्ट (या टर्मिनल ऑब्जेक्ट, या शून्य ऑब्जेक्ट) है
+* सी [[शून्य वस्तु]] सी प्रारंभिक वस्तु (या [[ टर्मिनल वस्तु |अंतिम वस्तु]], या शून्य वस्तु) है, [[अगर और केवल अगर|यदि]] एफसी, डी का प्रारंभिक वस्तु (या अंतिम वस्तु, या शून्य वस्तु) है।
-* सी में आकृतिवाद α एक [[एकरूपता]] (या [[अधिरूपता]], या आइसोमोर्फिज्म) है, अगर और केवल अगर Fα डी में एक मोनोमोर्फिज्म (या एपिमोर्फिज्म, या आइसोमोर्फिज्म) है।
+* सी में आकृतिवाद α [[एकरूपता]] (या [[अधिरूपता]], या समाकृतिकता) है, यदि एफα, डी में एकरूपता (या अधिरूपता, या समाकृतिकता) है।
-* फलक H : I → C की [[सीमा (श्रेणी सिद्धांत)]] (या कोलिमिट) l है यदि और केवल यदि फलक FH : I → D की सीमा (या कोलिमिट) Fl है। यह दूसरों के बीच [[तुल्यकारक (गणित)]], [[उत्पाद (श्रेणी सिद्धांत)]] और सह-उत्पादों पर लागू किया जा सकता है। इसे कर्नेल (श्रेणी सिद्धांत) और [[cokernel]] पर लागू करते हुए, हम देखते हैं कि तुल्यता F एक नियमित श्रेणी#सटीक अनुक्रम और नियमित फ़ैक्टर है।
+* फलक H : आई →सी की [[सीमा (श्रेणी सिद्धांत)]] हैl यदि फलक एफH : आई → डी की सीमा ([[सीमा (श्रेणी सिद्धांत)|श्रेणी सिद्धांत]]) एफ है। यह दूसरों के मध्य [[तुल्यकारक (गणित)]], [[उत्पाद (श्रेणी सिद्धांत)]] और सह-उत्पादों पर प्रयुक्त किया जा सकता है। इसे कर्नेल (श्रेणी सिद्धांत) और [[cokernel|कोकर्नेल]] पर प्रयुक्त करते हुए, हम देखते हैं कि तुल्यता एफ नियमित श्रेणी त्रुटिहीन अनुक्रम और नियमित समानता है।
-* C एक कार्तीय बंद श्रेणी (या एक शीर्ष) है अगर और केवल अगर D कार्तीय बंद (या एक शीर्ष) है।
+* सी कार्तीय बंद श्रेणी (या शीर्ष) है यदि डी कार्तीय बंद (या शीर्ष) है।
-द्वैत सभी अवधारणाओं को चारों ओर घुमाते हैं: वे [[प्रारंभिक वस्तु]]ओं को अंतिम वस्तुओं में बदल देते हैं, मोनोमोर्फिज्म को एपिमोर्फिज्म में, गुठली को कर्नेल में, कोलिमिट्स में सीमित कर देते हैं आदि।
+द्वैत "सभी अवधारणाओं को चारों ओर घूर्णन करते हैं"। वह [[प्रारंभिक वस्तु|प्रारंभिक वस्तुओं]] को अंतिम वस्तुओं में परिवर्तित कर देते हैं। इस प्रकार एकरूपता को अधिरूपता में, तत्त्व को कर्नेल में, कोलिमिट्स में सीमित कर देते हैं आदि।
-यदि F : C → D श्रेणियों की एक तुल्यता है, और G<sub>1</sub> और जी<sub>2</sub> F के दो व्युत्क्रम हैं, तो G<sub>1</sub> और जी<sub>2</sub> स्वाभाविक रूप से आइसोमोर्फिक हैं।
+यदि एफ :सी → डी श्रेणियों की तुल्यता है और जी<sub>1</sub> और जी<sub>2</sub> एफ के दो व्युत्क्रम हैं, तब जी<sub>1</sub> और जी<sub>2</sub> स्वाभाविक रूप से समरूप हैं।
-यदि एफ: सी → डी श्रेणियों का एक समकक्ष है, और यदि सी एक पूर्ववर्ती श्रेणी (या योजक श्रेणी, या [[एबेलियन श्रेणी]]) है, तो डी को इस तरह के एक पूर्ववर्ती श्रेणी (या योजक श्रेणी, या एबेलियन श्रेणी) में बदल दिया जा सकता है जिस तरह से F एक योगात्मक फ़ंक्टर बन जाता है। दूसरी ओर, योज्य श्रेणियों के बीच कोई भी समानता आवश्यक रूप से योज्य है। (ध्यान दें कि बाद वाला बयान पूर्ववर्ती श्रेणियों के बीच समानता के लिए सही नहीं है।)
+यदि एफ:सी → डी श्रेणियों का समकक्ष है और यदि सी पूर्ववर्ती श्रेणी (या योजक श्रेणी, या [[एबेलियन श्रेणी]]) है, तब डी को इस प्रकार के पूर्ववर्ती श्रेणी (या योजक श्रेणी, या एबेलियन श्रेणी) में परिवर्तित कर दिया जा सकता है। जिस प्रकार से एफ योगात्मक कारक बन जाता है। दूसरी ओर, योज्य श्रेणियों के मध्य कोई भी समानता आवश्यक रूप से योज्य है। (ध्यान दीजिए कि बाद वाला कथन पूर्ववर्ती श्रेणियों के मध्य समानता के लिए सही नहीं है।)
-श्रेणी C का एक 'स्वत: तुल्यता' एक तुल्यता F: C → C है। C की स्वतः तुल्यता संरचना के अंतर्गत एक [[समूह (गणित)]] बनाती है यदि हम दो स्वतः तुल्यताओं पर विचार करते हैं जो समान होने के लिए स्वाभाविक रूप से समरूप हैं। यह समूह सी की आवश्यक समरूपता को दर्शाता है।
+श्रेणी सी का 'स्वत: तुल्यता' समकक्ष एफ:सी →सी है। इस प्रकार सी की स्वतः तुल्यता संरचना के अंतर्गत [[समूह (गणित)]] बनाती है यदि हम दो स्वतः तुल्यताओं पर विचार करते हैं जो समान होने के लिए स्वाभाविक रूप से समरूप हैं। यह समूह सी की आवश्यक समरूपता को दर्शाता है।
 == यह भी देखें ==
@@ Line 63: / Line 59: @@
 *{{cite book|last=Mac Lane|first=Saunders|authorlink = Saunders Mac Lane|title=Categories for the working mathematician|year=1998|publisher=Springer|location=New York|isbn=0-387-98403-8|pages=xii+314}}
-{{DEFAULTSORT:Equivalence Of Categories}}[[Category: सहायक कारक]] [[Category: श्रेणी सिद्धांत]] [[Category: तुल्यता (गणित)]]
+{{DEFAULTSORT:Equivalence Of Categories}}
+[[Category:Created On 01/05/2023|Equivalence Of Categories]]
+[[Category:Lua-based templates|Equivalence Of Categories]]
-[[Category: Machine Translated Page]]
+[[Category:Machine Translated Page|Equivalence Of Categories]]
-[[Category:Created On 01/05/2023]]
+[[Category:Pages with script errors|Equivalence Of Categories]]
+[[Category:Templates Vigyan Ready|Equivalence Of Categories]]
+[[Category:Templates that add a tracking category|Equivalence Of Categories]]
+[[Category:Templates that generate short descriptions|Equivalence Of Categories]]
+[[Category:Templates using TemplateData|Equivalence Of Categories]]
+[[Category:तुल्यता (गणित)|Equivalence Of Categories]]
+[[Category:श्रेणी सिद्धांत|Equivalence Of Categories]]
+[[Category:सहायक कारक|Equivalence Of Categories]]

Anonymous

Search

श्रेणियों की समानता: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 15:47, 16 May 2023

Contents

परिभाषा

वैकल्पिक लक्षण वर्णन

उदाहरण

गुण

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

श्रेणियों की समानता: Difference between revisions

Latest revision as of 15:47, 16 May 2023

परिभाषा

वैकल्पिक लक्षण वर्णन

उदाहरण

गुण

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories