सहायक कारक: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
{{About||क्षेत्र सिद्धांत में निर्माण|संयोजन (क्षेत्र सिद्धांत)|सांस्थितिकी में निर्माण|संयोजन समष्टि}} | {{About||क्षेत्र सिद्धांत में निर्माण|संयोजन (क्षेत्र सिद्धांत)|सांस्थितिकी में निर्माण|संयोजन समष्टि}} | ||
गणित में, विशेष रूप से [[श्रेणी सिद्धांत]], संयोजन एक संबंध है जो दो कारक दो संबंधित श्रेणियों के मध्य समानता के एक दुर्बल रूप के अनुरूप सहज रूप से प्रदर्शित कर सकते हैं। इस संबंध में खड़े होने वाले दो [[ऑपरेटर]] को | गणित में, विशेष रूप से [[श्रेणी सिद्धांत]], संयोजन एक संबंध है जो दो कारक दो संबंधित श्रेणियों के मध्य समानता के एक दुर्बल रूप के अनुरूप सहज रूप से प्रदर्शित कर सकते हैं। इस संबंध में खड़े होने वाले दो [[ऑपरेटर]] को संलग्न कारक के रूप में जाना जाता है, एक दाहिना संलग्न और दूसरा बायां संलग्न। संलग्न कारक के जोड़े गणित में सर्वव्यापी हैं और प्रायः कुछ समस्याओं के इष्टतम समाधान के निर्माण से उत्पन्न होते हैं (अर्थात, एक निश्चित [[सार्वभौमिक संपत्ति|सार्वभौमिक गुणधर्म]] वाले वस्तुओं का निर्माण), जैसे कि बीजगणित में एक [[मुक्त समूह]] का निर्माण, या स्टोन का निर्माण- सांस्थितिकी में एक [[टोपोलॉजिकल स्पेस]] का सीईसी कॉम्पैक्टिफिकेशन। | ||
परिभाषा के अनुसार, श्रेणियों के मध्य एक संयोजन <math>\mathcal{C}</math> और <math>\mathcal{D}</math> | परिभाषा के अनुसार, श्रेणियों के मध्य एक संयोजन <math>\mathcal{C}</math> और <math>\mathcal{D}</math> कारक की एक युग्म है (सहसंयोजक कारक माना जाता है) | ||
:<math>F: \mathcal{D} \rightarrow \mathcal{C}</math> और <math>G: \mathcal{C} \rightarrow \mathcal{D}</math> | :<math>F: \mathcal{D} \rightarrow \mathcal{C}</math> और <math>G: \mathcal{C} \rightarrow \mathcal{D}</math> | ||
और, सभी वस्तुओं के लिए <math>X</math> में <math>\mathcal{C}</math> और <math>Y</math> में <math>\mathcal{D}</math>, संबंधित आकारिकी समुच्चय के | और, सभी वस्तुओं के लिए <math>X</math> में <math>\mathcal{C}</math> और <math>Y</math> में <math>\mathcal{D}</math>, संबंधित आकारिकी समुच्चय के मध्य एक आक्षेप | ||
:<math>\mathrm{hom}_{\mathcal{C}}(FY,X) \cong \mathrm{hom}_{\mathcal{D}}(Y,GX)</math> | :<math>\mathrm{hom}_{\mathcal{C}}(FY,X) \cong \mathrm{hom}_{\mathcal{D}}(Y,GX)</math> | ||
ऐसा कि आपत्तियों के इस वर्ग में [[प्राकृतिक परिवर्तन]] है <math>X</math> और <math>Y</math>. यहाँ प्राकृतिकता का अर्थ है कि | ऐसा कि आपत्तियों के इस वर्ग में [[प्राकृतिक परिवर्तन]] है <math>X</math> और <math>Y</math>. यहाँ प्राकृतिकता का अर्थ है कि कारक की युग्म के मध्य प्राकृतिक समरूपताएँ हैं <math>\mathcal{C}(F-,X) : \mathcal{D} \to \mathrm{Set}</math> और <math>\mathcal{D}(-,GX) : \mathcal{D} \to \mathrm{Set}</math> एक निश्चित के लिए <math>X</math> में <math>\mathcal{C}</math>, और कारक की युग्म भी <math>\mathcal{C}(FY,-) : \mathcal{C} \to \mathrm{Set}</math> और <math>\mathcal{D}(Y,G-) : \mathcal{C} \to \mathrm{Set}</math> एक निश्चित के लिए <math>Y</math> में <math>\mathcal{D}</math>. | ||
कार्य करनेवाला <math>F</math> एक बाएं संलग्न | कार्य करनेवाला <math>F</math> एक बाएं संलग्न कारक या बाएं संलग्न कहा जाता है <math>G</math>, जबकि <math>G</math> एक सही संलग्न कारक या सही संलग्न कहा जाता है <math>F</math>. हम लिखते हैं <math>F\dashv G</math>. | ||
श्रेणियों के मध्य एक संयोजन <math>\mathcal{C}</math> और <math>\mathcal{D}</math> के मध्य [[श्रेणियों की समानता]] के दुर्बल रूप के समान है <math>\mathcal{C}</math> और <math>\mathcal{D}</math>, और वास्तव में प्रत्येक समानता एक संयोजन है। कई स्थितियों में, सम्मिलित श्रेणियों और | श्रेणियों के मध्य एक संयोजन <math>\mathcal{C}</math> और <math>\mathcal{D}</math> के मध्य [[श्रेणियों की समानता]] के दुर्बल रूप के समान है <math>\mathcal{C}</math> और <math>\mathcal{D}</math>, और वास्तव में प्रत्येक समानता एक संयोजन है। कई स्थितियों में, सम्मिलित श्रेणियों और कारक के एक उपयुक्त प्राकृतिक संशोधन के द्वारा, एक संयोजन को एक तुल्यता में उन्नत किया जा सकता है। | ||
== शब्दावली और संकेतन == | == शब्दावली और संकेतन == | ||
| Line 21: | Line 21: | ||
: <math>\varphi_{XY}: \mathrm{hom}_{\mathcal{C}}(FY,X) \cong \mathrm{hom}_{\mathcal{D}}(Y,GX)</math> | : <math>\varphi_{XY}: \mathrm{hom}_{\mathcal{C}}(FY,X) \cong \mathrm{hom}_{\mathcal{D}}(Y,GX)</math> | ||
होम- समुच्चय आक्षेपों की, हम कहते हैं <math>\varphi</math> एक संयोजन या मध्य में एक संयोजन <math> F </math> और <math> G </math>. | होम- समुच्चय आक्षेपों की, हम कहते हैं <math>\varphi</math> एक संयोजन या मध्य में एक संयोजन <math> F </math> और <math> G </math>. यदि <math>f</math> में तीर है <math> \mathrm{hom}_{\mathcal{C}}(FY,X) </math>, <math>\varphi f</math> का सही संलग्न है <math>f</math> (पृष्ठ 81)। कार्य करनेवाला <math> F </math> से सटा हुआ है <math>G</math>, और <math>G</math> के ठीक निकट में है <math>F</math>. (ध्यान दें कि <math>G</math> अपने आप में एक दाहिना जोड़ हो सकता है जो इससे काफी अलग है <math>F</math>; उदाहरण के लिए नीचे देखें।) | ||
सामान्यतः, वाक्यांश<math> F </math> एक वाम सन्निकट है और<math> F </math> एक सही संलग्न है समकक्ष हैं। हम बुलाते है <math>F</math> एक बायाँ संलग्न क्योंकि यह के बाएँ तर्क पर अनुप्रयुक्त होता है <math>\mathrm{hom}_{\mathcal{C}}</math>, और <math>G</math> एक सही संलग्न क्योंकि यह सही तर्क के लिए अनुप्रयुक्त होता है <math>\mathrm{hom}_{\mathcal{D}}</math>. | सामान्यतः, वाक्यांश<math> F </math> एक वाम सन्निकट है और<math> F </math> एक सही संलग्न है समकक्ष हैं। हम बुलाते है <math>F</math> एक बायाँ संलग्न क्योंकि यह के बाएँ तर्क पर अनुप्रयुक्त होता है <math>\mathrm{hom}_{\mathcal{C}}</math>, और <math>G</math> एक सही संलग्न क्योंकि यह सही तर्क के लिए अनुप्रयुक्त होता है <math>\mathrm{hom}_{\mathcal{D}}</math>. | ||
| Line 34: | Line 34: | ||
{{Quote|प्रचार वाक्य है "प्रत्येक समष्टि पर संलग्न प्रकार्यक उत्पन्न होते हैं"।|सॉन्डर्स मैक लेन, ''[[कार्यरत गणितज्ञ के लिए श्रेणियां]]''}} | {{Quote|प्रचार वाक्य है "प्रत्येक समष्टि पर संलग्न प्रकार्यक उत्पन्न होते हैं"।|सॉन्डर्स मैक लेन, ''[[कार्यरत गणितज्ञ के लिए श्रेणियां]]''}} | ||
सामान्य गणितीय रचनाएं प्रायः संलग्न | सामान्य गणितीय रचनाएं प्रायः संलग्न कारक होती हैं। नतीजतन, बाएं/दाएं संलग्न कारक के बारे में सामान्य प्रमेय कई उपयोगी और अन्यथा गैर-तुच्छ परिणामों के विवरण को एन्कोड करते हैं। इस तरह के सामान्य प्रमेयों में संलग्न कारकों की विभिन्न परिभाषाओं की समानता सम्मिलित है, किसी दिए गए बाएं संलग्न के लिए दाएं संलग्न की विशिष्टता, तथ्य यह है कि बाएं/दाएं संलग्न कारक क्रमशः सीमा (श्रेणी सिद्धांत) को संरक्षित करते हैं। सह सीमाएं/सीमाएं (जो भी पाए जाते हैं) गणित के हर क्षेत्र में), और सामान्य संलग्न कारक प्रमेय ऐसी स्थितियाँ देते हैं जिनके तहत दिया गया कारक एक बाएँ / दाएँ संलग्न होता है। | ||
=== अनुकूलन समस्याओं का समाधान === | === अनुकूलन समस्याओं का समाधान === | ||
एक अर्थ में, एक | एक अर्थ में, एक संलग्न कारक एक विधि के माध्यम से किसी समस्या का सबसे कुशल समाधान देने का एक तरीका है जो सूत्र है। उदाहरण के लिए, [[ अंगूठी सिद्धांत |वलय सिद्धांत]] में एक प्रारंभिक समस्या यह है कि कैसे एक Rng (बीजगणित) (जो एक वलय की तरह है जिसकी गुणक पहचान नहीं हो सकती है) को वलय (गणित) में परिवर्तित कर दिया जाए। सबसे कुशल तरीका यह है कि एक तत्व '1' को rng से जोड़ा जाए, सभी (और केवल) तत्वों को जोड़ा जाए जो वलय स्वयंसिद्धि को संतुष्ट करने के लिए आवश्यक हैं (उदाहरण के लिए वलय में प्रत्येक r के लिए r+1), और कोई संबंध नहीं थोपें। नवगठित वलय जो स्वयंसिद्धों द्वारा अनिवार्य नहीं हैं। इसके अतिरिक्त, यह निर्माण इस अर्थ में सूत्रबद्ध है कि यह किसी भी आरएनजी के लिए अनिवार्य रूप से उसी तरह कार्य करता है। | ||
यह बल्कि अस्पष्ट है, हालांकि विचारोत्तेजक है, और श्रेणी सिद्धांत की भाषा में सटीक बनाया जा सकता है: एक निर्माण सबसे अधिक कुशल है यदि यह एक सार्वभौमिक | यह बल्कि अस्पष्ट है, हालांकि विचारोत्तेजक है, और श्रेणी सिद्धांत की भाषा में सटीक बनाया जा सकता है: एक निर्माण सबसे अधिक कुशल है यदि यह एक सार्वभौमिक गुणधर्म को संतुष्ट करता है, और यह सूत्र है यदि यह एक कारक को परिभाषित करता है। सार्वभौमिक गुण दो प्रकार में आते हैं: प्रारंभिक गुणधर्म और सीमावर्ती गुणधर्म। चूंकि ये [[दोहरी (श्रेणी सिद्धांत)]] धारणाएं हैं, इसलिए इनमें से किसी एक पर चर्चा करना आवश्यक है। | ||
एक प्रारंभिक | एक प्रारंभिक गुणधर्म का उपयोग करने का विचार कुछ संलग्न श्रेणी ई के संदर्भ में समस्या को स्थापित करना है, ताकि हाथ में समस्या ई की [[प्रारंभिक वस्तु]] को खोजने के अनुरूप हो। इसका एक लाभ यह है कि अनुकूलन-यह अर्थ है कि प्रक्रिया पाता है सबसे कुशल समाधान-का अर्थ है कुछ कठोर और पहचानने योग्य, बल्कि सर्वोच्चता की प्राप्ति जैसा। इस निर्माण में श्रेणी ई भी सूत्र है, क्योंकि यह सदैव कारक के तत्वों की श्रेणी है, जिसके लिए कोई एक संलग्न निर्माण कर रहा है। | ||
हमारे उदाहरण पर वापस जाएं: दिए गए rng R को लें, और एक श्रेणी E बनाएं, जिसकी वस्तुएं R → S से संबंधित हैं, जिसमें S एक गुणक पहचान वाली | हमारे उदाहरण पर वापस जाएं: दिए गए rng R को लें, और एक श्रेणी E बनाएं, जिसकी वस्तुएं R → S से संबंधित हैं, जिसमें S एक गुणक पहचान वाली वलय है। R → S के मध्य E में आकृतिवाद<sub>1</sub> और R → S<sub>2</sub> रूप के [[क्रमविनिमेय आरेख]] हैं (''R'' → ''S''<sub>1</sub>, ''R'' → ''S''<sub>2</sub>, ''S''<sub>1</sub> → ''S''<sub>2</sub>) जहां S<sub>1</sub> → S<sub>2</sub> एक वलय मैप है (जो पहचान को सुरक्षित रखता है)। (ध्यान दें कि यह आरएनजी में एकात्मक छल्ले को सम्मिलित करने पर आर की [[अल्पविराम श्रेणी]] की सटीक परिभाषा है।) R → S के मध्य एक आकारिकी का अस्तित्व<sub>1</sub> और R → S<sub>2</sub> तात्पर्य यह है कि S<sub>1</sub> कम से कम S के रूप में एक कुशल समाधान है<sub>2</sub> आपकी समस्या के लिए S<sub>2</sub> अधिक संलग्न तत्व हो सकते हैं और/या S की तुलना में सिद्धांतों द्वारा लगाए गए अधिक संबंध नहीं हो सकते हैं<sub>1</sub>. | ||
इसलिए, यह अभिकथन कि एक वस्तु R → R* E में आरंभिक है, अर्थात, E के किसी अन्य तत्व में एक आकारिकी है, का अर्थ है कि वलय R* हमारी समस्या का सबसे कुशल समाधान है। | इसलिए, यह अभिकथन कि एक वस्तु R → R* E में आरंभिक है, अर्थात, E के किसी अन्य तत्व में एक आकारिकी है, का अर्थ है कि वलय R* हमारी समस्या का सबसे कुशल समाधान है। | ||
वलयों को वलयों में परिवर्तित करने की यह विधि सबसे कुशल और | वलयों को वलयों में परिवर्तित करने की यह विधि सबसे कुशल और सूत्रात्मक है, यह कहकर एक साथ व्यक्त किया जा सकता है कि यह एक संलग्न फलक को परिभाषित करता है। अधिक स्पष्ट रूप से: F को एक पहचान को rng से जोड़ने की उपरोक्त प्रक्रिया को निरूपित करें, इसलिए F(R)=R*। जी को "भूलने" की प्रक्रिया को निरूपित करने दें कि क्या वलय S की एक पहचान है और इसे केवल एक आरएनजी के रूप में माना जाता है, इसलिए अनिवार्य रूप से जी (S) = S। तब F, G का बायाँ संलग्न कारक है। | ||
ध्यान दें कि हमने वास्तव में अभी तक R* का निर्माण नहीं किया है; यह एक महत्वपूर्ण और पूर्णतया से | ध्यान दें कि हमने वास्तव में अभी तक R* का निर्माण नहीं किया है; यह एक महत्वपूर्ण और पूर्णतया से सामान्य बीजगणितीय तथ्य नहीं है कि इस तरह के एक बाएं संलग्न फलक R → R* वास्तव में उपस्थित है। | ||
=== अनुकूलन समस्याओं की समरूपता === | === अनुकूलन समस्याओं की समरूपता === | ||
कारक एफ के साथ प्रारंभ करना भी संभव है, और निम्नलिखित (अस्पष्ट) प्रश्न उठाएं: क्या कोई समस्या है जिसके लिए एफ सबसे कुशल समाधान है? | |||
यह धारणा कि F, G द्वारा प्रस्तुत समस्या का सबसे कुशल समाधान है, एक निश्चित कठोर अर्थ में, इस धारणा के समान है कि G सबसे कठिन समस्या है जिसे F हल करता है। | यह धारणा कि F, G द्वारा प्रस्तुत समस्या का सबसे कुशल समाधान है, एक निश्चित कठोर अर्थ में, इस धारणा के समान है कि G सबसे कठिन समस्या है जिसे F हल करता है। | ||
यह इस तथ्य के पीछे का अंतर्ज्ञान देता है कि संलग्न | यह इस तथ्य के पीछे का अंतर्ज्ञान देता है कि संलग्न कारक जोड़े में होते हैं: यदि F को G के निकट छोड़ दिया जाता है, तो G, F के ठीक निकट है। | ||
== औपचारिक परिभाषाएँ == | == औपचारिक परिभाषाएँ == | ||
संलग्न | संलग्न कारक के लिए विभिन्न समतुल्य परिभाषाएँ हैं: | ||
* सार्वभौमिक आकारिता के माध्यम से परिभाषाओं को बताना आसान है, और एक संलग्न | * सार्वभौमिक आकारिता के माध्यम से परिभाषाओं को बताना आसान है, और एक संलग्न कारक का निर्माण करते समय न्यूनतम सत्यापन की आवश्यकता होती है या दो कारक साबित होते हैं। वे अनुकूलन से जुड़े हमारे अंतर्ज्ञान के सबसे अनुरूप भी हैं। | ||
* होम- समुच्चय के माध्यम से परिभाषा समरूपता को सबसे स्पष्ट बनाती है, और यह शब्द संलग्न शब्द का उपयोग करने का कारण है। | * होम- समुच्चय के माध्यम से परिभाषा समरूपता को सबसे स्पष्ट बनाती है, और यह शब्द संलग्न शब्द का उपयोग करने का कारण है। | ||
* | * सह-इकाई - ईकाई संयोजन के माध्यम से परिभाषा उन कारक के विषय में प्रमाण के लिए सुविधाजनक है, जिन्हें संलग्न माना जाता है, क्योंकि वे सूत्र प्रदान करते हैं जिन्हें सीधे प्रकलित किया जा सकता है। | ||
इन परिभाषाओं की समानता काफी उपयोगी है। गणित के सभी क्षेत्रों में, | इन परिभाषाओं की समानता काफी उपयोगी है। गणित के सभी क्षेत्रों में, प्रत्येक जगह संलग्न कारक उत्पन्न होते हैं। चूंकि इनमें से किसी भी परिभाषा में संरचना दूसरों में संरचनाओं की उत्पत्ति करती है, उनके मध्य स्विच करने से कई विवरणों का अंतर्निहित उपयोग होता है जो अन्यथा प्रत्येक विषय क्षेत्र में अलग-अलग दोहराना होगा। | ||
=== | === अभिसमय === | ||
संलग्नों के सिद्धांत की नींव बाएँ और दाएँ हैं, और ऐसे कई घटक हैं जो दो श्रेणियों C और D में से एक में रहते हैं जो विचाराधीन हैं। इसलिए वर्णानुक्रम में अक्षरों का चयन करना | संलग्नों के सिद्धांत की नींव बाएँ और दाएँ हैं, और ऐसे कई घटक हैं जो दो श्रेणियों C और D में से एक में रहते हैं जो विचाराधीन हैं। इसलिए वर्णानुक्रम में अक्षरों का चयन करना सहायक हो सकता है, चाहे वे बाएं श्रेणी सी या दाएं श्रेणी डी में रहते हों, और जब भी संभव हो उन्हें इस क्रम में लिखने के लिए भी। | ||
उदाहरण के लिए इस लेख में, अक्षर X, F, f, ε लगातार उन चीजों को निरूपित करेंगे जो श्रेणी C में रहते हैं, अक्षर Y, G, g, η लगातार उन चीजों को निरूपित करेंगे जो श्रेणी D में रहते हैं, और जब भी संभव हो ऐसे चीजों को बाएं से दाएं क्रम में संदर्भित किया जाएगा (एक | उदाहरण के लिए इस लेख में, अक्षर X, F, f, ε लगातार उन चीजों को निरूपित करेंगे जो श्रेणी C में रहते हैं, अक्षर Y, G, g, η लगातार उन चीजों को निरूपित करेंगे जो श्रेणी D में रहते हैं, और जब भी संभव हो ऐसे चीजों को बाएं से दाएं क्रम में संदर्भित किया जाएगा (एक कारक एफ: डी → सी को रहने के बारे में सोचा जा सकता है जहां इसके आउटपुट सी में हैं)। यदि बाएँ संलग्न कारक F के लिए तीर खींचे गए तो वे बाईं ओर इंगित करेंगे; यदि दाएँ संलग्न कारक G के लिए तीर खींचे गए थे तो वे दाईं ओर संकेत कर रहे होंगे। | ||
=== सार्वभौम आकारिता के माध्यम से परिभाषा === | === सार्वभौम आकारिता के माध्यम से परिभाषा === | ||
परिभाषा के अनुसार, एक | परिभाषा के अनुसार, एक कारक | ||
<math>F: D \to C</math> यदि प्रत्येक वस्तु के लिए एक बायाँ सन्निकट | <math>F: D \to C</math> यदि प्रत्येक वस्तु के लिए एक बायाँ सन्निकट कारक है <math>X</math> में <math>C</math> एक [[सार्वभौमिक रूपवाद]] उपस्थित है | ||
से <math>F</math> को <math>X</math>. वर्तनी, इसका | से <math>F</math> को <math>X</math>. वर्तनी, इसका अर्थ है कि प्रत्येक वस्तु के लिए <math>X</math> में <math>C</math> एक वस्तु उपस्थित है | ||
<math>G(X)</math> में <math>D</math> और एक रूपवाद <math>\epsilon_X: F(G(X)) \to X</math> ऐसा कि | <math>G(X)</math> में <math>D</math> और एक रूपवाद <math>\epsilon_X: F(G(X)) \to X</math> ऐसा कि प्रत्येक वस्तु के लिए | ||
<math>Y</math> में <math>D</math> और | <math>Y</math> में <math>D</math> और प्रत्येक रूपवाद <math>f: F(Y) \to X</math> एक अद्वितीय आकारिता उपस्थित है | ||
<math>g: Y \to G(X)</math> साथ <math>\epsilon_X \circ F(g) = f</math>. | <math>g: Y \to G(X)</math> साथ <math>\epsilon_X \circ F(g) = f</math>. | ||
बाद वाला समीकरण निम्नलिखित क्रमविनिमेय आरेख द्वारा व्यक्त किया गया है: | बाद वाला समीकरण निम्नलिखित क्रमविनिमेय आरेख द्वारा व्यक्त किया गया है: | ||
[[File:Definition of the counit of an adjunction.svg|center|यहाँ देश एक सार्वभौम आकृतिवाद है।]]ऐसी स्थिति में यह | [[File:Definition of the counit of an adjunction.svg|center|यहाँ देश एक सार्वभौम आकृतिवाद है।]]ऐसी स्थिति में यह दर्शाया जा सकता है <math>G</math> एक कारक में परिवर्तित करा जा सकता है <math>G : C \to D</math> एक अनोखे तरीके से ऐसा है | ||
<math>\epsilon_X \circ F(G(f)) = f \circ \epsilon_{X'}</math> सभी रूपों के लिए <math>f: X' \to X</math> में <math>C</math>; <math>F</math> तब इसे बायाँ सन्निकट कहा जाता है <math>G</math>. | <math>\epsilon_X \circ F(G(f)) = f \circ \epsilon_{X'}</math> सभी रूपों के लिए <math>f: X' \to X</math> में <math>C</math>; <math>F</math> तब इसे बायाँ सन्निकट कहा जाता है <math>G</math>. | ||
इसी प्रकार, हम दाएं-संलग्न | इसी प्रकार, हम दाएं-संलग्न कारकों को परिभाषित कर सकते हैं। एक कारक <math>G: C \to D</math> यदि प्रत्येक वस्तु के लिए एक सही संलग्न कारक है <math>Y</math> में <math>D</math>, | ||
वहाँ से एक सार्वभौमिक आकारिकी उपस्थित है <math>Y</math> को <math>G</math>. वर्तनी, इसका | वहाँ से एक सार्वभौमिक आकारिकी उपस्थित है <math>Y</math> को <math>G</math>. वर्तनी, इसका अर्थ है कि प्रत्येक वस्तु के लिए <math>Y</math> में <math>D</math>, | ||
एक वस्तु उपस्थित है <math>F(Y)</math> में <math>C</math> और एक रूपवाद <math>\eta_Y: Y \to G(F(Y))</math> ऐसा कि | एक वस्तु उपस्थित है <math>F(Y)</math> में <math>C</math> और एक रूपवाद <math>\eta_Y: Y \to G(F(Y))</math> ऐसा कि प्रत्येक वस्तु के लिए <math>X</math> में <math>C</math> और हर रूपवाद <math>g: Y \to G(X)</math> एक अद्वितीय आकारिता उपस्थित है <math>f: F(Y) \to X</math> साथ <math>G(f) \circ \eta_Y = g</math>. | ||
[[File:Definition of the unit of an adjunction 1.svg|center|इकाई का अस्तित्व, एक सार्वभौमिक रूपवाद, एक संयोजन के अस्तित्व को साबित कर सकता है।]]फिर से, यह <math>F</math> विशिष्ट रूप से एक | [[File:Definition of the unit of an adjunction 1.svg|center|इकाई का अस्तित्व, एक सार्वभौमिक रूपवाद, एक संयोजन के अस्तित्व को साबित कर सकता है।]]फिर से, यह <math>F</math> विशिष्ट रूप से एक कारक में परिवर्तित किया जा सकता है <math>F: D \to C</math> ऐसा है कि <math>G(F(g)) \circ \eta_Y = \eta_{Y'} \circ g</math> के लिए <math>g: Y \to Y'</math> में एक रूपवाद <math>D</math>; <math>G</math> तब इसे दायां संलग्न कहा जाता है <math>F</math>. | ||
यह सच है, जैसा कि शब्दावली का अर्थ है, कि <math>F</math> से सटा हुआ है <math>G</math> | यह सच है, जैसा कि शब्दावली का अर्थ है, कि <math>F</math> से सटा हुआ है <math>G</math> यदि और केवल यदि <math>G</math> के ठीक निकट में है <math>F</math>. | ||
सार्वभौमिक आकारिता के माध्यम से ये परिभाषाएं प्रायः यह स्थापित करने के लिए उपयोगी होती हैं कि किसी दिए गए | सार्वभौमिक आकारिता के माध्यम से ये परिभाषाएं प्रायः यह स्थापित करने के लिए उपयोगी होती हैं कि किसी दिए गए कारक बाएं या दाएं संलग्न हैं, क्योंकि वे अपनी आवश्यकताओं में न्यूनतर हैं। वे इस अर्थ में भी सहज रूप से सार्थक हैं कि एक सार्वभौमिक रूपवाद को खोजना एक अनुकूलन समस्या को हल करने जैसा है। | ||
== | == होम समुच्चय संयोजन के माध्यम से परिभाषा == | ||
दो श्रेणियों '' | दो श्रेणियों ''C'' और ''D'' के मध्य एक होम- समुच्चय संयोजन में दो कारक ''एफ'' होते हैं: ''D'' → ''C'' और {{nowrap|''G'' : ''C'' → ''D''}} और एक [[प्राकृतिक समरूपता]] | ||
:<math>\Phi:\mathrm{hom}_C(F-,-) \to \mathrm{hom}_D(-,G-)</math>. | :<math>\Phi:\mathrm{hom}_C(F-,-) \to \mathrm{hom}_D(-,G-)</math>. | ||
यह आपत्तियों के वर्ग को निर्दिष्ट करता है | यह आपत्तियों के वर्ग को निर्दिष्ट करता है | ||
:<math>\Phi_{Y,X}:\mathrm{hom}_C(FY,X) \to \mathrm{hom}_D(Y,GX)</math> | :<math>\Phi_{Y,X}:\mathrm{hom}_C(FY,X) \to \mathrm{hom}_D(Y,GX)</math> | ||
C में सभी वस्तुओं X और D में Y के लिए। | |||
इस स्थिति में, 'F, G के बायें सन्निकट है' और 'G, F के दायें सन्निकट है'। | इस स्थिति में, 'F, G के बायें सन्निकट है' और 'G, F के दायें सन्निकट है'। | ||
यह परिभाषा एक तार्किक समझौता है जिसमें सार्वभौमिक आकारिकी परिभाषाओं की तुलना में इसे संतुष्ट करना अधिक कठिन है, और इसका तात्कालिक प्रभाव | यह परिभाषा एक तार्किक समझौता है जिसमें सार्वभौमिक आकारिकी परिभाषाओं की तुलना में इसे संतुष्ट करना अधिक कठिन है, और इसका तात्कालिक प्रभाव सह-इकाई - ईकाई परिभाषा की तुलना में कम है। इसकी स्पष्ट समरूपता के कारण और अन्य परिभाषाओं के मध्य एक कदम-पत्थर के रूप में यह उपयोगी है। | ||
एक प्राकृतिक समरूपता के रूप में Φ की व्याख्या करने के लिए, किसी को पहचानना होगा {{nowrap|hom<sub>''C''</sub>(''F''–, –)}} और {{nowrap|hom<sub>''D''</sub>(–, ''G''–)}} | एक प्राकृतिक समरूपता के रूप में Φ की व्याख्या करने के लिए, किसी को पहचानना होगा {{nowrap|hom<sub>''C''</sub>(''F''–, –)}} और {{nowrap|hom<sub>''D''</sub>(–, ''G''–)}} कारक के रूप में। वास्तव में, वे दोनों द्विभाजक हैं {{nowrap|''D''<sup>op</sup> × ''C''}} से समुच्चय ( [[सेट की श्रेणी|समुच्चय की श्रेणी]])। विवरण के लिए, [[मैं काम कर रहा हूं|मैं कार्य कर रहा हूं]] पर लेख देखें। स्पष्ट रूप से, Φ की स्वाभाविकता का अर्थ है कि सभी [[morphism|आकारिता]] के लिए {{nowrap|''f'' : ''X'' → ''X′''}} सी और सभी आकारिता में {{nowrap|''g'' : ''Y''′'' '' → ''Y''}} डी में निम्नलिखित आरेख क्रमविनिमेय आरेख: | ||
[[File:Natural phi.svg|center|Φ|400px की स्वाभाविकता]]इस आरेख में लंबवत तीर रचना द्वारा प्रेरित हैं। औपचारिक रूप से, होम (एफजी, एफ) : होम<sub>C</sub>(FY, X) → होम<sub>C</sub>(FY', X') h → f द्वारा दिया गया है <small>o</small> h <small>o</small> होम में प्रत्येक एच के लिए एफजी<sub>C</sub>(एफवाई, एक्स)। होम (जी, जीएफ) समान है। | [[File:Natural phi.svg|center|Φ|400px की स्वाभाविकता]]इस आरेख में लंबवत तीर रचना द्वारा प्रेरित हैं। औपचारिक रूप से, होम (एफजी, एफ) : होम<sub>C</sub>(FY, X) → होम<sub>C</sub>(FY', X') h → f द्वारा दिया गया है <small>o</small> h <small>o</small> होम में प्रत्येक एच के लिए एफजी<sub>C</sub>(एफवाई, एक्स)। होम (जी, जीएफ) समान है। | ||
== | == सह-इकाई-इकाई संयोजन के माध्यम से परिभाषा == | ||
दो श्रेणियों '' | दो श्रेणियों ''C'' और ''D'' के मध्य एक इकाई-इकाई संयोजन में दो कारक ''एफ'' होते हैं: ''D'' → ''C'' और ''G'' : ''C '' → ''D'' और दो प्राकृतिक परिवर्तन | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\varepsilon &: FG \to 1_{\mathcal C} \\ | \varepsilon &: FG \to 1_{\mathcal C} \\ | ||
\eta &: 1_{\mathcal D} \to GF\end{align}</math> | \eta &: 1_{\mathcal D} \to GF\end{align}</math> | ||
क्रमशः | क्रमशः सह-इकाई और संयोजन की इकाई ([[सार्वभौमिक बीजगणित]] से शब्दावली) कहा जाता है, जैसे रचनाएं | ||
:<math>F\xrightarrow{\;F\eta\;}FGF\xrightarrow{\;\varepsilon F\,}F</math> | :<math>F\xrightarrow{\;F\eta\;}FGF\xrightarrow{\;\varepsilon F\,}F</math> | ||
:<math>G\xrightarrow{\;\eta G\;}GFG\xrightarrow{\;G \varepsilon\,}G</math> | :<math>G\xrightarrow{\;\eta G\;}GFG\xrightarrow{\;G \varepsilon\,}G</math> | ||
| Line 134: | Line 134: | ||
\end{align}</math>. | \end{align}</math>. | ||
ध्यान दें कि <math>1_{\mathcal C}</math> श्रेणी पर पहचान | ध्यान दें कि <math>1_{\mathcal C}</math> श्रेणी पर पहचान कारक को दर्शाता है <math>\mathcal C</math>, <math>1_F</math> कारक एफ से स्वयं के लिए पहचान प्राकृतिक परिवर्तन को दर्शाता है, और <math>1_{FY}</math> वस्तु FY की पहचान आकृतिवाद को दर्शाता है। | ||
[[File:String diagram adjunction.svg|thumb|संयोजन के लिए स्ट्वलय आरेख।]]ये समीकरण बीजगणितीय जोड़-तोड़ के लिए संलग्न | [[File:String diagram adjunction.svg|thumb|संयोजन के लिए स्ट्वलय आरेख।]]ये समीकरण बीजगणितीय जोड़-तोड़ के लिए संलग्न कारक के प्रमाण को कम करने में उपयोगी होते हैं। संबंधित [[स्ट्रिंग आरेख|स्ट्वलय आरेख]]ों की उपस्थिति के कारण उन्हें कभी-कभी त्रिभुज पहचान या कभी-कभी ज़िग-ज़ैग समीकरण कहा जाता है। उन्हें याद रखने का एक तरीका यह है कि पहले बेतुके समीकरण को लिख लिया जाए <math>1=\varepsilon\circ\eta</math> और फिर एफ या जी में से किसी एक को उन दो सरल तरीकों से भरें जो रचनाओं को परिभाषित करते हैं। | ||
नोट: यहाँ उपसर्ग सह का उपयोग यहाँ सीमा और कोलिमिट की शब्दावली के अनुरूप नहीं है, क्योंकि एक कोलिमिट एक प्रारंभिक | नोट: यहाँ उपसर्ग सह का उपयोग यहाँ सीमा और कोलिमिट की शब्दावली के अनुरूप नहीं है, क्योंकि एक कोलिमिट एक प्रारंभिक गुणधर्म को संतुष्ट करता है, जबकि कॉउनिट मोर्फिज़्म सीमावर्ती गुणों को संतुष्ट करेगा, और दो बार। यहां शब्द इकाई को [[मोनाड (श्रेणी सिद्धांत)]] के सिद्धांत से उधार लिया गया है, जहां यह पहचान 1 को एक मोनोइड में सम्मिलित करने जैसा दिखता है। | ||
== इतिहास == | == इतिहास == | ||
1958 में [[डेनियल कैन]] द्वारा संलग्न | 1958 में [[डेनियल कैन]] द्वारा संलग्न कारक का विचार पेश किया गया था।<ref>{{Cite journal|last=Kan|first=Daniel M.|date=1958|title=सहायक कारक|url=https://www.ams.org/journals/tran/1958-087-02/S0002-9947-1958-0131451-0/S0002-9947-1958-0131451-0.pdf|journal=Transactions of the American Mathematical Society|volume=87|issue=2|pages=294–329|doi=10.2307/1993102|jstor=1993102 |doi-access=free}}</ref> श्रेणी सिद्धांत में कई अवधारणाओं की तरह, यह होमोलॉजिकल बीजगणित की जरूरतों के द्वारा सुझाया गया था, जो उस समय कम्प्यूटेशंस के लिए समर्पित था। विषय की सुव्यवस्थित, व्यवस्थित प्रस्तुतियों का सामना करने वालों ने संबंधों पर ध्यान दिया होगा जैसे | ||
: होम (एफ (एक्स), वाई) = होम (एक्स, जी (वाई)) | : होम (एफ (एक्स), वाई) = होम (एक्स, जी (वाई)) | ||
[[एबेलियन समूह]]ों की श्रेणी में, जहाँ F | [[एबेलियन समूह]]ों की श्रेणी में, जहाँ F कारक था <math>- \otimes A</math> (अर्थात् ए के साथ टेन्सर उत्पाद लें), और जी कारक होम (ए,–) था (इसे अब [[ टेंसर-होम संयोजन ]] के रूप में जाना जाता है)। | ||
<!--Here hom(''X'',''Y'') means 'all [[group homomorphism|homomorphisms]] of [[abelian group]]s'.--> | <!--Here hom(''X'',''Y'') means 'all [[group homomorphism|homomorphisms]] of [[abelian group]]s'.--> | ||
समान चिह्न का उपयोग [[अंकन का दुरुपयोग]] है; वे दो समूह वास्तव में समान नहीं हैं लेकिन उन्हें पहचानने का एक तरीका है जो स्वाभाविक है। इसे इस आधार पर स्वाभाविक रूप से देखा जा सकता है, सबसे पहले, कि ये X × A से Y तक [[बिलिनियर मैपिंग]] के दो वैकल्पिक विवरण हैं। हालांकि, यह टेंसर उत्पाद के मामले में कुछ खास है। श्रेणी सिद्धांत में आक्षेप की 'स्वाभाविकता' को एक प्राकृतिक समरूपता की अवधारणा में सम्मिलित किया गया है। | समान चिह्न का उपयोग [[अंकन का दुरुपयोग]] है; वे दो समूह वास्तव में समान नहीं हैं लेकिन उन्हें पहचानने का एक तरीका है जो स्वाभाविक है। इसे इस आधार पर स्वाभाविक रूप से देखा जा सकता है, सबसे पहले, कि ये X × A से Y तक [[बिलिनियर मैपिंग]] के दो वैकल्पिक विवरण हैं। हालांकि, यह टेंसर उत्पाद के मामले में कुछ खास है। श्रेणी सिद्धांत में आक्षेप की 'स्वाभाविकता' को एक प्राकृतिक समरूपता की अवधारणा में सम्मिलित किया गया है। | ||
=== सर्वव्यापकता === | === सर्वव्यापकता === | ||
यदि कोई इन संलग्न जोड़ों के | यदि कोई इन संलग्न जोड़ों के कारक की तलाश करना प्रारंभ करता है, तो वे [[सार बीजगणित]] में और अन्य जगहों पर भी बहुत आम हो जाते हैं। नीचे दिया गया उदाहरण खंड इसका प्रमाण प्रदान करता है; इसके अतिरिक्त, [[सार्वभौमिक निर्माण]], जो कुछ लोगों के लिए अधिक परिचित हो सकते हैं, कारक के कई संलग्न जोड़े को जन्म देते हैं। | ||
सॉन्डर्स मैक लेन की सोच के अनुसार, किसी भी विचार, जैसे कि संलग्न | सॉन्डर्स मैक लेन की सोच के अनुसार, किसी भी विचार, जैसे कि संलग्न कारक, जो कि गणित में व्यापक रूप से पर्याप्त रूप से होता है, का स्वयं के लिए अध्ययन किया जाना चाहिए।{{Citation needed|date=November 2007}} | ||
अवधारणाओं को समस्याओं को हल करने में उनके उपयोग के साथ-साथ सिद्धांतों के निर्माण में उनके उपयोग के अनुसार आंका जा सकता है। इन दो प्रेरणाओं के मध्य तनाव विशेष रूप से 1950 के दशक के दौरान बहुत अधिक था जब श्रेणी सिद्धांत को प्रारंभ में विकसित किया गया था। [[अलेक्जेंडर ग्रोथेंडिक]] दर्ज करें, जिन्होंने [[कार्यात्मक विश्लेषण]], होमोलॉजिकल बीजगणित और अंत में [[बीजगणितीय ज्यामिति]] में अन्य कार्यों में कम्पास बीयवलय लेने के लिए श्रेणी सिद्धांत का उपयोग किया। | अवधारणाओं को समस्याओं को हल करने में उनके उपयोग के साथ-साथ सिद्धांतों के निर्माण में उनके उपयोग के अनुसार आंका जा सकता है। इन दो प्रेरणाओं के मध्य तनाव विशेष रूप से 1950 के दशक के दौरान बहुत अधिक था जब श्रेणी सिद्धांत को प्रारंभ में विकसित किया गया था। [[अलेक्जेंडर ग्रोथेंडिक]] दर्ज करें, जिन्होंने [[कार्यात्मक विश्लेषण]], होमोलॉजिकल बीजगणित और अंत में [[बीजगणितीय ज्यामिति]] में अन्य कार्यों में कम्पास बीयवलय लेने के लिए श्रेणी सिद्धांत का उपयोग किया। | ||
यह कहना शायद गलत है कि उन्होंने अलगाव में संलग्न | यह कहना शायद गलत है कि उन्होंने अलगाव में संलग्न कारक अवधारणा को बढ़ावा दिया: लेकिन ग्रोथेंडिक के दृष्टिकोण में संयोजन की भूमिका की पहचान अंतर्निहित थी। उदाहरण के लिए, उनकी प्रमुख उपलब्धियों में से एक बीजगणितीय किस्मों के एक सतत वर्ग में, सापेक्ष रूप में सेरे द्वैत का सूत्रीकरण था। संपूर्ण प्रमाण एक निश्चित कारक के लिए एक सही संलग्न के अस्तित्व पर परिवर्तित कर गया। यह कुछ निर्विवाद रूप से अमूर्त और गैर-रचनात्मक है{{discuss}}, लेकिन अपने तरीके से शक्तिशाली भी। | ||
== उदाहरण == | == उदाहरण == | ||
| Line 163: | Line 163: | ||
मुक्त समूहों का निर्माण एक सामान्य और रोशन करने वाला उदाहरण है। | मुक्त समूहों का निर्माण एक सामान्य और रोशन करने वाला उदाहरण है। | ||
चलो एफ: ' समुच्चय की श्रेणी' → '[[समूहों की श्रेणी]]' प्रत्येक समुच्चय वाई को वाई के तत्वों द्वारा उत्पन्न मुक्त समूह को असाइन करने वाला | चलो एफ: ' समुच्चय की श्रेणी' → '[[समूहों की श्रेणी]]' प्रत्येक समुच्चय वाई को वाई के तत्वों द्वारा उत्पन्न मुक्त समूह को असाइन करने वाला कारक हो, और जी को दें: 'जीआरपी' → ' समुच्चय' भुलक्कड़ कारक हो, जो असाइन करता है प्रत्येक समूह X को इसका अंतर्निहित समुच्चय। तब F, G के संलग्न छोड़ दिया जाता है: | ||
'प्रारंभिक आकारिता।' प्रत्येक समुच्चय Y के लिए, समुच्चय GFY Y द्वारा उत्पन्न मुक्त समूह FY का अंतर्निहित समुच्चय है। मान लीजिए<math>\eta_Y:Y\to GFY</math>जेनरेटर को सम्मिलित करके दिए गए समुच्चय मानचित्र बनें। यह वाई से जी तक एक प्रारंभिक रूपवाद है, क्योंकि वाई से अंतर्निहित समुच्चय जीडब्ल्यू के लिए कुछ समूह डब्ल्यू के किसी भी समुच्चय मानचित्र के माध्यम से कारक होगा<math>\eta_Y:Y\to GFY</math>FY से W तक एक अद्वितीय समूह समरूपता के माध्यम से। यह निश्चित रूप से मुक्त समूह#सार्वभौमिक | 'प्रारंभिक आकारिता।' प्रत्येक समुच्चय Y के लिए, समुच्चय GFY Y द्वारा उत्पन्न मुक्त समूह FY का अंतर्निहित समुच्चय है। मान लीजिए<math>\eta_Y:Y\to GFY</math>जेनरेटर को सम्मिलित करके दिए गए समुच्चय मानचित्र बनें। यह वाई से जी तक एक प्रारंभिक रूपवाद है, क्योंकि वाई से अंतर्निहित समुच्चय जीडब्ल्यू के लिए कुछ समूह डब्ल्यू के किसी भी समुच्चय मानचित्र के माध्यम से कारक होगा<math>\eta_Y:Y\to GFY</math>FY से W तक एक अद्वितीय समूह समरूपता के माध्यम से। यह निश्चित रूप से मुक्त समूह#सार्वभौमिक गुणधर्म है। | ||
' | 'सीमावर्ती आकारिता।' प्रत्येक समूह X के लिए, समूह FGX, GX, X के तत्वों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह है<math>\varepsilon_X:FGX\to X</math>समूह होमोमोर्फिज्म हो जो एफजीएक्स के जेनरेटर को एक्स के तत्वों के अनुरूप भेजता है, जो मुक्त समूहों की सार्वभौमिक गुणधर्म से उपस्थित है। फिर प्रत्येक<math>(GX,\varepsilon_X)</math>F से X तक एक सीमावर्ती रूपवाद है, क्योंकि मुक्त समूह FZ से X तक कोई भी समूह समरूपता कारक होगा<math>\varepsilon_X:FGX\to X</math>Z से GX तक एक अद्वितीय समुच्चय मैप के माध्यम से। इसका अर्थ है कि (एफ, जी) एक संलग्न युग्म है। | ||
'होम- समुच्चय | 'होम- समुच्चय संयोजन।' मुक्त समूह FY से समूह X के समूह समरूपता समुच्चय Y से समुच्चय GX के मानचित्रों के ठीक अनुरूप होते हैं: FY से X तक प्रत्येक समरूपता जनरेटर पर अपनी कार्रवाई द्वारा पूर्णतया से निर्धारित होती है, मुक्त समूहों की सार्वभौमिक गुणधर्म का एक और पुनर्कथन। कोई सीधे सत्यापित कर सकता है कि यह पत्राचार एक प्राकृतिक परिवर्तन है, जिसका अर्थ है कि यह युग्म (एफ, जी) के लिए होम- समुच्चय संयोजन है। | ||
' | 'सह-इकाई-इकाई संयोजन।' कोई सीधे यह भी सत्यापित कर सकता है कि ε और η प्राकृतिक हैं। फिर, एक सीधा सत्यापन कि वे एक सह-इकाई-इकाई संयोजन बनाते हैं<math>(\varepsilon,\eta):F\dashv G</math>इस प्रकार है: | ||
पहला | पहला सह-इकाई-इकाई समीकरण<math>1_F = \varepsilon F\circ F\eta</math>कहते हैं कि प्रत्येक समुच्चय वाई रचना के लिए | ||
:<math>FY\xrightarrow{\;F(\eta_Y)\;}FGFY\xrightarrow{\;\varepsilon_{FY}\,}FY</math> | :<math>FY\xrightarrow{\;F(\eta_Y)\;}FGFY\xrightarrow{\;\varepsilon_{FY}\,}FY</math> | ||
पहचान होनी चाहिए। मध्यवर्ती समूह FGFY मुक्त समूह FY के शब्दों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह है। (इन शब्दों को कोष्ठकों में रखे जाने के बारे में सोचें, यह इंगित करने के लिए कि वे स्वतंत्र जनरेटर हैं।) तीर<math>F(\eta_Y)</math>FY से FGFY में समूह समरूपता है, जो FGFY के जनरेटर के रूप में लंबाई एक (y) के संबंधित शब्द के लिए FY के प्रत्येक जनरेटर y को भेज रहा है। तीर<math>\varepsilon_{FY}</math>एफजीएफवाई से एफवाई तक समूह होमोमोर्फिज्म है जो प्रत्येक जनरेटर को वित्त वर्ष के शब्द से मेल खाता है (इसलिए यह नक्शा कोष्ठक छोड़ रहा है)। इन नक्शों की संरचना वास्तव में FY पर पहचान है। | पहचान होनी चाहिए। मध्यवर्ती समूह FGFY मुक्त समूह FY के शब्दों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह है। (इन शब्दों को कोष्ठकों में रखे जाने के बारे में सोचें, यह इंगित करने के लिए कि वे स्वतंत्र जनरेटर हैं।) तीर<math>F(\eta_Y)</math>FY से FGFY में समूह समरूपता है, जो FGFY के जनरेटर के रूप में लंबाई एक (y) के संबंधित शब्द के लिए FY के प्रत्येक जनरेटर y को भेज रहा है। तीर<math>\varepsilon_{FY}</math>एफजीएफवाई से एफवाई तक समूह होमोमोर्फिज्म है जो प्रत्येक जनरेटर को वित्त वर्ष के शब्द से मेल खाता है (इसलिए यह नक्शा कोष्ठक छोड़ रहा है)। इन नक्शों की संरचना वास्तव में FY पर पहचान है। | ||
| Line 182: | Line 182: | ||
=== मुफ्त निर्माण और भुलक्कड़ मजदूर === | === मुफ्त निर्माण और भुलक्कड़ मजदूर === | ||
नि: शुल्क वस्तुएं एक भुलक्कड़ | नि: शुल्क वस्तुएं एक भुलक्कड़ कारक के बाएं संलग्न के सभी उदाहरण हैं जो एक बीजगणितीय वस्तु को इसके अंतर्निहित समुच्चय को निर्दिष्ट करती हैं। इन बीजीय मुक्त कारक का आम तौर पर वैसा ही विवरण होता है जैसा कि ऊपर मुक्त समूह की स्थिति के विस्तृत विवरण में होता है। | ||
=== विकर्ण कारक और सीमाएं === | === विकर्ण कारक और सीमाएं === | ||
[[उत्पाद (श्रेणी सिद्धांत)]], [[पुलबैक (श्रेणी सिद्धांत)]], [[तुल्यकारक (गणित)]], और [[कर्नेल (बीजगणित)]] एक [[सीमा (श्रेणी सिद्धांत)]] की स्पष्ट धारणा के सभी उदाहरण हैं। कोई भी लिमिट | [[उत्पाद (श्रेणी सिद्धांत)]], [[पुलबैक (श्रेणी सिद्धांत)]], [[तुल्यकारक (गणित)]], और [[कर्नेल (बीजगणित)]] एक [[सीमा (श्रेणी सिद्धांत)]] की स्पष्ट धारणा के सभी उदाहरण हैं। कोई भी लिमिट कारक एक संबंधित विकर्ण कारक के ठीक सटा हुआ है (बशर्ते श्रेणी में प्रश्न में सीमा का प्रकार हो), और संयोजन का सह-इकाई लिमिट ऑब्जेक्ट से डिफाइनिंग मैप्स प्रदान करता है (अर्थात सीमा पर विकर्ण कारक से, में) कारक श्रेणी)। नीचे कुछ विशिष्ट उदाहरण दिए गए हैं। | ||
* उत्पाद चलो Π : समूह<sup>2</sup> → | * उत्पाद चलो Π : समूह<sup>2</sup> → कारक को पकड़ें जो प्रत्येक युग्म (''X'') को असाइन करता है<sub>1</sub>, एक्स<sub>2</sub>) उत्पाद समूह X<sub>1</sub>×X<sub>2</sub>, और चलो Δ : जीआरपी → जीआरपी<sup>2</sup> विकर्ण कारक बनें जो उत्पाद श्रेणी Grp में प्रत्येक समूह ''X'' युग्म (''X'', ''X'') को असाइन करता है<sup>2</उप>। उत्पाद समूह की सार्वभौमिक गुणधर्म दर्शाती है कि Π Δ के दाहिनी ओर है। इस संयोजन का सह-इकाई ''X'' से प्रक्षेपण मानचित्रों की परिभाषित युग्म है<sub>1</sub>×X<sub>2</sub> एक्स को<sub>1</sub> और एक्स<sub>2</sub> जो सीमा को परिभाषित करता है, और इकाई एक समूह X का X×X में विकर्ण समावेशन है (x को (x, x) से मैप करना)। | ||
: समुच्चय (गणित) का [[कार्तीय गुणन]], वलयों का गुणनफल, गुणनफल सांस्थितिकी आदि समान पैटर्न का पालन करते हैं; इसे सीधे-सीधे तरीके से केवल दो कारकों से अधिक तक बढ़ाया जा सकता है। अधिक आम तौर पर, किसी भी प्रकार की सीमा एक विकर्ण | : समुच्चय (गणित) का [[कार्तीय गुणन]], वलयों का गुणनफल, गुणनफल सांस्थितिकी आदि समान पैटर्न का पालन करते हैं; इसे सीधे-सीधे तरीके से केवल दो कारकों से अधिक तक बढ़ाया जा सकता है। अधिक आम तौर पर, किसी भी प्रकार की सीमा एक विकर्ण कारक के ठीक निकट होती है। | ||
* 'कर्नेल।' एबेलियन समूहों के होमोमोर्फिज्म की श्रेणी डी पर विचार करें। | * 'कर्नेल।' एबेलियन समूहों के होमोमोर्फिज्म की श्रेणी डी पर विचार करें। यदि एफ<sub>1</sub> : ए<sub>1</sub> → बी<sub>1</sub> और एफ<sub>2</sub> : ए<sub>2</sub> → बी<sub>2</sub> D की दो वस्तुएँ हैं, तो f से एक आकारिकी<sub>1</sub> एफ के लिए<sub>2</sub> एक युग्म है (जी<sub>''A''</sub>, जी<sub>''B''</sub>) आकारिकी जैसे कि जी<sub>''B''</sub>f<sub>1</sub> = च<sub>2</sub>g<sub>''A''</sub>. मान लीजिए कि G : D → 'Ab' वह कारक है जो प्रत्येक समाकारिता को उसका कर्नेल (बीजगणित) प्रदान करता है और F: 'Ab →' D वह कारक है जो समूह A को समाकारिता A → 0 से मैप करता है। एफ से, जो गुठली की सार्वभौमिक गुणधर्म को व्यक्त करता है। इस संयोजन का कॉउनिट होमोमोर्फिज्म के डोमेन में होमोमोर्फिज्म के कर्नेल को परिभाषित करने वाला एम्बेडिंग है, और इकाई मोर्फिज्म है जो होमोमोर्फिज्म ए → 0 के कर्नेल के साथ समूह ए की पहचान करता है। | ||
: इस उदाहरण का एक उपयुक्त रूपांतर यह भी दर्शाता है कि वेक्टर रिक्त स्थान और मॉड्यूल के लिए कर्नेल | : इस उदाहरण का एक उपयुक्त रूपांतर यह भी दर्शाता है कि वेक्टर रिक्त स्थान और मॉड्यूल के लिए कर्नेल कारक सही सन्निकट हैं। अनुरूप रूप से, कोई यह दिखा सकता है कि एबेलियन समूहों, वेक्टर रिक्त स्थान और मॉड्यूल के लिए कोकर्नेल कारक बाएं संलग्न हैं। | ||
=== कोलिमिट और विकर्ण कारक === | === कोलिमिट और विकर्ण कारक === | ||
[[सहउत्पाद]], [[पुशआउट (श्रेणी सिद्धांत)]], सह-तुल्यकारक, और [[cokernel]] एक सीमा (श्रेणी सिद्धांत) की स्पष्ट धारणा के सभी उदाहरण हैं। किसी भी कोलिमिट | [[सहउत्पाद]], [[पुशआउट (श्रेणी सिद्धांत)]], सह-तुल्यकारक, और [[cokernel]] एक सीमा (श्रेणी सिद्धांत) की स्पष्ट धारणा के सभी उदाहरण हैं। किसी भी कोलिमिट कारक को संबंधित विकर्ण कारक के पास छोड़ दिया जाता है (बशर्ते श्रेणी में प्रश्न में कोलिमिट्स का प्रकार हो), और संयोजन की इकाई कोलिमिट ऑब्जेक्ट में परिभाषित मानचित्र प्रदान करती है। नीचे कुछ विशिष्ट उदाहरण दिए गए हैं। | ||
* कोप्रोडक्ट्स। | * कोप्रोडक्ट्स। यदि ''एफ'' : एबी<sup>2</sup> → Ab हर जोड़े (''X'') को असाइन करता है<sub>1</sub>, एक्स<sub>2</sub>) एबेलियन समूहों के उनके [[समूहों का प्रत्यक्ष योग]], और यदि G : 'Ab' → 'Ab'<sup>2</sup> वह कारक है जो हर एबेलियन समूह ''Y'' की युग्म (''Y'', ''Y'') को असाइन करता है, फिर ''F'' को ''G'' के पास छोड़ दिया जाता है , फिर से प्रत्यक्ष राशियों की सार्वभौमिक गुणधर्म का परिणाम है। इस संलग्न युग्म की इकाई ''एक्स'' से समावेशन मानचित्रों की परिभाषित युग्म है<sub>1</sub> और एक्स<sub>2</sub> सीधे योग में, और counit (X,X) के प्रत्यक्ष योग से X पर वापस जाने के लिए योगात्मक मानचित्र है (प्रत्यक्ष योग का एक तत्व (a,b) X के तत्व a+b को भेजना)। | ||
सदृश्य उदाहरण सदिश समष्टियों के मॉड्यूलों के प्रत्यक्ष योग और [[मॉड्यूल (गणित)]] द्वारा, समूहों के मुक्त गुणनफल द्वारा और समुच्चयों के असंयुक्त संघ द्वारा दिए गए हैं। | सदृश्य उदाहरण सदिश समष्टियों के मॉड्यूलों के प्रत्यक्ष योग और [[मॉड्यूल (गणित)]] द्वारा, समूहों के मुक्त गुणनफल द्वारा और समुच्चयों के असंयुक्त संघ द्वारा दिए गए हैं। | ||
| Line 205: | Line 205: | ||
==== बीजगणित ==== | ==== बीजगणित ==== | ||
* किसी पहचान को एक रंग (बीजगणित) से जोड़ना। इस उदाहरण पर ऊपर प्रेरणा अनुभाग में चर्चा की गई थी। एक rng ''R'' दिया गया है, एक गुणात्मक पहचान तत्व ''R''xZ लेकर और एक Z-बिलिनियर उत्पाद को (r,0)(0,1) = (0,1)(r) के साथ परिभाषित करके जोड़ा जा सकता है ,0) = (आर,0), (आर,0)( | * किसी पहचान को एक रंग (बीजगणित) से जोड़ना। इस उदाहरण पर ऊपर प्रेरणा अनुभाग में चर्चा की गई थी। एक rng ''R'' दिया गया है, एक गुणात्मक पहचान तत्व ''R''xZ लेकर और एक Z-बिलिनियर उत्पाद को (r,0)(0,1) = (0,1)(r) के साथ परिभाषित करके जोड़ा जा सकता है ,0) = (आर,0), (आर,0)(S,0) = (रुपये,0), (0,1)(0,1) = (0,1)। यह अंतर्निहित आरएनजी के लिए एक वलय ले जाने वाले कारक के लिए बाएं संलग्न बनाता है। | ||
* एक पहचान को एक अर्धसमूह से जोड़ना। इसी तरह, एक अर्धसमूह ''S'' दिया गया है, हम एक पहचान तत्व जोड़ सकते हैं और असंयुक्त संघ ''S'' लेकर एक [[मोनोइड]] प्राप्त कर सकते हैं। <math>\sqcup</math> {1} और उस पर एक बाइनरी ऑपरेशन को परिभाषित करना जैसे कि यह | * एक पहचान को एक अर्धसमूह से जोड़ना। इसी तरह, एक अर्धसमूह ''S'' दिया गया है, हम एक पहचान तत्व जोड़ सकते हैं और असंयुक्त संघ ''S'' लेकर एक [[मोनोइड]] प्राप्त कर सकते हैं। <math>\sqcup</math> {1} और उस पर एक बाइनरी ऑपरेशन को परिभाषित करना जैसे कि यह S पर ऑपरेशन को बढ़ाता है और 1 एक पहचान तत्व है। यह निर्माण एक कारक देता है जो कारक के लिए एक बायीं ओर है जो एक मोनोइड को अंतर्निहित सेमीग्रुप में ले जाता है। | ||
* 'वलय | * 'वलय एक्संलग्नंशन।' मान लीजिए कि R और S वलय हैं, और ρ : R → S एक वलय समाकारिता है। फिर S को एक (बाएं) आर-मॉड्यूल के रूप में देखा जा सकता है, और S के साथ टेंसर उत्पाद एक कारक एफ: आर-'मॉड' → S-'मॉड' पैदा करता है। तब F को भुलक्कड़ कारक G: S-'Mod' → R-'Mod' के साथ छोड़ दिया जाता है। | ||
* 'टेन्सर-होम | * 'टेन्सर-होम संयोजन।' यदि R एक वलय है और M एक सही R-मॉड्यूल है, तो M के साथ टेन्सर उत्पाद एक कारक F : R-'Mod' → 'Ab' उत्पन्न करता है। कारक जी: 'एबी' → आर-'मॉड', जी (ए) = होम द्वारा परिभाषित<sub>'''Z'''</sub>(एम, ए) प्रत्येक एबेलियन समूह ए के लिए, एफ के दाएं संलग्न है। | ||
* 'मोनॉयड्स और ग्रुप्स से वलय्स तक।' [[इंटीग्रल मोनोइड रिंग|इंटीग्रल मोनोइड वलय]] कंस्ट्रक्शन मोनोइड्स से वलय्स तक एक | * 'मोनॉयड्स और ग्रुप्स से वलय्स तक।' [[इंटीग्रल मोनोइड रिंग|इंटीग्रल मोनोइड वलय]] कंस्ट्रक्शन मोनोइड्स से वलय्स तक एक कारक देता है। यह कारक कारक के पास छोड़ दिया जाता है जो किसी दिए गए वलय से जुड़ा होता है, इसके अंतर्निहित गुणक मोनोइड। इसी तरह, [[ अभिन्न समूह की अंगूठी | अभिन्न समूह की वलय]] कंस्ट्रक्शन ग्रुप (मैथमैटिक्स) से वलय्स तक एक कारक पैदा करता है, कारक के निकट में छोड़ दिया जाता है जो किसी दिए गए वलय को उसके इकाई्स के ग्रुप को असाइन करता है। कोई [[क्षेत्र (गणित)]] K से भी प्रारंभ कर सकता है और K के ऊपर मोनोइड और समूह के छल्ले प्राप्त करने के लिए वलयों की श्रेणी के बजाय K-Sोसिएटिव बीजगणित की श्रेणी पर विचार कर सकता है। | ||
* 'भिन्नों का क्षेत्र।' श्रेणी 'डोम' पर विचार करें<sub>m</sub> इंजेक्टिव मोर्फिज्म के साथ इंटेग्रल डोमेन का। भुलक्कड़ | * 'भिन्नों का क्षेत्र।' श्रेणी 'डोम' पर विचार करें<sub>m</sub> इंजेक्टिव मोर्फिज्म के साथ इंटेग्रल डोमेन का। भुलक्कड़ कारक फील्ड → डोम<sub>m</sub> फ्रॉम फ़ील्ड्स में एक बायाँ सन्निकट होता है—यह प्रत्येक अभिन्न डोमेन को इसके अंशों के क्षेत्र को निर्दिष्ट करता है। | ||
* बहुपद के छल्ले। घंटी बजाओ<sub>*</sub> एकता के साथ नुकीले | * बहुपद के छल्ले। घंटी बजाओ<sub>*</sub> एकता के साथ नुकीले क्रमविनिमेय वलयों की श्रेणी हो (जोड़े (ए, ए) जहां ए एक वलय है, एक ∈ ए और आकृतिवाद विशिष्ट तत्वों को संरक्षित करते हैं)। भुलक्कड़ कारक जी: वलय<sub>*</sub> → वलय का एक बायाँ जोड़ है - यह प्रत्येक वलय R को युग्म (R[x],x) प्रदान करता है जहाँ R[x] R से गुणांक के साथ बहुपद वलय है। | ||
* [[ abelianization ]]। समावेशन कारक 'जी' पर विचार करें: एबी → जीआरपी [[एबेलियन समूहों की श्रेणी]] से समूहों की श्रेणी तक। इसमें एक बायाँ जोड़ होता है जिसे एबेलियनाइज़ेशन कहा जाता है जो प्रत्येक समूह '' G '' को भागफल समूह '' G '' प्रदान करता है।<sup>अब</sup>=जी/[जी,जी]. | * [[ abelianization ]]। समावेशन कारक 'जी' पर विचार करें: एबी → जीआरपी [[एबेलियन समूहों की श्रेणी]] से समूहों की श्रेणी तक। इसमें एक बायाँ जोड़ होता है जिसे एबेलियनाइज़ेशन कहा जाता है जो प्रत्येक समूह '' G '' को भागफल समूह '' G '' प्रदान करता है।<sup>अब</sup>=जी/[जी,जी]. | ||
* 'द ग्रोथेंडिक ग्रुप'। K-सिद्धांत में, प्रस्थान का बिंदु यह देखना है कि टोपोलॉजिकल स्पेस पर [[वेक्टर बंडल]]ों की श्रेणी में मॉड्यूल के प्रत्यक्ष योग के तहत एक | * 'द ग्रोथेंडिक ग्रुप'। K-सिद्धांत में, प्रस्थान का बिंदु यह देखना है कि टोपोलॉजिकल स्पेस पर [[वेक्टर बंडल]]ों की श्रेणी में मॉड्यूल के प्रत्यक्ष योग के तहत एक क्रमविनिमेय मोनोइड संरचना होती है। औपचारिक रूप से प्रत्येक बंडल (या समकक्ष वर्ग) के लिए एक योगात्मक व्युत्क्रम जोड़कर, इस मोनॉइड, [[ग्रोथेंडिक समूह]] से एक एबेलियन समूह बना सकता है। वैकल्पिक रूप से कोई भी यह देख सकता है कि प्रत्येक समूह के लिए अंतर्निहित मोनोइड (उलटाओं को अनदेखा कर रहा है) के लिए कारक एक बाएं संलग्न है। उपरोक्त तीसरे खंड की चर्चा के अनुरूप, यह एक बार-के-लिए-एक निर्माण है। अर्थात्, [[ऋणात्मक संख्या]]ओं के निर्माण का अनुकरण किया जा सकता है; लेकिन एक [[अस्तित्व प्रमेय]] का दूसरा विकल्प है। एकात्मक बीजगणितीय संरचनाओं के मामले में, स्वयं के अस्तित्व को सार्वभौमिक बीजगणित, या [[मॉडल सिद्धांत]] के रूप में संदर्भित किया जा सकता है; स्वाभाविक रूप से श्रेणी सिद्धांत के लिए अनुकूलित एक प्रमाण भी है। | ||
* [[समूह प्रतिनिधित्व]] में 'फ्रोबेनियस पारस्परिकता': [[प्रेरित प्रतिनिधित्व]] देखें। इस उदाहरण ने लगभग आधी शताब्दी तक सामान्य सिद्धांत का पूर्वाभास किया। | * [[समूह प्रतिनिधित्व]] में 'फ्रोबेनियस पारस्परिकता': [[प्रेरित प्रतिनिधित्व]] देखें। इस उदाहरण ने लगभग आधी शताब्दी तक सामान्य सिद्धांत का पूर्वाभास किया। | ||
==== सांस्थितिकी ==== | ==== सांस्थितिकी ==== | ||
* बाएँ और दाएँ सन्निकट के साथ एक | * बाएँ और दाएँ सन्निकट के साथ एक कारक। चलो 'जी' [[टोपोलॉजिकल रिक्त स्थान]] से समुच्चय (गणित) के लिए कारक हो जो प्रत्येक टोपोलॉजिकल स्पेस को इसके अंतर्निहित समुच्चय (सांस्थितिकी को भूलकर) से जोड़ता है। ''G'' में एक बायाँ सम्मिलन ''F'' है, जो एक समुच्चय ''Y'' पर [[असतत स्थान]] बनाता है, और एक दाहिनी ओर ''H'' ''Y'' पर [[तुच्छ टोपोलॉजी|तुच्छ सांस्थितिकी]] बनाता है। | ||
* सस्पेंशन और [[लूप स्पेस]]। दिए गए टोपोलॉजिकल स्पेस ''X'' और ''Y'', स्पेस [''SX'', ''Y''] [[ होमोटॉपी कक्षाएं ]]ेस ऑफ मैप्स के [[ निलंबन (टोपोलॉजी) | निलंबन (सांस्थितिकी)]] ''SX'' से ''X'' '' से '' Y '' स्वाभाविक रूप से अंतरिक्ष के लिए आइसोमोर्फिक है [''X'', Ω''Y''] ''X'' से लूप स्पेस Ω''Y'' के मानचित्रों के होमोटोपी वर्गों के ''वाई''। इसलिए सस्पेंशन | * सस्पेंशन और [[लूप स्पेस]]। दिए गए टोपोलॉजिकल स्पेस ''X'' और ''Y'', स्पेस [''SX'', ''Y''] [[ होमोटॉपी कक्षाएं ]]ेस ऑफ मैप्स के [[ निलंबन (टोपोलॉजी) | निलंबन (सांस्थितिकी)]] ''SX'' से ''X'' '' से '' Y '' स्वाभाविक रूप से अंतरिक्ष के लिए आइसोमोर्फिक है [''X'', Ω''Y''] ''X'' से लूप स्पेस Ω''Y'' के मानचित्रों के होमोटोपी वर्गों के ''वाई''। इसलिए सस्पेंशन कारक को [[होमोटॉपी श्रेणी]] में लूप स्पेस कारक के पास छोड़ दिया जाता है, जो [[होमोटॉपी सिद्धांत]] का एक महत्वपूर्ण तथ्य है।'' | ||
* स्टोन–चेक संघनन। बता दें कि KHaus [[ कॉम्पैक्ट जगह ]] [[हॉसडॉर्फ स्पेस]] की श्रेणी है और ''G'' : KHaus → टॉप टोपोलॉजिकल स्पेस की कैटेगरी का इंक्लूजन फंक्शनल है। तब ''जी'' के पास एक बायां जोड़ है ''एफ'' : शीर्ष → खौस, स्टोन-सीच संघनन। इस संलग्न युग्म की इकाई प्रत्येक टोपोलॉजिकल स्पेस ''X'' से इसके स्टोन-सीच कॉम्पेक्टिफिकेशन में एक सतत फ़ंक्शन (सांस्थितिकी) मानचित्र उत्पन्न करती है। | * स्टोन–चेक संघनन। बता दें कि KHaus [[ कॉम्पैक्ट जगह ]] [[हॉसडॉर्फ स्पेस]] की श्रेणी है और ''G'' : KHaus → टॉप टोपोलॉजिकल स्पेस की कैटेगरी का इंक्लूजन फंक्शनल है। तब ''जी'' के पास एक बायां जोड़ है ''एफ'' : शीर्ष → खौस, स्टोन-सीच संघनन। इस संलग्न युग्म की इकाई प्रत्येक टोपोलॉजिकल स्पेस ''X'' से इसके स्टोन-सीच कॉम्पेक्टिफिकेशन में एक सतत फ़ंक्शन (सांस्थितिकी) मानचित्र उत्पन्न करती है। | ||
* ढेरों की सीधी और उलटी छवियां। हर निरंतर मानचित्र ''f'' : ''X'' → ''Y'' टोपोलॉजिकल स्पेस के मध्य एक | * ढेरों की सीधी और उलटी छवियां। हर निरंतर मानचित्र ''f'' : ''X'' → ''Y'' टोपोलॉजिकल स्पेस के मध्य एक कारक ''f'' को प्रेरित करता है<sub> ∗</sub> एक्स पर [[शीफ (गणित)]] ( समुच्चय्स, या एबेलियन ग्रुप्स, या वलय्स ...) की श्रेणी से, वाई पर [[ प्रत्यक्ष छवि ऑपरेटर ]] की इसी श्रेणी में। यह एक कारक f को भी प्रेरित करता है<sup>−1</sup> Y पर एबेलियन समूहों के ढेरों की श्रेणी से लेकर X पर एबेलियन समूहों के ढेरों की श्रेणी तक, प्रतिलोम छवि कारक। एफ<sup>-1</sup> को f के सन्निकट छोड़ दिया गया है<sub> ∗</sub>. यहाँ एक अधिक सूक्ष्म बिंदु यह है कि [[सुसंगत शीफ]] के लिए बायाँ सन्निकट शेवों ( समुच्चयों) के लिए उससे भिन्न होगा। | ||
* संयम। स्टोन द्वैत पर लेख टोपोलॉजिकल स्पेस की श्रेणी और [[ शांत स्थान ]] की श्रेणी के मध्य एक जुड़ाव का वर्णन करता है जिसे सोबरिफिकेशन के रूप में जाना जाता है। विशेष रूप से, लेख में एक अन्य संयोजन का विस्तृत विवरण भी सम्मिलित है जो [[व्यर्थ टोपोलॉजी|व्यर्थ सांस्थितिकी]] में शोषण किए गए सोबर रिक्त स्थान और स्थानिक लोकेशंस के प्रसिद्ध [[द्वंद्व (श्रेणी सिद्धांत)]] के लिए रास्ता तैयार करता है। | * संयम। स्टोन द्वैत पर लेख टोपोलॉजिकल स्पेस की श्रेणी और [[ शांत स्थान ]] की श्रेणी के मध्य एक जुड़ाव का वर्णन करता है जिसे सोबरिफिकेशन के रूप में जाना जाता है। विशेष रूप से, लेख में एक अन्य संयोजन का विस्तृत विवरण भी सम्मिलित है जो [[व्यर्थ टोपोलॉजी|व्यर्थ सांस्थितिकी]] में शोषण किए गए सोबर रिक्त स्थान और स्थानिक लोकेशंस के प्रसिद्ध [[द्वंद्व (श्रेणी सिद्धांत)]] के लिए रास्ता तैयार करता है। | ||
==== पो समुच्चय्स ==== | ==== पो समुच्चय्स ==== | ||
प्रत्येक आंशिक रूप से ऑर्डर किए गए समुच्चय को एक श्रेणी के रूप में देखा जा सकता है (जहां पो समुच्चय के तत्व श्रेणी की वस्तुएं बन जाते हैं और हमारे पास x से y तक एक ही आकारिकी होती है और केवल | प्रत्येक आंशिक रूप से ऑर्डर किए गए समुच्चय को एक श्रेणी के रूप में देखा जा सकता है (जहां पो समुच्चय के तत्व श्रेणी की वस्तुएं बन जाते हैं और हमारे पास x से y तक एक ही आकारिकी होती है और केवल यदि x ≤ y)। दो आंशिक रूप से ऑर्डर किए गए समुच्चयों के मध्य संलग्न कारक की एक युग्म को [[ गाल्वा कनेक्शन ]] कहा जाता है (या, यदि यह विरोधाभासी है, तो एंटीटोन गैलोइस कनेक्शन)। कई उदाहरणों के लिए उस लेख को देखें: गैलोज़ सिद्धांत का मामला निश्चित रूप से एक प्रमुख है। कोई भी गैलोज़ कनेक्शन [[ बंद करने वाला ऑपरेटर ]]्स को जन्म देता है और संबंधित क्लोज्ड एलिमेंट्स के मध्य ऑर्डर-प्रोटेक्टिंग बायजेक्शन को उलट देता है। | ||
जैसा कि गैल्वा समूहों के मामले में है, वास्तविक रुचि प्रायः एक [[द्वैत (गणित)]] (यानी एंटीटोन ऑर्डर आइसोमोर्फिज्म) के पत्राचार को परिष्कृत करने में होती है। [[इरविंग कपलान्स्की]] द्वारा इन पंक्तियों के साथ गैलोज़ सिद्धांत का एक उपचार यहां की सामान्य संरचना की मान्यता में प्रभावशाली था। | जैसा कि गैल्वा समूहों के मामले में है, वास्तविक रुचि प्रायः एक [[द्वैत (गणित)]] (यानी एंटीटोन ऑर्डर आइसोमोर्फिज्म) के पत्राचार को परिष्कृत करने में होती है। [[इरविंग कपलान्स्की]] द्वारा इन पंक्तियों के साथ गैलोज़ सिद्धांत का एक उपचार यहां की सामान्य संरचना की मान्यता में प्रभावशाली था। | ||
| Line 230: | Line 230: | ||
आंशिक आदेश का मामला काफी ध्यान देने योग्य परिभाषाओं को ध्वस्त करता है, लेकिन कई विषय प्रदान कर सकता है: | आंशिक आदेश का मामला काफी ध्यान देने योग्य परिभाषाओं को ध्वस्त करता है, लेकिन कई विषय प्रदान कर सकता है: | ||
* संलग्नक द्वैत या समरूपता नहीं हो सकते हैं, लेकिन उस स्थिति में उन्नयन के लिए उम्मीदवार हैं | * संलग्नक द्वैत या समरूपता नहीं हो सकते हैं, लेकिन उस स्थिति में उन्नयन के लिए उम्मीदवार हैं | ||
* क्लोजर ऑपरेटर | * क्लोजर ऑपरेटर संयोजन की उपस्थिति का संकेत दे सकते हैं, जैसा कि संबंधित मोनाड (श्रेणी सिद्धांत) (cf. Kuratowski क्लोजर स्वयंसिद्ध) | ||
* [[विलियम लॉवरे]] की एक बहुत ही सामान्य टिप्पणी<ref>[[William Lawvere|Lawvere, F. William]], "[http://www.tac.mta.ca/tac/reprints/articles/16/tr16abs.html Adjointness in foundations]", ''Dialectica'', 1969. The notation is different nowadays; an easier introduction by Peter Smith [http://www.logicmatters.net/resources/pdfs/Galois.pdf in these lecture notes], which also attribute the concept to the article cited.</ref> यह है कि वाक्यविन्यास और शब्दार्थ संलग्न हैं: C को सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) का समुच्चय मानें, और D सभी गणितीय संरचनाओं के समुच्चय का पावर समुच्चय है। C में एक सिद्धांत T के लिए, G(T) को उन सभी संरचनाओं का समुच्चय होने दें जो स्वयंसिद्ध T को संतुष्ट करते हैं; गणितीय संरचनाओं | * [[विलियम लॉवरे]] की एक बहुत ही सामान्य टिप्पणी<ref>[[William Lawvere|Lawvere, F. William]], "[http://www.tac.mta.ca/tac/reprints/articles/16/tr16abs.html Adjointness in foundations]", ''Dialectica'', 1969. The notation is different nowadays; an easier introduction by Peter Smith [http://www.logicmatters.net/resources/pdfs/Galois.pdf in these lecture notes], which also attribute the concept to the article cited.</ref> यह है कि वाक्यविन्यास और शब्दार्थ संलग्न हैं: C को सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) का समुच्चय मानें, और D सभी गणितीय संरचनाओं के समुच्चय का पावर समुच्चय है। C में एक सिद्धांत T के लिए, G(T) को उन सभी संरचनाओं का समुच्चय होने दें जो स्वयंसिद्ध T को संतुष्ट करते हैं; गणितीय संरचनाओं S के एक समुच्चय के लिए, एफ (S) को S का न्यूनतम स्वयंसिद्ध होना चाहिए। हम तब कह सकते हैं कि S जी (टी) का एक उपसमुच्चय है यदि और केवल यदि एफ (S) तार्किक रूप से टी का अर्थ है: शब्दार्थ कारक जी सिंटैक्स कारक F के ठीक निकट है। | ||
* [[विभाजन (गणित)]] (सामान्य रूप से) गुणन को उल्टा करने का प्रयास है, लेकिन ऐसी स्थितियों में जहां यह संभव नहीं है, हम प्रायः इसके बजाय एक संलग्न निर्माण करने का प्रयास करते हैं: [[आदर्श भागफल]] वलय आदर्शों और भौतिक सशर्त द्वारा गुणन से जुड़ा होता है प्रस्तावपरक कलन में [[तार्किक संयोजन]] के निकट है। | * [[विभाजन (गणित)]] (सामान्य रूप से) गुणन को उल्टा करने का प्रयास है, लेकिन ऐसी स्थितियों में जहां यह संभव नहीं है, हम प्रायः इसके बजाय एक संलग्न निर्माण करने का प्रयास करते हैं: [[आदर्श भागफल]] वलय आदर्शों और भौतिक सशर्त द्वारा गुणन से जुड़ा होता है प्रस्तावपरक कलन में [[तार्किक संयोजन]] के निकट है। | ||
==== श्रेणी सिद्धांत ==== | ==== श्रेणी सिद्धांत ==== | ||
* समानताएं। यदि ''F'' : ''D'' → ''C'' श्रेणियों का एक तुल्यता है, तो हमारे पास एक व्युत्क्रम तुल्यता ''G'' : ''C'' → ''D'' है, और दो | * समानताएं। यदि ''F'' : ''D'' → ''C'' श्रेणियों का एक तुल्यता है, तो हमारे पास एक व्युत्क्रम तुल्यता ''G'' : ''C'' → ''D'' है, और दो कारक ''F'' और ''G'' एक संलग्न युग्म बनाते हैं। इस मामले में इकाई और देश प्राकृतिक समरूपताएं हैं। | ||
* संधियों की एक श्रृंखला। कार्य करनेवाला π<sub>0</sub> जो किसी श्रेणी को असाइन करता है, उसके कनेक्टेड घटकों का समुच्चय | * संधियों की एक श्रृंखला। कार्य करनेवाला π<sub>0</sub> जो किसी श्रेणी को असाइन करता है, उसके कनेक्टेड घटकों का समुच्चय कारक डी से बाएँ-संलग्न होता है जो उस समुच्चय पर असतत श्रेणी को समुच्चय करता है। इसके अतिरिक्त, D ऑब्जेक्ट कारक U के बाएँ-संलग्न है जो प्रत्येक श्रेणी को उसकी वस्तुओं के समुच्चय को असाइन करता है, और अंत में U को A से बाएँ-संलग्न करता है जो प्रत्येक समुच्चय को अविवेकी श्रेणी प्रदान करता है<ref>{{cite web |title=अविवेकी श्रेणी|url=http://ncatlab.org/nlab/show/indiscrete+category |website=nLab}}</ref> उस समुच्चय पर। | ||
* घातीय वस्तु। एक कार्तीय बंद श्रेणी में -×''ए'' द्वारा दिए गए | * घातीय वस्तु। एक कार्तीय बंद श्रेणी में -×''ए'' द्वारा दिए गए एंडोकारक ''सी'' → ''सी'' का दाहिना जोड़ है -<sup>ए</सुप>। इस युग्म को प्रायः [[करी]] और अनकरींग कहा जाता है; कई विशेष मामलों में, वे निरंतर भी होते हैं और एक होमियोमोर्फिज्म बनाते हैं। | ||
<!--* '''Limits and Colimits.''' Limits and colimits can actually be viewed using adjoints when looking at functor categories. If C and D are two categories, then the functor '''limit''' from the category of functors from C to D to the category of constant functors from C to D which takes a given functor from C to D to its limit is in fact right-adjoint to the forgetful functor from the category of constant functors from C to D to the category of functors from C to D. Colimit is similarly the left-adjoint of this forgetful functor from the category of constant functors from C to D to the category of functors from C to D. --> | <!--* '''Limits and Colimits.''' Limits and colimits can actually be viewed using adjoints when looking at functor categories. If C and D are two categories, then the functor '''limit''' from the category of functors from C to D to the category of constant functors from C to D which takes a given functor from C to D to its limit is in fact right-adjoint to the forgetful functor from the category of constant functors from C to D to the category of functors from C to D. Colimit is similarly the left-adjoint of this forgetful functor from the category of constant functors from C to D to the category of functors from C to D. --> | ||
==== श्रेणीबद्ध तर्क ==== | ==== श्रेणीबद्ध तर्क ==== | ||
* परिमाणीकरण। | * परिमाणीकरण। यदि <math>\phi_Y</math> कुछ गुणधर्म को व्यक्त करने वाला एक एकात्मक विधेय है, तो एक पर्याप्त रूप से मजबूत समुच्चय सिद्धांत समुच्चय के अस्तित्व को साबित कर सकता है <math>Y=\{y\mid\phi_Y(y)\}</math> गुणधर्म को पूरा करने वाली शर्तों की। एक उचित उपसमुच्चय <math>T\subset Y</math> और संबंधित इंजेक्शन <math>T</math> में <math>Y</math> एक विधेय द्वारा विशेषता है <math>\phi_T(y)=\phi_Y(y)\land\varphi(y)</math> सख्ती से अधिक प्रतिबंधात्मक गुणधर्म व्यक्त करना। | ||
: विधेय तर्क में [[परिमाणक (तर्क)]]तर्क) की भूमिका प्रस्ताव बनाने में है और संभवतः अधिक चर के साथ सूत्रों को बंद करके परिष्कृत विधेय को व्यक्त करने में भी है। उदाहरण के लिए, एक विधेय पर विचार करें <math>\psi_f</math> प्रकार के दो खुले चर के साथ <math>X</math> और <math>Y</math>. बंद करने के लिए क्वांटिफायर का उपयोग करना <math>X</math>, हम समुच्चय बना सकते हैं | : विधेय तर्क में [[परिमाणक (तर्क)]]तर्क) की भूमिका प्रस्ताव बनाने में है और संभवतः अधिक चर के साथ सूत्रों को बंद करके परिष्कृत विधेय को व्यक्त करने में भी है। उदाहरण के लिए, एक विधेय पर विचार करें <math>\psi_f</math> प्रकार के दो खुले चर के साथ <math>X</math> और <math>Y</math>. बंद करने के लिए क्वांटिफायर का उपयोग करना <math>X</math>, हम समुच्चय बना सकते हैं | ||
::<math>\{y\in Y\mid \exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}</math> | ::<math>\{y\in Y\mid \exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}</math> | ||
: सभी तत्वों का <math>y</math> का <math>Y</math> जिसके लिए एक है <math>x</math> जिसके लिए यह है <math>\psi_f</math>-संबंधित, और जो स्वयं | : सभी तत्वों का <math>y</math> का <math>Y</math> जिसके लिए एक है <math>x</math> जिसके लिए यह है <math>\psi_f</math>-संबंधित, और जो स्वयं गुणधर्म की विशेषता है <math>\phi_{S}</math>. चौराहे की तरह सैद्धांतिक संचालन समुच्चय करें <math>\cap</math> दो समुच्चयों का संयोजन सीधे संयोजन से मेल खाता है <math>\land</math> विधेय का। [[श्रेणीबद्ध तर्क]] में, [[टोपोस सिद्धांत]] का एक उपक्षेत्र, क्वांटिफ़ायर की पहचान पुलबैक कारक के निकटवर्ती के साथ की जाती है। इस तरह की प्राप्ति को समुच्चय थ्योरी का उपयोग करते हुए प्रस्तावपरक तर्क की चर्चा के अनुरूप देखा जा सकता है, लेकिन सामान्य परिभाषा तर्कों की एक समृद्ध श्रेणी के लिए बनाती है। | ||
: तो एक वस्तु पर विचार करें <math>Y</math> पुलबैक वाली श्रेणी में। कोई रूपवाद <math>f:X\to Y</math> आप एक पदाधिकारी का परिचय देंगे | : तो एक वस्तु पर विचार करें <math>Y</math> पुलबैक वाली श्रेणी में। कोई रूपवाद <math>f:X\to Y</math> आप एक पदाधिकारी का परिचय देंगे | ||
::<math>f^{*} : \text{Sub}(Y) \longrightarrow \text{Sub}(X)</math> : उस श्रेणी पर जो सबऑब्जेक्ट का प्रीऑर्डर है। यह सबऑब्जेक्ट्स को मैप करता है <math>T</math> का <math>Y</math> (तकनीकी रूप से: मोनोमोर्फिज्म क्लास ऑफ <math>T\to Y</math>) पुलबैक के लिए <math>X\times_Y T</math>. यदि इस | ::<math>f^{*} : \text{Sub}(Y) \longrightarrow \text{Sub}(X)</math> : उस श्रेणी पर जो सबऑब्जेक्ट का प्रीऑर्डर है। यह सबऑब्जेक्ट्स को मैप करता है <math>T</math> का <math>Y</math> (तकनीकी रूप से: मोनोमोर्फिज्म क्लास ऑफ <math>T\to Y</math>) पुलबैक के लिए <math>X\times_Y T</math>. यदि इस कारक के पास बाएँ या दाएँ सन्निकटन है, तो उन्हें कहा जाता है <math>\exists_f</math> और <math>\forall_f</math>, क्रमश।<ref>[[Saunders Mac Lane|Mac Lane, Saunders]]; Moerdijk, Ieke (1992) ''Sheaves in Geometry and Logic'', Springer-Verlag. {{ISBN|0-387-97710-4}} ''See page 58''</ref> वे दोनों से मानचित्र करते हैं <math>\text{Sub}(X)</math> वापस <math>\text{Sub}(Y)</math>. बहुत मोटे तौर पर, एक डोमेन दिया गया <math>S\subset X</math> के माध्यम से व्यक्त संबंध को मापने के लिए <math>f</math> ओवर, कारक/क्वांटिफायर बंद हो जाता है <math>X</math> में <math>X\times_Y T</math> और इसके द्वारा निर्दिष्ट सब समुच्चय लौटाता है <math>Y</math>. | ||
: उदाहरण: में <math>\operatorname{Set}</math>, समुच्चय और फ़ंक्शंस की श्रेणी, कैनोनिकल सबोबजेक्ट्स सब समुच्चय (या बल्कि उनके कैनोनिकल इंजेक्शन) हैं। पुलबैक <math>f^{*}T=X\times_Y T</math> एक उपसमुच्चय का एक इंजेक्शन <math>T</math> में <math>Y</math> साथ में <math>f</math> सबसे बड़े समुच्चय के रूप में जाना जाता है जिसके बारे में सब कुछ जानता है <math>f</math> और का इंजेक्शन <math>T</math> में <math>Y</math>. इसलिए यह उलटी छवि के साथ (आक्षेप में) निकलता है <math>f^{-1}[T]\subseteq X</math>. | : उदाहरण: में <math>\operatorname{Set}</math>, समुच्चय और फ़ंक्शंस की श्रेणी, कैनोनिकल सबोबजेक्ट्स सब समुच्चय (या बल्कि उनके कैनोनिकल इंजेक्शन) हैं। पुलबैक <math>f^{*}T=X\times_Y T</math> एक उपसमुच्चय का एक इंजेक्शन <math>T</math> में <math>Y</math> साथ में <math>f</math> सबसे बड़े समुच्चय के रूप में जाना जाता है जिसके बारे में सब कुछ जानता है <math>f</math> और का इंजेक्शन <math>T</math> में <math>Y</math>. इसलिए यह उलटी छवि के साथ (आक्षेप में) निकलता है <math>f^{-1}[T]\subseteq X</math>. | ||
| Line 255: | Line 255: | ||
\cong | \cong | ||
{\operatorname{Hom}}(S,f^{*}T),</math> | {\operatorname{Hom}}(S,f^{*}T),</math> | ||
: जो यहाँ सिर्फ | : जो यहाँ सिर्फ अर्थ है | ||
::<math>\exists_f S\subseteq T | ::<math>\exists_f S\subseteq T | ||
\leftrightarrow | \leftrightarrow | ||
S\subseteq f^{-1}[T]</math>. | S\subseteq f^{-1}[T]</math>. | ||
:विचार करना <math> f[S] \subseteq T </math>. हम देखते हैं <math>S\subseteq f^{-1}[f[S]]\subseteq f^{-1}[T]</math>. इसके विपरीत, यदि एक के लिए <math>x\in S</math> हमारे पास भी है <math>x\in f^{-1}[T]</math>, तो स्पष्ट रूप से <math> f(x)\in T </math>. इसलिए <math> S \subseteq f^{-1}[T] </math> तात्पर्य <math> f[S] \subseteq T </math>. हम यह निष्कर्ष निकालते हैं कि उलटा छवि | :विचार करना <math> f[S] \subseteq T </math>. हम देखते हैं <math>S\subseteq f^{-1}[f[S]]\subseteq f^{-1}[T]</math>. इसके विपरीत, यदि एक के लिए <math>x\in S</math> हमारे पास भी है <math>x\in f^{-1}[T]</math>, तो स्पष्ट रूप से <math> f(x)\in T </math>. इसलिए <math> S \subseteq f^{-1}[T] </math> तात्पर्य <math> f[S] \subseteq T </math>. हम यह निष्कर्ष निकालते हैं कि उलटा छवि कारक के निकट में बायाँ है <math>f^{*}</math> प्रत्यक्ष छवि द्वारा दिया गया है। यहाँ इस परिणाम का एक लक्षण वर्णन है, जो तार्किक व्याख्या से अधिक मेल खाता है: की छवि <math>S</math> अंतर्गत <math>\exists_f </math> का पूरा समुच्चय है <math>y</math>है, ऐसा है <math> f^{-1} [\{y\}] \cap S</math> खाली नहीं है। यह कार्य करता है क्योंकि यह ठीक उन्हीं की उपेक्षा करता है <math>y\in Y</math> जो के पूरक हैं <math>f[S]</math>. इसलिए | ||
::<math> | ::<math> | ||
\exists_f S | \exists_f S | ||
| Line 267: | Line 267: | ||
</math> | </math> | ||
: इसे हमारी प्रेरणा के अनुरूप रखें <math>\{y\in Y\mid\exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}</math>. | : इसे हमारी प्रेरणा के अनुरूप रखें <math>\{y\in Y\mid\exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}</math>. | ||
: उलटा छवि | : उलटा छवि कारक का दाहिना जोड़ दिया गया है (यहाँ गणना किए बिना)। | ||
::<math> | ::<math> | ||
\forall_f S | \forall_f S | ||
| Line 283: | Line 283: | ||
के आधार पर श्रेणी निर्धारित करें <math>M(\R)</math>, प्रायिकता वितरण का समुच्चय <math>\R</math> सीमित अपेक्षा के साथ। आकारिकी को परिभाषित कीजिए <math>M(\R)</math> एक वितरण पर मूल्यांकन किए गए affine कार्यों के रूप में। यानी किसी भी एफ़िन फंक्शन के लिए <math>f(x) = ax + b</math> और कोई भी <math>\mu\in M(\R)</math>, आकारिकी को परिभाषित करें <math>(\mu, f): r \to \mu\circ f^{-1}</math>. | के आधार पर श्रेणी निर्धारित करें <math>M(\R)</math>, प्रायिकता वितरण का समुच्चय <math>\R</math> सीमित अपेक्षा के साथ। आकारिकी को परिभाषित कीजिए <math>M(\R)</math> एक वितरण पर मूल्यांकन किए गए affine कार्यों के रूप में। यानी किसी भी एफ़िन फंक्शन के लिए <math>f(x) = ax + b</math> और कोई भी <math>\mu\in M(\R)</math>, आकारिकी को परिभाषित करें <math>(\mu, f): r \to \mu\circ f^{-1}</math>. | ||
फिर[[डायराक डेल्टा माप]] उपाय एक | फिर[[डायराक डेल्टा माप]] उपाय एक कारक को परिभाषित करता है: <math>\delta: x\mapsto \delta_x</math>, और उम्मीद एक और कारक को परिभाषित करती है <math>\mathbb E: \mu \mapsto \mathbb E[\mu]</math>, और वे संलग्न हैं: <math>\mathbb E \dashv \delta</math>. (कुछ विचलित होकर, <math>\mathbb E</math> हालांकि, बाएं संलग्न है <math>\mathbb E</math> भुलक्कड़ है और <math>\delta</math> आज़ाद है ।) | ||
== पूर्ण रूप से संयोजन == | == पूर्ण रूप से संयोजन == | ||
| Line 290: | Line 290: | ||
श्रेणियों सी और डी के मध्य एक संयोजन के होते हैं | श्रेणियों सी और डी के मध्य एक संयोजन के होते हैं | ||
* एक | * एक कारक F : D → C को 'लेफ्ट संलग्न' कहा जाता है | ||
* एक | * एक कारक G : C → D को 'दाहिना सन्निकट' कहा जाता है | ||
* एक प्राकृतिक समरूपता Φ : hom<sub>''C''</sub>(F–,–) → होम<sub>''D''</sub>(-, जी-) | * एक प्राकृतिक समरूपता Φ : hom<sub>''C''</sub>(F–,–) → होम<sub>''D''</sub>(-, जी-) | ||
* एक प्राकृतिक परिवर्तन ε : FG → 1<sub>''C''</sub> कॉउंट कहा जाता है | * एक प्राकृतिक परिवर्तन ε : FG → 1<sub>''C''</sub> कॉउंट कहा जाता है | ||
*एक प्राकृतिक परिवर्तन η : 1<sub>''D''</sub> → GF को ' | *एक प्राकृतिक परिवर्तन η : 1<sub>''D''</sub> → GF को 'इकाई' कहा जाता है | ||
एक समतुल्य सूत्रीकरण, जहाँ X, C की किसी वस्तु को दर्शाता है और Y, D की किसी वस्तु को दर्शाता है, इस प्रकार है: | एक समतुल्य सूत्रीकरण, जहाँ X, C की किसी वस्तु को दर्शाता है और Y, D की किसी वस्तु को दर्शाता है, इस प्रकार है: | ||
| Line 321: | Line 321: | ||
===सार्वभौमिक रूपात्मक होम- समुच्चय संयोजन === को प्रेरित करते हैं | ===सार्वभौमिक रूपात्मक होम- समुच्चय संयोजन === को प्रेरित करते हैं | ||
एक सही संलग्न | एक सही संलग्न कारक जी दिया गया: सी → डी; प्रारंभिक आकारिता के अर्थ में, निम्न चरणों का पालन करके प्रेरित होम- समुच्चय संयोजन का निर्माण किया जा सकता है। | ||
* एक | * एक कारक एफ : डी → सी और एक प्राकृतिक परिवर्तन η का निर्माण करें। | ||
** डी में प्रत्येक वस्तु वाई के लिए, एक प्रारंभिक आकारिकी चुनें (एफ (वाई), η<sub>''Y''</sub>) वाई से जी तक, ताकि η<sub>''Y''</sub> : वाई → जी (एफ (वाई))। हमारे पास वस्तुओं पर F का मानचित्र और आकारिकी η का वर्ग है। | ** डी में प्रत्येक वस्तु वाई के लिए, एक प्रारंभिक आकारिकी चुनें (एफ (वाई), η<sub>''Y''</sub>) वाई से जी तक, ताकि η<sub>''Y''</sub> : वाई → जी (एफ (वाई))। हमारे पास वस्तुओं पर F का मानचित्र और आकारिकी η का वर्ग है। | ||
** प्रत्येक f : Y के लिए<sub>0</sub> → और<sub>1</sub>, के रूप में (एफ (वाई<sub>0</sub>), द<sub>''Y''<sub>0</sub></sub>) एक प्रारंभिक आकारिकी है, तो η का गुणनखंड करें<sub>''Y''<sub>1</sub></उप> <small>o</small> एफ η के साथ<sub>''Y''<sub>0</sub></sub> और F(f) प्राप्त करें : F(Y उप>0</उप>) → एफ(वाई<sub>1</sub>). यह आकारिता पर F का मानचित्र है। | ** प्रत्येक f : Y के लिए<sub>0</sub> → और<sub>1</sub>, के रूप में (एफ (वाई<sub>0</sub>), द<sub>''Y''<sub>0</sub></sub>) एक प्रारंभिक आकारिकी है, तो η का गुणनखंड करें<sub>''Y''<sub>1</sub></उप> <small>o</small> एफ η के साथ<sub>''Y''<sub>0</sub></sub> और F(f) प्राप्त करें : F(Y उप>0</उप>) → एफ(वाई<sub>1</sub>). यह आकारिता पर F का मानचित्र है। | ||
** उस कारक के आने वाले आरेख का तात्पर्य प्राकृतिक परिवर्तनों के आने वाले आरेख से है, इसलिए η : 1<sub>''D''</sub> → जी <small>o</small> एफ एक प्राकृतिक परिवर्तन है। | ** उस कारक के आने वाले आरेख का तात्पर्य प्राकृतिक परिवर्तनों के आने वाले आरेख से है, इसलिए η : 1<sub>''D''</sub> → जी <small>o</small> एफ एक प्राकृतिक परिवर्तन है। | ||
** उस गुणनखंड की विशिष्टता और यह कि G एक | ** उस गुणनखंड की विशिष्टता और यह कि G एक कारक है, का तात्पर्य है कि आकारिकी पर F का मानचित्र रचनाओं और पहचानों को संरक्षित करता है। | ||
* एक प्राकृतिक समरूपता का निर्माण करें Φ : hom<sub>''C''</sub>(एफ-,-) → होम<sub>''D''</sub>(-,जी-)। | * एक प्राकृतिक समरूपता का निर्माण करें Φ : hom<sub>''C''</sub>(एफ-,-) → होम<sub>''D''</sub>(-,जी-)। | ||
** सी में प्रत्येक वस्तु एक्स के लिए, डी में प्रत्येक वस्तु वाई, (एफ (वाई), η के रूप में<sub>''Y''</sub>) एक प्रारंभिक रूपवाद है, फिर Φ<sub>''Y'', ''X''</sub> एक आपत्ति है, जहां Φ<sub>''Y'', ''X''</sub>(एफ: एफ (वाई) → एक्स) = जी (एफ) <small>o</small> η<sub>''Y''</sub>. | ** सी में प्रत्येक वस्तु एक्स के लिए, डी में प्रत्येक वस्तु वाई, (एफ (वाई), η के रूप में<sub>''Y''</sub>) एक प्रारंभिक रूपवाद है, फिर Φ<sub>''Y'', ''X''</sub> एक आपत्ति है, जहां Φ<sub>''Y'', ''X''</sub>(एफ: एफ (वाई) → एक्स) = जी (एफ) <small>o</small> η<sub>''Y''</sub>. | ||
** η एक प्राकृतिक परिवर्तन है, जी एक | ** η एक प्राकृतिक परिवर्तन है, जी एक कारक है, फिर किसी वस्तु एक्स के लिए<sub>0</sub>, एक्स<sub>1</sub> C में, कोई भी वस्तु Y<sub>0</sub>, और<sub>1</sub> डी में, कोई एक्स: एक्स<sub>0</sub> → एक्स<sub>1</sub>, कोई वाई: वाई<sub>1</sub> → और<sub>0</sub>, हमारे पास Φ है<sub>''Y''<sub>1</sub>, एक्स<sub>1</sub></ उप> (एक्स <small>o</small> f <small>o</small> एफ (वाई)) = जी (एक्स) <small>o</small> जी (एफ) <small>o</small> जी (एफ (वाई)) <small>o</small> η<sub>''Y''<sub>1</sub></ उप> = जी (एक्स) <small>o</small> जी (एफ) <small>o</small> η<sub>''Y''<sub>0</sub></उप> <small>o</small> वाई = जी (एक्स) <small>o</small> Φ<sub>''Y''<sub>0</sub>, एक्स<sub>0</sub></उप>(एफ) <small>o</small> y, और फिर Φ दोनों तर्कों में स्वाभाविक है। | ||
एक समान तर्क किसी को | एक समान तर्क किसी को सीमावर्ती मोर्फिज्म से बाएं संलग्न कारक के लिए एक होम- समुच्चय संयोजन बनाने की अनुमति देता है। (निर्माण जो एक सही संलग्न के साथ प्रारंभ होता है, थोड़ा अधिक सामान्य है, क्योंकि कई संलग्न जोड़े में सही संलग्न एक तुच्छ रूप से परिभाषित समावेशन या भुलक्कड़ कारक है।) | ||
=== देश-इकाई अधिष्ठापन होम- समुच्चय संयोजन === को प्रेरित करता है | === देश-इकाई अधिष्ठापन होम- समुच्चय संयोजन === को प्रेरित करता है | ||
| Line 343: | Line 343: | ||
: परिवर्तन Φ और Ψ प्राकृतिक हैं क्योंकि η और ε प्राकृतिक हैं। | : परिवर्तन Φ और Ψ प्राकृतिक हैं क्योंकि η और ε प्राकृतिक हैं। | ||
*इस क्रम में, कि F एक | *इस क्रम में, कि F एक कारक है, कि ε प्राकृतिक है, और सह-इकाई-इकाई समीकरण 1<sub>''FY''</sub> = ई<sub>''FY''</sub> <small>o</small> एफ (एन<sub>''Y''</sub>), हमने प्राप्त | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\Psi\Phi f &= \varepsilon_X\circ FG(f)\circ F(\eta_Y) \\ | \Psi\Phi f &= \varepsilon_X\circ FG(f)\circ F(\eta_Y) \\ | ||
| Line 350: | Line 350: | ||
:इसलिए ΨΦ पहचान परिवर्तन है। | :इसलिए ΨΦ पहचान परिवर्तन है। | ||
*Dually, उस G का उपयोग करना एक | *Dually, उस G का उपयोग करना एक कारक है, कि η प्राकृतिक है, और सह-इकाई-इकाई समीकरण 1<sub>''GX''</sub> = जी (ई<sub>''X''</sub>) <small>o</small> η<sub>''GX''</sub>, हमने प्राप्त | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\Phi\Psi g &= G(\varepsilon_X)\circ GF(g)\circ\eta_Y \\ | \Phi\Psi g &= G(\varepsilon_X)\circ GF(g)\circ\eta_Y \\ | ||
&= G(\varepsilon_X)\circ\eta_{GX}\circ g \\ | &= G(\varepsilon_X)\circ\eta_{GX}\circ g \\ | ||
&= 1_{GX}\circ g = g\end{align}</math> | &= 1_{GX}\circ g = g\end{align}</math> | ||
:इसलिए ΦΨ पहचान परिवर्तन है। इस प्रकार Φ व्युत्क्रम Φ के साथ एक प्राकृतिक समरूपता है<sup>−1</सुप> = | :इसलिए ΦΨ पहचान परिवर्तन है। इस प्रकार Φ व्युत्क्रम Φ के साथ एक प्राकृतिक समरूपता है<sup>−1</सुप> = पीS. | ||
=== होम- समुच्चय | === होम- समुच्चय संयोजन उपरोक्त सभी === को प्रेरित करता है | ||
दिए गए फ़ैनक्टर्स F : D → C, G : C → D, और एक होम- समुच्चय | दिए गए फ़ैनक्टर्स F : D → C, G : C → D, और एक होम- समुच्चय संयोजन Φ : होम<sub>''C''</sub>(एफ-,-) → होम<sub>''D''</sub>(-, जी-), कोई एक इकाई-इकाई संयोजन का निर्माण कर सकता है | ||
:<math>(\varepsilon,\eta):F\dashv G</math>, | :<math>(\varepsilon,\eta):F\dashv G</math>, | ||
| Line 367: | Line 367: | ||
*होने देना<math>\varepsilon_X=\Phi_{GX,X}^{-1}(1_{GX})\in\mathrm{hom}_C(FGX,X)</math>सी में प्रत्येक एक्स के लिए, जहां<math>1_{GX}\in\mathrm{hom}_D(GX,GX)</math>पहचान रूपवाद है। | *होने देना<math>\varepsilon_X=\Phi_{GX,X}^{-1}(1_{GX})\in\mathrm{hom}_C(FGX,X)</math>सी में प्रत्येक एक्स के लिए, जहां<math>1_{GX}\in\mathrm{hom}_D(GX,GX)</math>पहचान रूपवाद है। | ||
*होने देना<math>\eta_Y=\Phi_{Y,FY}(1_{FY})\in\mathrm{hom}_D(Y,GFY)</math>डी में प्रत्येक वाई के लिए, जहां<math>1_{FY}\in\mathrm{hom}_C(FY,FY)</math>पहचान रूपवाद है। | *होने देना<math>\eta_Y=\Phi_{Y,FY}(1_{FY})\in\mathrm{hom}_D(Y,GFY)</math>डी में प्रत्येक वाई के लिए, जहां<math>1_{FY}\in\mathrm{hom}_C(FY,FY)</math>पहचान रूपवाद है। | ||
* Φ की विशिष्टता और स्वाभाविकता का अर्थ है कि प्रत्येक (GX, ε<sub>''X''</sub>) C में F से X तक एक | * Φ की विशिष्टता और स्वाभाविकता का अर्थ है कि प्रत्येक (GX, ε<sub>''X''</sub>) C में F से X तक एक सीमावर्ती आकारिकी है, और प्रत्येक (FY, η<sub>''Y''</sub>) डी में वाई से जी तक प्रारंभिक आकारिकी है। | ||
*Φ की स्वाभाविकता का तात्पर्य ε और η की स्वाभाविकता और दो सूत्रों से है | *Φ की स्वाभाविकता का तात्पर्य ε और η की स्वाभाविकता और दो सूत्रों से है | ||
:<math>\begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\ | :<math>\begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\ | ||
| Line 373: | Line 373: | ||
: प्रत्येक f के लिए: FY → X और g: Y → GX (जो पूर्णतया से Φ निर्धारित करता है)। | : प्रत्येक f के लिए: FY → X और g: Y → GX (जो पूर्णतया से Φ निर्धारित करता है)। | ||
*X और η के लिए FY को प्रतिस्थापित करना<sub>''Y''</sub> = एफ<sub>''Y'', ''FY''</sub>(1<sub>''FY''</sub>) दूसरे सूत्र में जी के लिए पहला | *X और η के लिए FY को प्रतिस्थापित करना<sub>''Y''</sub> = एफ<sub>''Y'', ''FY''</sub>(1<sub>''FY''</sub>) दूसरे सूत्र में जी के लिए पहला सह-इकाई-इकाई समीकरण देता है | ||
:<math>1_{FY} = \varepsilon_{FY}\circ F(\eta_Y)</math>, | :<math>1_{FY} = \varepsilon_{FY}\circ F(\eta_Y)</math>, | ||
: और Y और ε के लिए GX को प्रतिस्थापित करना<sub>X</sub> = एफ<sup>-1</sup><sub>''GX, X''</sub>(1<sub>''GX''</sub>) पहले सूत्र में f के लिए दूसरा | : और Y और ε के लिए GX को प्रतिस्थापित करना<sub>X</sub> = एफ<sup>-1</sup><sub>''GX, X''</sub>(1<sub>''GX''</sub>) पहले सूत्र में f के लिए दूसरा सह-इकाई-इकाई समीकरण देता है | ||
:<math>1_{GX} = G(\varepsilon_X)\circ\eta_{GX}</math>. | :<math>1_{GX} = G(\varepsilon_X)\circ\eta_{GX}</math>. | ||
| Line 382: | Line 382: | ||
=== अस्तित्व === | === अस्तित्व === | ||
{{See also|Formal criteria for adjoint functors}} | {{See also|Formal criteria for adjoint functors}} | ||
{{anchor|Freyd's adjoint functor theorem}}प्रत्येक | {{anchor|Freyd's adjoint functor theorem}}प्रत्येक कारक G : C → D बाएँ संलग्न को स्वीकार नहीं करता है। यदि सी एक पूर्ण श्रेणी है, तो बाएं संलग्न वाले कारक को पीटर जे। फ़्रीड के 'एडज्वाइंट कारक प्रमेय' द्वारा वर्णित किया जा सकता है: जी के पास एक बाएं संलग्न है यदि और केवल यदि यह सीमा (श्रेणी सिद्धांत) है # सीमा का संरक्षण और एक निश्चित लघुता की स्थिति संतुष्ट होती है: D की प्रत्येक वस्तु Y के लिए आकारिकी का एक वर्ग उपस्थित होता है | ||
:एफ<sub>''i''</sub> : वाई → जी (एक्स<sub>''i''</sub>) | :एफ<sub>''i''</sub> : वाई → जी (एक्स<sub>''i''</sub>) | ||
| Line 397: | Line 397: | ||
: टी : एक्स<sub>''i''</sub> → एक्स ∈ सी। | : टी : एक्स<sub>''i''</sub> → एक्स ∈ सी। | ||
एक समान कथन उन | एक समान कथन उन कारक को सही संलग्न के साथ दर्शाता है। | ||
एक महत्वपूर्ण विशेष मामला [[स्थानीय रूप से प्रस्तुत करने योग्य श्रेणी]] का है। | एक महत्वपूर्ण विशेष मामला [[स्थानीय रूप से प्रस्तुत करने योग्य श्रेणी]] का है। यदि <math>F : C \to D</math> तब स्थानीय रूप से प्रस्तुत करने योग्य श्रेणियों के मध्य एक कारक है | ||
* F का दाहिना जोड़ है यदि और केवल यदि F छोटे कोलिमिट को संरक्षित करता है | * F का दाहिना जोड़ है यदि और केवल यदि F छोटे कोलिमिट को संरक्षित करता है | ||
* F का एक बायाँ जोड़ है यदि और केवल यदि F छोटी सीमाओं को बनाए रखता है और एक सुलभ | * F का एक बायाँ जोड़ है यदि और केवल यदि F छोटी सीमाओं को बनाए रखता है और एक सुलभ कारक है | ||
=== विशिष्टता === | === विशिष्टता === | ||
| Line 408: | Line 408: | ||
यदि फलक F : D → C के दो दाएँ सन्निकट G और G' हैं, तो G और G' प्राकृतिक परिवर्तन हैं। बाएं संलग्न के लिए भी यही सच है। | यदि फलक F : D → C के दो दाएँ सन्निकट G और G' हैं, तो G और G' प्राकृतिक परिवर्तन हैं। बाएं संलग्न के लिए भी यही सच है। | ||
इसके विपरीत, यदि F को G के निकट छोड़ दिया जाता है, और G स्वाभाविक रूप से G' के समतुल्य है, तो F को भी G' के समीप छोड़ दिया जाता है। अधिक आम तौर पर, | इसके विपरीत, यदि F को G के निकट छोड़ दिया जाता है, और G स्वाभाविक रूप से G' के समतुल्य है, तो F को भी G' के समीप छोड़ दिया जाता है। अधिक आम तौर पर, यदि 〈F, G, ε, η〉 एक संयोजन है (Counit-unit (ε,η) के साथ) और | ||
:σ : एफ → एफ' | :σ : एफ → एफ' | ||
: τ : जी → जी ' | : τ : जी → जी ' | ||
| Line 420: | Line 420: | ||
=== रचना === | === रचना === | ||
संयोजनों की रचना प्राकृतिक रूप से की जा सकती है। विशेष रूप से, यदि 〈F, G, ε, η〉 C और D के मध्य एक संयोजन है और 〈F′, G′, ε′, η′〉, D और E के मध्य एक संयोजन है तो | संयोजनों की रचना प्राकृतिक रूप से की जा सकती है। विशेष रूप से, यदि 〈F, G, ε, η〉 C और D के मध्य एक संयोजन है और 〈F′, G′, ε′, η′〉, D और E के मध्य एक संयोजन है तो कारक | ||
:<math>F \circ F' : E \rightarrow C</math> | :<math>F \circ F' : E \rightarrow C</math> | ||
से सटा हुआ है | से सटा हुआ है | ||
| Line 435: | Line 435: | ||
=== सीमा संरक्षण === | === सीमा संरक्षण === | ||
संलग्नकों की सबसे महत्वपूर्ण | संलग्नकों की सबसे महत्वपूर्ण गुणधर्म उनकी निरंतरता है: प्रत्येक कारक जिसमें बाएं संलग्न है (और इसलिए दाएं संलग्न है) निरंतर है (यानी श्रेणी सैद्धांतिक अर्थ में सीमा (श्रेणी सिद्धांत) के साथ संचार); प्रत्येक कारक जिसका एक दाहिना जोड़ है (और इसलिए एक बायां संलग्न है) सह-सतत है (यानी सीमा (श्रेणी सिद्धांत) के साथ यात्रा करता है)। | ||
चूंकि गणित में कई सामान्य रचनाएं लिमिट या कोलिमिट हैं, इसलिए यह जानकारी का खजाना प्रदान करती है। उदाहरण के लिए: | चूंकि गणित में कई सामान्य रचनाएं लिमिट या कोलिमिट हैं, इसलिए यह जानकारी का खजाना प्रदान करती है। उदाहरण के लिए: | ||
* वस्तुओं के एक उत्पाद (श्रेणी सिद्धांत) के लिए एक सही संलग्न | * वस्तुओं के एक उत्पाद (श्रेणी सिद्धांत) के लिए एक सही संलग्न कारक लगाने से छवियों का उत्पाद प्राप्त होता है; | ||
* वस्तुओं के एक सह-उत्पाद के लिए एक बाएं संलग्न | * वस्तुओं के एक सह-उत्पाद के लिए एक बाएं संलग्न कारक को अनुप्रयुक्त करने से छवियों का प्रतिफल प्राप्त होता है; | ||
* दो एबेलियन श्रेणियों के मध्य हर दाहिनी ओर का | * दो एबेलियन श्रेणियों के मध्य हर दाहिनी ओर का कारक बाएँ सटीक कारक है; | ||
* दो एबेलियन श्रेणियों के मध्य प्रत्येक बाएं संलग्न | * दो एबेलियन श्रेणियों के मध्य प्रत्येक बाएं संलग्न कारक सही सटीक कारक है। | ||
=== एडिटिविटी === | === एडिटिविटी === | ||
यदि C और D [[पूर्ववर्ती श्रेणियां]] हैं और F : D → C दाएँ संलग्न G : C → D के साथ एक योगात्मक | यदि C और D [[पूर्ववर्ती श्रेणियां]] हैं और F : D → C दाएँ संलग्न G : C → D के साथ एक योगात्मक कारक है, तो G भी एक योगात्मक कारक है और होम- समुच्चय बायजेक्शन | ||
:<math>\Phi_{Y,X} : \mathrm{hom}_{\mathcal C}(FY,X) \cong \mathrm{hom}_{\mathcal D}(Y,GX)</math> | :<math>\Phi_{Y,X} : \mathrm{hom}_{\mathcal C}(FY,X) \cong \mathrm{hom}_{\mathcal D}(Y,GX)</math> | ||
वास्तव में, एबेलियन समूहों के समरूपता हैं। वास्तव में, यदि G बाएं | वास्तव में, एबेलियन समूहों के समरूपता हैं। वास्तव में, यदि G बाएं संलग्न F के साथ योगात्मक है, तो F भी योगात्मक है। | ||
इसके अतिरिक्त, यदि सी और डी दोनों योगात्मक श्रेणियां हैं (अर्थात सभी परिमित [[ द्विउत्पाद ]]्स के साथ प्रीएडिटिव श्रेणियां), तो उनके मध्य के किसी भी युग्मदारों की युग्म स्वचालित रूप से योगात्मक है। | इसके अतिरिक्त, यदि सी और डी दोनों योगात्मक श्रेणियां हैं (अर्थात सभी परिमित [[ द्विउत्पाद ]]्स के साथ प्रीएडिटिव श्रेणियां), तो उनके मध्य के किसी भी युग्मदारों की युग्म स्वचालित रूप से योगात्मक है। | ||
| Line 458: | Line 458: | ||
जैसा कि पहले कहा गया है, श्रेणियों सी और डी के मध्य एक संयोजन सार्वभौमिक आकारिता के एक वर्ग को जन्म देता है, सी में प्रत्येक वस्तु के लिए एक और डी में प्रत्येक वस्तु के लिए एक। D की प्रत्येक वस्तु से, तो G का एक बायाँ सन्निकट है। | जैसा कि पहले कहा गया है, श्रेणियों सी और डी के मध्य एक संयोजन सार्वभौमिक आकारिता के एक वर्ग को जन्म देता है, सी में प्रत्येक वस्तु के लिए एक और डी में प्रत्येक वस्तु के लिए एक। D की प्रत्येक वस्तु से, तो G का एक बायाँ सन्निकट है। | ||
हालांकि, सार्वभौमिक निर्माण संलग्न | हालांकि, सार्वभौमिक निर्माण संलग्न कारक की तुलना में अधिक सामान्य हैं: एक सार्वभौमिक निर्माण एक अनुकूलन समस्या की तरह है; यह एक संलग्न युग्म को जन्म देता है यदि और केवल यदि इस समस्या का समाधान डी के प्रत्येक वस्तु (समकक्ष रूप से, सी के प्रत्येक वस्तु) के लिए है। | ||
===श्रेणियों की समानता=== | ===श्रेणियों की समानता=== | ||
यदि एक | यदि एक कारक F : D → C श्रेणियों के समकक्ष का एक आधा है तो यह श्रेणियों के एक संलग्न समकक्ष में बाएं संलग्न है, यानी एक संयोजन जिसकी इकाई और कूनिट समरूपताएं हैं। | ||
प्रत्येक संयोजन 〈F, G, ε, η〉 कुछ उपश्रेणियों की समानता का विस्तार करता है। सी को परिभाषित करें<sub>1</sub> C की पूर्ण उपश्रेणी के रूप में C की वे वस्तुएँ X सम्मिलित हैं जिनके लिए ε<sub>''X''</sub> एक समरूपता है, और डी परिभाषित करें<sub>1</sub> डी की [[पूर्ण उपश्रेणी]] के रूप में डी की उन वस्तुओं वाई से मिलकर जिसके लिए η<sub>''Y''</sub> एक समरूपता है। तब F और G को D तक सीमित किया जा सकता है<sub>1</sub> और सी<sub>1</sub> और इन उपश्रेणियों की व्युत्क्रम समतुल्यता प्राप्त करें। | प्रत्येक संयोजन 〈F, G, ε, η〉 कुछ उपश्रेणियों की समानता का विस्तार करता है। सी को परिभाषित करें<sub>1</sub> C की पूर्ण उपश्रेणी के रूप में C की वे वस्तुएँ X सम्मिलित हैं जिनके लिए ε<sub>''X''</sub> एक समरूपता है, और डी परिभाषित करें<sub>1</sub> डी की [[पूर्ण उपश्रेणी]] के रूप में डी की उन वस्तुओं वाई से मिलकर जिसके लिए η<sub>''Y''</sub> एक समरूपता है। तब F और G को D तक सीमित किया जा सकता है<sub>1</sub> और सी<sub>1</sub> और इन उपश्रेणियों की व्युत्क्रम समतुल्यता प्राप्त करें। | ||
एक मायने में, फिर, संलग्न सामान्यीकृत व्युत्क्रम हैं। हालांकि ध्यान दें कि एफ का एक सही व्युत्क्रम (यानी एक | एक मायने में, फिर, संलग्न सामान्यीकृत व्युत्क्रम हैं। हालांकि ध्यान दें कि एफ का एक सही व्युत्क्रम (यानी एक कारक जी ऐसा है कि एफजी स्वाभाविक रूप से 1 के लिए आइसोमोर्फिक है<sub>''D''</sub>) F का दायां (या बायां) जोड़ होना जरूरी नहीं है। संलग्न दो-तरफा व्युत्क्रमों का सामान्यीकरण करते हैं। | ||
===मोनाड === | ===मोनाड === | ||
| Line 491: | Line 491: | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
*{{YouTube|playlist=PL54B49729E5102248|Adjunctions}} – seven short lectures on adjunctions by [[Eugenia Cheng]] of The Catsters | *{{YouTube|playlist=PL54B49729E5102248|Adjunctions}} – seven short lectures on adjunctions by [[Eugenia Cheng]] of The Catsters | ||
* [http://wildcatsformma.wordpress.com WildCats] is a category theory package for [[Mathematica]]. Manipulation and visualization of objects, [[morphism|आकारिता]], categories, [[functor| | * [http://wildcatsformma.wordpress.com WildCats] is a category theory package for [[Mathematica]]. Manipulation and visualization of objects, [[morphism|आकारिता]], categories, [[functor|कारक]]s, [[natural transformation]]s, [[universal properties]]. | ||
{{Category theory}} | {{Category theory}} | ||
Revision as of 13:41, 27 May 2023
गणित में, विशेष रूप से श्रेणी सिद्धांत, संयोजन एक संबंध है जो दो कारक दो संबंधित श्रेणियों के मध्य समानता के एक दुर्बल रूप के अनुरूप सहज रूप से प्रदर्शित कर सकते हैं। इस संबंध में खड़े होने वाले दो ऑपरेटर को संलग्न कारक के रूप में जाना जाता है, एक दाहिना संलग्न और दूसरा बायां संलग्न। संलग्न कारक के जोड़े गणित में सर्वव्यापी हैं और प्रायः कुछ समस्याओं के इष्टतम समाधान के निर्माण से उत्पन्न होते हैं (अर्थात, एक निश्चित सार्वभौमिक गुणधर्म वाले वस्तुओं का निर्माण), जैसे कि बीजगणित में एक मुक्त समूह का निर्माण, या स्टोन का निर्माण- सांस्थितिकी में एक टोपोलॉजिकल स्पेस का सीईसी कॉम्पैक्टिफिकेशन।
परिभाषा के अनुसार, श्रेणियों के मध्य एक संयोजन और कारक की एक युग्म है (सहसंयोजक कारक माना जाता है)
- और
और, सभी वस्तुओं के लिए में और में , संबंधित आकारिकी समुच्चय के मध्य एक आक्षेप
ऐसा कि आपत्तियों के इस वर्ग में प्राकृतिक परिवर्तन है और . यहाँ प्राकृतिकता का अर्थ है कि कारक की युग्म के मध्य प्राकृतिक समरूपताएँ हैं और एक निश्चित के लिए में , और कारक की युग्म भी और एक निश्चित के लिए में .
कार्य करनेवाला एक बाएं संलग्न कारक या बाएं संलग्न कहा जाता है , जबकि एक सही संलग्न कारक या सही संलग्न कहा जाता है . हम लिखते हैं .
श्रेणियों के मध्य एक संयोजन और के मध्य श्रेणियों की समानता के दुर्बल रूप के समान है और , और वास्तव में प्रत्येक समानता एक संयोजन है। कई स्थितियों में, सम्मिलित श्रेणियों और कारक के एक उपयुक्त प्राकृतिक संशोधन के द्वारा, एक संयोजन को एक तुल्यता में उन्नत किया जा सकता है।
शब्दावली और संकेतन
शब्द संलग्न और अनुलग्न दोनों का उपयोग किया जाता है, और सजातीय हैं: एक सीधे लैटिन से लिया गया है, दूसरा लैटिन से फ्रेंच के माध्यम से लिया गया है। कार्यरत गणितज्ञ के क्लासिक टेक्स्ट कैटेगरीज में, सॉन्डर्स मैक लेन दोनों के मध्य अंतर करता है। एक वर्ग दिया
होम- समुच्चय आक्षेपों की, हम कहते हैं एक संयोजन या मध्य में एक संयोजन और . यदि में तीर है , का सही संलग्न है (पृष्ठ 81)। कार्य करनेवाला से सटा हुआ है , और के ठीक निकट में है . (ध्यान दें कि अपने आप में एक दाहिना जोड़ हो सकता है जो इससे काफी अलग है ; उदाहरण के लिए नीचे देखें।)
सामान्यतः, वाक्यांश एक वाम सन्निकट है और एक सही संलग्न है समकक्ष हैं। हम बुलाते है एक बायाँ संलग्न क्योंकि यह के बाएँ तर्क पर अनुप्रयुक्त होता है , और एक सही संलग्न क्योंकि यह सही तर्क के लिए अनुप्रयुक्त होता है .
यदि F को G के सन्निकट छोड़ दिया जाए, तो हम भी लिखते हैं
शब्दावली निकटवर्ती संचालकों के हिल्बर्ट अंतरिक्ष विचार से आती है , साथ , जो औपचारिक रूप से होम- समुच्चय के मध्य उपरोक्त संबंध के समान है। कुछ संदर्भों में हिल्बर्ट रिक्त स्थान के संलग्न प्रतिचित्रो की सादृश्यता को सटीक बनाया जा सकता है।[1]
परिचय और प्रेरणा
प्रचार वाक्य है "प्रत्येक समष्टि पर संलग्न प्रकार्यक उत्पन्न होते हैं"।
— सॉन्डर्स मैक लेन, कार्यरत गणितज्ञ के लिए श्रेणियां
सामान्य गणितीय रचनाएं प्रायः संलग्न कारक होती हैं। नतीजतन, बाएं/दाएं संलग्न कारक के बारे में सामान्य प्रमेय कई उपयोगी और अन्यथा गैर-तुच्छ परिणामों के विवरण को एन्कोड करते हैं। इस तरह के सामान्य प्रमेयों में संलग्न कारकों की विभिन्न परिभाषाओं की समानता सम्मिलित है, किसी दिए गए बाएं संलग्न के लिए दाएं संलग्न की विशिष्टता, तथ्य यह है कि बाएं/दाएं संलग्न कारक क्रमशः सीमा (श्रेणी सिद्धांत) को संरक्षित करते हैं। सह सीमाएं/सीमाएं (जो भी पाए जाते हैं) गणित के हर क्षेत्र में), और सामान्य संलग्न कारक प्रमेय ऐसी स्थितियाँ देते हैं जिनके तहत दिया गया कारक एक बाएँ / दाएँ संलग्न होता है।
अनुकूलन समस्याओं का समाधान
एक अर्थ में, एक संलग्न कारक एक विधि के माध्यम से किसी समस्या का सबसे कुशल समाधान देने का एक तरीका है जो सूत्र है। उदाहरण के लिए, वलय सिद्धांत में एक प्रारंभिक समस्या यह है कि कैसे एक Rng (बीजगणित) (जो एक वलय की तरह है जिसकी गुणक पहचान नहीं हो सकती है) को वलय (गणित) में परिवर्तित कर दिया जाए। सबसे कुशल तरीका यह है कि एक तत्व '1' को rng से जोड़ा जाए, सभी (और केवल) तत्वों को जोड़ा जाए जो वलय स्वयंसिद्धि को संतुष्ट करने के लिए आवश्यक हैं (उदाहरण के लिए वलय में प्रत्येक r के लिए r+1), और कोई संबंध नहीं थोपें। नवगठित वलय जो स्वयंसिद्धों द्वारा अनिवार्य नहीं हैं। इसके अतिरिक्त, यह निर्माण इस अर्थ में सूत्रबद्ध है कि यह किसी भी आरएनजी के लिए अनिवार्य रूप से उसी तरह कार्य करता है।
यह बल्कि अस्पष्ट है, हालांकि विचारोत्तेजक है, और श्रेणी सिद्धांत की भाषा में सटीक बनाया जा सकता है: एक निर्माण सबसे अधिक कुशल है यदि यह एक सार्वभौमिक गुणधर्म को संतुष्ट करता है, और यह सूत्र है यदि यह एक कारक को परिभाषित करता है। सार्वभौमिक गुण दो प्रकार में आते हैं: प्रारंभिक गुणधर्म और सीमावर्ती गुणधर्म। चूंकि ये दोहरी (श्रेणी सिद्धांत) धारणाएं हैं, इसलिए इनमें से किसी एक पर चर्चा करना आवश्यक है।
एक प्रारंभिक गुणधर्म का उपयोग करने का विचार कुछ संलग्न श्रेणी ई के संदर्भ में समस्या को स्थापित करना है, ताकि हाथ में समस्या ई की प्रारंभिक वस्तु को खोजने के अनुरूप हो। इसका एक लाभ यह है कि अनुकूलन-यह अर्थ है कि प्रक्रिया पाता है सबसे कुशल समाधान-का अर्थ है कुछ कठोर और पहचानने योग्य, बल्कि सर्वोच्चता की प्राप्ति जैसा। इस निर्माण में श्रेणी ई भी सूत्र है, क्योंकि यह सदैव कारक के तत्वों की श्रेणी है, जिसके लिए कोई एक संलग्न निर्माण कर रहा है।
हमारे उदाहरण पर वापस जाएं: दिए गए rng R को लें, और एक श्रेणी E बनाएं, जिसकी वस्तुएं R → S से संबंधित हैं, जिसमें S एक गुणक पहचान वाली वलय है। R → S के मध्य E में आकृतिवाद1 और R → S2 रूप के क्रमविनिमेय आरेख हैं (R → S1, R → S2, S1 → S2) जहां S1 → S2 एक वलय मैप है (जो पहचान को सुरक्षित रखता है)। (ध्यान दें कि यह आरएनजी में एकात्मक छल्ले को सम्मिलित करने पर आर की अल्पविराम श्रेणी की सटीक परिभाषा है।) R → S के मध्य एक आकारिकी का अस्तित्व1 और R → S2 तात्पर्य यह है कि S1 कम से कम S के रूप में एक कुशल समाधान है2 आपकी समस्या के लिए S2 अधिक संलग्न तत्व हो सकते हैं और/या S की तुलना में सिद्धांतों द्वारा लगाए गए अधिक संबंध नहीं हो सकते हैं1. इसलिए, यह अभिकथन कि एक वस्तु R → R* E में आरंभिक है, अर्थात, E के किसी अन्य तत्व में एक आकारिकी है, का अर्थ है कि वलय R* हमारी समस्या का सबसे कुशल समाधान है।
वलयों को वलयों में परिवर्तित करने की यह विधि सबसे कुशल और सूत्रात्मक है, यह कहकर एक साथ व्यक्त किया जा सकता है कि यह एक संलग्न फलक को परिभाषित करता है। अधिक स्पष्ट रूप से: F को एक पहचान को rng से जोड़ने की उपरोक्त प्रक्रिया को निरूपित करें, इसलिए F(R)=R*। जी को "भूलने" की प्रक्रिया को निरूपित करने दें कि क्या वलय S की एक पहचान है और इसे केवल एक आरएनजी के रूप में माना जाता है, इसलिए अनिवार्य रूप से जी (S) = S। तब F, G का बायाँ संलग्न कारक है।
ध्यान दें कि हमने वास्तव में अभी तक R* का निर्माण नहीं किया है; यह एक महत्वपूर्ण और पूर्णतया से सामान्य बीजगणितीय तथ्य नहीं है कि इस तरह के एक बाएं संलग्न फलक R → R* वास्तव में उपस्थित है।
अनुकूलन समस्याओं की समरूपता
कारक एफ के साथ प्रारंभ करना भी संभव है, और निम्नलिखित (अस्पष्ट) प्रश्न उठाएं: क्या कोई समस्या है जिसके लिए एफ सबसे कुशल समाधान है?
यह धारणा कि F, G द्वारा प्रस्तुत समस्या का सबसे कुशल समाधान है, एक निश्चित कठोर अर्थ में, इस धारणा के समान है कि G सबसे कठिन समस्या है जिसे F हल करता है।
यह इस तथ्य के पीछे का अंतर्ज्ञान देता है कि संलग्न कारक जोड़े में होते हैं: यदि F को G के निकट छोड़ दिया जाता है, तो G, F के ठीक निकट है।
औपचारिक परिभाषाएँ
संलग्न कारक के लिए विभिन्न समतुल्य परिभाषाएँ हैं:
- सार्वभौमिक आकारिता के माध्यम से परिभाषाओं को बताना आसान है, और एक संलग्न कारक का निर्माण करते समय न्यूनतम सत्यापन की आवश्यकता होती है या दो कारक साबित होते हैं। वे अनुकूलन से जुड़े हमारे अंतर्ज्ञान के सबसे अनुरूप भी हैं।
- होम- समुच्चय के माध्यम से परिभाषा समरूपता को सबसे स्पष्ट बनाती है, और यह शब्द संलग्न शब्द का उपयोग करने का कारण है।
- सह-इकाई - ईकाई संयोजन के माध्यम से परिभाषा उन कारक के विषय में प्रमाण के लिए सुविधाजनक है, जिन्हें संलग्न माना जाता है, क्योंकि वे सूत्र प्रदान करते हैं जिन्हें सीधे प्रकलित किया जा सकता है।
इन परिभाषाओं की समानता काफी उपयोगी है। गणित के सभी क्षेत्रों में, प्रत्येक जगह संलग्न कारक उत्पन्न होते हैं। चूंकि इनमें से किसी भी परिभाषा में संरचना दूसरों में संरचनाओं की उत्पत्ति करती है, उनके मध्य स्विच करने से कई विवरणों का अंतर्निहित उपयोग होता है जो अन्यथा प्रत्येक विषय क्षेत्र में अलग-अलग दोहराना होगा।
अभिसमय
संलग्नों के सिद्धांत की नींव बाएँ और दाएँ हैं, और ऐसे कई घटक हैं जो दो श्रेणियों C और D में से एक में रहते हैं जो विचाराधीन हैं। इसलिए वर्णानुक्रम में अक्षरों का चयन करना सहायक हो सकता है, चाहे वे बाएं श्रेणी सी या दाएं श्रेणी डी में रहते हों, और जब भी संभव हो उन्हें इस क्रम में लिखने के लिए भी।
उदाहरण के लिए इस लेख में, अक्षर X, F, f, ε लगातार उन चीजों को निरूपित करेंगे जो श्रेणी C में रहते हैं, अक्षर Y, G, g, η लगातार उन चीजों को निरूपित करेंगे जो श्रेणी D में रहते हैं, और जब भी संभव हो ऐसे चीजों को बाएं से दाएं क्रम में संदर्भित किया जाएगा (एक कारक एफ: डी → सी को रहने के बारे में सोचा जा सकता है जहां इसके आउटपुट सी में हैं)। यदि बाएँ संलग्न कारक F के लिए तीर खींचे गए तो वे बाईं ओर इंगित करेंगे; यदि दाएँ संलग्न कारक G के लिए तीर खींचे गए थे तो वे दाईं ओर संकेत कर रहे होंगे।
सार्वभौम आकारिता के माध्यम से परिभाषा
परिभाषा के अनुसार, एक कारक
यदि प्रत्येक वस्तु के लिए एक बायाँ सन्निकट कारक है में एक सार्वभौमिक रूपवाद उपस्थित है
से को . वर्तनी, इसका अर्थ है कि प्रत्येक वस्तु के लिए में एक वस्तु उपस्थित है
में और एक रूपवाद ऐसा कि प्रत्येक वस्तु के लिए में और प्रत्येक रूपवाद एक अद्वितीय आकारिता उपस्थित है साथ .
बाद वाला समीकरण निम्नलिखित क्रमविनिमेय आरेख द्वारा व्यक्त किया गया है:
ऐसी स्थिति में यह दर्शाया जा सकता है एक कारक में परिवर्तित करा जा सकता है एक अनोखे तरीके से ऐसा है
सभी रूपों के लिए में ; तब इसे बायाँ सन्निकट कहा जाता है .
इसी प्रकार, हम दाएं-संलग्न कारकों को परिभाषित कर सकते हैं। एक कारक यदि प्रत्येक वस्तु के लिए एक सही संलग्न कारक है में , वहाँ से एक सार्वभौमिक आकारिकी उपस्थित है को . वर्तनी, इसका अर्थ है कि प्रत्येक वस्तु के लिए में , एक वस्तु उपस्थित है में और एक रूपवाद ऐसा कि प्रत्येक वस्तु के लिए में और हर रूपवाद एक अद्वितीय आकारिता उपस्थित है साथ .
फिर से, यह विशिष्ट रूप से एक कारक में परिवर्तित किया जा सकता है ऐसा है कि के लिए में एक रूपवाद ; तब इसे दायां संलग्न कहा जाता है .
यह सच है, जैसा कि शब्दावली का अर्थ है, कि से सटा हुआ है यदि और केवल यदि के ठीक निकट में है .
सार्वभौमिक आकारिता के माध्यम से ये परिभाषाएं प्रायः यह स्थापित करने के लिए उपयोगी होती हैं कि किसी दिए गए कारक बाएं या दाएं संलग्न हैं, क्योंकि वे अपनी आवश्यकताओं में न्यूनतर हैं। वे इस अर्थ में भी सहज रूप से सार्थक हैं कि एक सार्वभौमिक रूपवाद को खोजना एक अनुकूलन समस्या को हल करने जैसा है।
होम समुच्चय संयोजन के माध्यम से परिभाषा
दो श्रेणियों C और D के मध्य एक होम- समुच्चय संयोजन में दो कारक एफ होते हैं: D → C और G : C → D और एक प्राकृतिक समरूपता
- .
यह आपत्तियों के वर्ग को निर्दिष्ट करता है
C में सभी वस्तुओं X और D में Y के लिए।
इस स्थिति में, 'F, G के बायें सन्निकट है' और 'G, F के दायें सन्निकट है'।
यह परिभाषा एक तार्किक समझौता है जिसमें सार्वभौमिक आकारिकी परिभाषाओं की तुलना में इसे संतुष्ट करना अधिक कठिन है, और इसका तात्कालिक प्रभाव सह-इकाई - ईकाई परिभाषा की तुलना में कम है। इसकी स्पष्ट समरूपता के कारण और अन्य परिभाषाओं के मध्य एक कदम-पत्थर के रूप में यह उपयोगी है।
एक प्राकृतिक समरूपता के रूप में Φ की व्याख्या करने के लिए, किसी को पहचानना होगा homC(F–, –) और homD(–, G–) कारक के रूप में। वास्तव में, वे दोनों द्विभाजक हैं Dop × C से समुच्चय ( समुच्चय की श्रेणी)। विवरण के लिए, मैं कार्य कर रहा हूं पर लेख देखें। स्पष्ट रूप से, Φ की स्वाभाविकता का अर्थ है कि सभी आकारिता के लिए f : X → X′ सी और सभी आकारिता में g : Y′ → Y डी में निम्नलिखित आरेख क्रमविनिमेय आरेख:
इस आरेख में लंबवत तीर रचना द्वारा प्रेरित हैं। औपचारिक रूप से, होम (एफजी, एफ) : होमC(FY, X) → होमC(FY', X') h → f द्वारा दिया गया है o h o होम में प्रत्येक एच के लिए एफजीC(एफवाई, एक्स)। होम (जी, जीएफ) समान है।
सह-इकाई-इकाई संयोजन के माध्यम से परिभाषा
दो श्रेणियों C और D के मध्य एक इकाई-इकाई संयोजन में दो कारक एफ होते हैं: D → C और G : C → D और दो प्राकृतिक परिवर्तन
क्रमशः सह-इकाई और संयोजन की इकाई (सार्वभौमिक बीजगणित से शब्दावली) कहा जाता है, जैसे रचनाएं
पहचान परिवर्तन हैं 1F और 1G क्रमशः एफ और जी पर।
इस स्थिति में हम कहते हैं कि 'F, G के बायीं ओर है' और 'G, F के दायीं ओर है', और इस संबंध को लिख कर इंगित कर सकते हैं, या केवल.
समीकरण के रूप में, (ε,η) पर उपरोक्त शर्तें 'गणना-इकाई समीकरण' हैं
जिसका अर्थ है कि C में प्रत्येक X और D में प्रत्येक Y के लिए,
- .
ध्यान दें कि श्रेणी पर पहचान कारक को दर्शाता है , कारक एफ से स्वयं के लिए पहचान प्राकृतिक परिवर्तन को दर्शाता है, और वस्तु FY की पहचान आकृतिवाद को दर्शाता है।
File:String diagram adjunction.svg
संयोजन के लिए स्ट्वलय आरेख।
ये समीकरण बीजगणितीय जोड़-तोड़ के लिए संलग्न कारक के प्रमाण को कम करने में उपयोगी होते हैं। संबंधित स्ट्वलय आरेखों की उपस्थिति के कारण उन्हें कभी-कभी त्रिभुज पहचान या कभी-कभी ज़िग-ज़ैग समीकरण कहा जाता है। उन्हें याद रखने का एक तरीका यह है कि पहले बेतुके समीकरण को लिख लिया जाए और फिर एफ या जी में से किसी एक को उन दो सरल तरीकों से भरें जो रचनाओं को परिभाषित करते हैं।
नोट: यहाँ उपसर्ग सह का उपयोग यहाँ सीमा और कोलिमिट की शब्दावली के अनुरूप नहीं है, क्योंकि एक कोलिमिट एक प्रारंभिक गुणधर्म को संतुष्ट करता है, जबकि कॉउनिट मोर्फिज़्म सीमावर्ती गुणों को संतुष्ट करेगा, और दो बार। यहां शब्द इकाई को मोनाड (श्रेणी सिद्धांत) के सिद्धांत से उधार लिया गया है, जहां यह पहचान 1 को एक मोनोइड में सम्मिलित करने जैसा दिखता है।
इतिहास
1958 में डेनियल कैन द्वारा संलग्न कारक का विचार पेश किया गया था।[2] श्रेणी सिद्धांत में कई अवधारणाओं की तरह, यह होमोलॉजिकल बीजगणित की जरूरतों के द्वारा सुझाया गया था, जो उस समय कम्प्यूटेशंस के लिए समर्पित था। विषय की सुव्यवस्थित, व्यवस्थित प्रस्तुतियों का सामना करने वालों ने संबंधों पर ध्यान दिया होगा जैसे
- होम (एफ (एक्स), वाई) = होम (एक्स, जी (वाई))
एबेलियन समूहों की श्रेणी में, जहाँ F कारक था (अर्थात् ए के साथ टेन्सर उत्पाद लें), और जी कारक होम (ए,–) था (इसे अब टेंसर-होम संयोजन के रूप में जाना जाता है)। समान चिह्न का उपयोग अंकन का दुरुपयोग है; वे दो समूह वास्तव में समान नहीं हैं लेकिन उन्हें पहचानने का एक तरीका है जो स्वाभाविक है। इसे इस आधार पर स्वाभाविक रूप से देखा जा सकता है, सबसे पहले, कि ये X × A से Y तक बिलिनियर मैपिंग के दो वैकल्पिक विवरण हैं। हालांकि, यह टेंसर उत्पाद के मामले में कुछ खास है। श्रेणी सिद्धांत में आक्षेप की 'स्वाभाविकता' को एक प्राकृतिक समरूपता की अवधारणा में सम्मिलित किया गया है।
सर्वव्यापकता
यदि कोई इन संलग्न जोड़ों के कारक की तलाश करना प्रारंभ करता है, तो वे सार बीजगणित में और अन्य जगहों पर भी बहुत आम हो जाते हैं। नीचे दिया गया उदाहरण खंड इसका प्रमाण प्रदान करता है; इसके अतिरिक्त, सार्वभौमिक निर्माण, जो कुछ लोगों के लिए अधिक परिचित हो सकते हैं, कारक के कई संलग्न जोड़े को जन्म देते हैं।
सॉन्डर्स मैक लेन की सोच के अनुसार, किसी भी विचार, जैसे कि संलग्न कारक, जो कि गणित में व्यापक रूप से पर्याप्त रूप से होता है, का स्वयं के लिए अध्ययन किया जाना चाहिए।[citation needed]
अवधारणाओं को समस्याओं को हल करने में उनके उपयोग के साथ-साथ सिद्धांतों के निर्माण में उनके उपयोग के अनुसार आंका जा सकता है। इन दो प्रेरणाओं के मध्य तनाव विशेष रूप से 1950 के दशक के दौरान बहुत अधिक था जब श्रेणी सिद्धांत को प्रारंभ में विकसित किया गया था। अलेक्जेंडर ग्रोथेंडिक दर्ज करें, जिन्होंने कार्यात्मक विश्लेषण, होमोलॉजिकल बीजगणित और अंत में बीजगणितीय ज्यामिति में अन्य कार्यों में कम्पास बीयवलय लेने के लिए श्रेणी सिद्धांत का उपयोग किया।
यह कहना शायद गलत है कि उन्होंने अलगाव में संलग्न कारक अवधारणा को बढ़ावा दिया: लेकिन ग्रोथेंडिक के दृष्टिकोण में संयोजन की भूमिका की पहचान अंतर्निहित थी। उदाहरण के लिए, उनकी प्रमुख उपलब्धियों में से एक बीजगणितीय किस्मों के एक सतत वर्ग में, सापेक्ष रूप में सेरे द्वैत का सूत्रीकरण था। संपूर्ण प्रमाण एक निश्चित कारक के लिए एक सही संलग्न के अस्तित्व पर परिवर्तित कर गया। यह कुछ निर्विवाद रूप से अमूर्त और गैर-रचनात्मक है[discuss], लेकिन अपने तरीके से शक्तिशाली भी।
उदाहरण
मुक्त समूह
मुक्त समूहों का निर्माण एक सामान्य और रोशन करने वाला उदाहरण है।
चलो एफ: ' समुच्चय की श्रेणी' → 'समूहों की श्रेणी' प्रत्येक समुच्चय वाई को वाई के तत्वों द्वारा उत्पन्न मुक्त समूह को असाइन करने वाला कारक हो, और जी को दें: 'जीआरपी' → ' समुच्चय' भुलक्कड़ कारक हो, जो असाइन करता है प्रत्येक समूह X को इसका अंतर्निहित समुच्चय। तब F, G के संलग्न छोड़ दिया जाता है:
'प्रारंभिक आकारिता।' प्रत्येक समुच्चय Y के लिए, समुच्चय GFY Y द्वारा उत्पन्न मुक्त समूह FY का अंतर्निहित समुच्चय है। मान लीजिएजेनरेटर को सम्मिलित करके दिए गए समुच्चय मानचित्र बनें। यह वाई से जी तक एक प्रारंभिक रूपवाद है, क्योंकि वाई से अंतर्निहित समुच्चय जीडब्ल्यू के लिए कुछ समूह डब्ल्यू के किसी भी समुच्चय मानचित्र के माध्यम से कारक होगाFY से W तक एक अद्वितीय समूह समरूपता के माध्यम से। यह निश्चित रूप से मुक्त समूह#सार्वभौमिक गुणधर्म है।
'सीमावर्ती आकारिता।' प्रत्येक समूह X के लिए, समूह FGX, GX, X के तत्वों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह हैसमूह होमोमोर्फिज्म हो जो एफजीएक्स के जेनरेटर को एक्स के तत्वों के अनुरूप भेजता है, जो मुक्त समूहों की सार्वभौमिक गुणधर्म से उपस्थित है। फिर प्रत्येकF से X तक एक सीमावर्ती रूपवाद है, क्योंकि मुक्त समूह FZ से X तक कोई भी समूह समरूपता कारक होगाZ से GX तक एक अद्वितीय समुच्चय मैप के माध्यम से। इसका अर्थ है कि (एफ, जी) एक संलग्न युग्म है।
'होम- समुच्चय संयोजन।' मुक्त समूह FY से समूह X के समूह समरूपता समुच्चय Y से समुच्चय GX के मानचित्रों के ठीक अनुरूप होते हैं: FY से X तक प्रत्येक समरूपता जनरेटर पर अपनी कार्रवाई द्वारा पूर्णतया से निर्धारित होती है, मुक्त समूहों की सार्वभौमिक गुणधर्म का एक और पुनर्कथन। कोई सीधे सत्यापित कर सकता है कि यह पत्राचार एक प्राकृतिक परिवर्तन है, जिसका अर्थ है कि यह युग्म (एफ, जी) के लिए होम- समुच्चय संयोजन है।
'सह-इकाई-इकाई संयोजन।' कोई सीधे यह भी सत्यापित कर सकता है कि ε और η प्राकृतिक हैं। फिर, एक सीधा सत्यापन कि वे एक सह-इकाई-इकाई संयोजन बनाते हैंइस प्रकार है:
पहला सह-इकाई-इकाई समीकरणकहते हैं कि प्रत्येक समुच्चय वाई रचना के लिए
पहचान होनी चाहिए। मध्यवर्ती समूह FGFY मुक्त समूह FY के शब्दों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह है। (इन शब्दों को कोष्ठकों में रखे जाने के बारे में सोचें, यह इंगित करने के लिए कि वे स्वतंत्र जनरेटर हैं।) तीरFY से FGFY में समूह समरूपता है, जो FGFY के जनरेटर के रूप में लंबाई एक (y) के संबंधित शब्द के लिए FY के प्रत्येक जनरेटर y को भेज रहा है। तीरएफजीएफवाई से एफवाई तक समूह होमोमोर्फिज्म है जो प्रत्येक जनरेटर को वित्त वर्ष के शब्द से मेल खाता है (इसलिए यह नक्शा कोष्ठक छोड़ रहा है)। इन नक्शों की संरचना वास्तव में FY पर पहचान है।
'दूसरा गिनती-इकाई समीकरण'कहते हैं कि प्रत्येक समूह X के लिए रचना
पहचान होनी चाहिए। इंटरमीडिएट समुच्चय जीएफजीएक्स एफजीएक्स का सिर्फ अंतर्निहित समुच्चय है। तीर समुच्चय GX से समुच्चय GFGX में जेनरेटर समुच्चय मैप का समावेश है। तीरजीएफजीएक्स से जीएक्स तक समुच्चय मैप है जो समूह होमोमोर्फिज्म को रेखांकित करता है जो एफजीएक्स के प्रत्येक जनरेटर को एक्स के तत्व से मेल खाता है (कोष्ठकों को छोड़कर)। इन नक्शों की संरचना वास्तव में GX पर पहचान है।
मुफ्त निर्माण और भुलक्कड़ मजदूर
नि: शुल्क वस्तुएं एक भुलक्कड़ कारक के बाएं संलग्न के सभी उदाहरण हैं जो एक बीजगणितीय वस्तु को इसके अंतर्निहित समुच्चय को निर्दिष्ट करती हैं। इन बीजीय मुक्त कारक का आम तौर पर वैसा ही विवरण होता है जैसा कि ऊपर मुक्त समूह की स्थिति के विस्तृत विवरण में होता है।
विकर्ण कारक और सीमाएं
उत्पाद (श्रेणी सिद्धांत), पुलबैक (श्रेणी सिद्धांत), तुल्यकारक (गणित), और कर्नेल (बीजगणित) एक सीमा (श्रेणी सिद्धांत) की स्पष्ट धारणा के सभी उदाहरण हैं। कोई भी लिमिट कारक एक संबंधित विकर्ण कारक के ठीक सटा हुआ है (बशर्ते श्रेणी में प्रश्न में सीमा का प्रकार हो), और संयोजन का सह-इकाई लिमिट ऑब्जेक्ट से डिफाइनिंग मैप्स प्रदान करता है (अर्थात सीमा पर विकर्ण कारक से, में) कारक श्रेणी)। नीचे कुछ विशिष्ट उदाहरण दिए गए हैं।
- उत्पाद चलो Π : समूह2 → कारक को पकड़ें जो प्रत्येक युग्म (X) को असाइन करता है1, एक्स2) उत्पाद समूह X1×X2, और चलो Δ : जीआरपी → जीआरपी2 विकर्ण कारक बनें जो उत्पाद श्रेणी Grp में प्रत्येक समूह X युग्म (X, X) को असाइन करता है2</उप>। उत्पाद समूह की सार्वभौमिक गुणधर्म दर्शाती है कि Π Δ के दाहिनी ओर है। इस संयोजन का सह-इकाई X से प्रक्षेपण मानचित्रों की परिभाषित युग्म है1×X2 एक्स को1 और एक्स2 जो सीमा को परिभाषित करता है, और इकाई एक समूह X का X×X में विकर्ण समावेशन है (x को (x, x) से मैप करना)।
- समुच्चय (गणित) का कार्तीय गुणन, वलयों का गुणनफल, गुणनफल सांस्थितिकी आदि समान पैटर्न का पालन करते हैं; इसे सीधे-सीधे तरीके से केवल दो कारकों से अधिक तक बढ़ाया जा सकता है। अधिक आम तौर पर, किसी भी प्रकार की सीमा एक विकर्ण कारक के ठीक निकट होती है।
- 'कर्नेल।' एबेलियन समूहों के होमोमोर्फिज्म की श्रेणी डी पर विचार करें। यदि एफ1 : ए1 → बी1 और एफ2 : ए2 → बी2 D की दो वस्तुएँ हैं, तो f से एक आकारिकी1 एफ के लिए2 एक युग्म है (जीA, जीB) आकारिकी जैसे कि जीBf1 = च2gA. मान लीजिए कि G : D → 'Ab' वह कारक है जो प्रत्येक समाकारिता को उसका कर्नेल (बीजगणित) प्रदान करता है और F: 'Ab →' D वह कारक है जो समूह A को समाकारिता A → 0 से मैप करता है। एफ से, जो गुठली की सार्वभौमिक गुणधर्म को व्यक्त करता है। इस संयोजन का कॉउनिट होमोमोर्फिज्म के डोमेन में होमोमोर्फिज्म के कर्नेल को परिभाषित करने वाला एम्बेडिंग है, और इकाई मोर्फिज्म है जो होमोमोर्फिज्म ए → 0 के कर्नेल के साथ समूह ए की पहचान करता है।
- इस उदाहरण का एक उपयुक्त रूपांतर यह भी दर्शाता है कि वेक्टर रिक्त स्थान और मॉड्यूल के लिए कर्नेल कारक सही सन्निकट हैं। अनुरूप रूप से, कोई यह दिखा सकता है कि एबेलियन समूहों, वेक्टर रिक्त स्थान और मॉड्यूल के लिए कोकर्नेल कारक बाएं संलग्न हैं।
कोलिमिट और विकर्ण कारक
सहउत्पाद, पुशआउट (श्रेणी सिद्धांत), सह-तुल्यकारक, और cokernel एक सीमा (श्रेणी सिद्धांत) की स्पष्ट धारणा के सभी उदाहरण हैं। किसी भी कोलिमिट कारक को संबंधित विकर्ण कारक के पास छोड़ दिया जाता है (बशर्ते श्रेणी में प्रश्न में कोलिमिट्स का प्रकार हो), और संयोजन की इकाई कोलिमिट ऑब्जेक्ट में परिभाषित मानचित्र प्रदान करती है। नीचे कुछ विशिष्ट उदाहरण दिए गए हैं।
- कोप्रोडक्ट्स। यदि एफ : एबी2 → Ab हर जोड़े (X) को असाइन करता है1, एक्स2) एबेलियन समूहों के उनके समूहों का प्रत्यक्ष योग, और यदि G : 'Ab' → 'Ab'2 वह कारक है जो हर एबेलियन समूह Y की युग्म (Y, Y) को असाइन करता है, फिर F को G के पास छोड़ दिया जाता है , फिर से प्रत्यक्ष राशियों की सार्वभौमिक गुणधर्म का परिणाम है। इस संलग्न युग्म की इकाई एक्स से समावेशन मानचित्रों की परिभाषित युग्म है1 और एक्स2 सीधे योग में, और counit (X,X) के प्रत्यक्ष योग से X पर वापस जाने के लिए योगात्मक मानचित्र है (प्रत्यक्ष योग का एक तत्व (a,b) X के तत्व a+b को भेजना)।
सदृश्य उदाहरण सदिश समष्टियों के मॉड्यूलों के प्रत्यक्ष योग और मॉड्यूल (गणित) द्वारा, समूहों के मुक्त गुणनफल द्वारा और समुच्चयों के असंयुक्त संघ द्वारा दिए गए हैं।
अन्य उदाहरण
बीजगणित
- किसी पहचान को एक रंग (बीजगणित) से जोड़ना। इस उदाहरण पर ऊपर प्रेरणा अनुभाग में चर्चा की गई थी। एक rng R दिया गया है, एक गुणात्मक पहचान तत्व RxZ लेकर और एक Z-बिलिनियर उत्पाद को (r,0)(0,1) = (0,1)(r) के साथ परिभाषित करके जोड़ा जा सकता है ,0) = (आर,0), (आर,0)(S,0) = (रुपये,0), (0,1)(0,1) = (0,1)। यह अंतर्निहित आरएनजी के लिए एक वलय ले जाने वाले कारक के लिए बाएं संलग्न बनाता है।
- एक पहचान को एक अर्धसमूह से जोड़ना। इसी तरह, एक अर्धसमूह S दिया गया है, हम एक पहचान तत्व जोड़ सकते हैं और असंयुक्त संघ S लेकर एक मोनोइड प्राप्त कर सकते हैं। {1} और उस पर एक बाइनरी ऑपरेशन को परिभाषित करना जैसे कि यह S पर ऑपरेशन को बढ़ाता है और 1 एक पहचान तत्व है। यह निर्माण एक कारक देता है जो कारक के लिए एक बायीं ओर है जो एक मोनोइड को अंतर्निहित सेमीग्रुप में ले जाता है।
- 'वलय एक्संलग्नंशन।' मान लीजिए कि R और S वलय हैं, और ρ : R → S एक वलय समाकारिता है। फिर S को एक (बाएं) आर-मॉड्यूल के रूप में देखा जा सकता है, और S के साथ टेंसर उत्पाद एक कारक एफ: आर-'मॉड' → S-'मॉड' पैदा करता है। तब F को भुलक्कड़ कारक G: S-'Mod' → R-'Mod' के साथ छोड़ दिया जाता है।
- 'टेन्सर-होम संयोजन।' यदि R एक वलय है और M एक सही R-मॉड्यूल है, तो M के साथ टेन्सर उत्पाद एक कारक F : R-'Mod' → 'Ab' उत्पन्न करता है। कारक जी: 'एबी' → आर-'मॉड', जी (ए) = होम द्वारा परिभाषितZ(एम, ए) प्रत्येक एबेलियन समूह ए के लिए, एफ के दाएं संलग्न है।
- 'मोनॉयड्स और ग्रुप्स से वलय्स तक।' इंटीग्रल मोनोइड वलय कंस्ट्रक्शन मोनोइड्स से वलय्स तक एक कारक देता है। यह कारक कारक के पास छोड़ दिया जाता है जो किसी दिए गए वलय से जुड़ा होता है, इसके अंतर्निहित गुणक मोनोइड। इसी तरह, अभिन्न समूह की वलय कंस्ट्रक्शन ग्रुप (मैथमैटिक्स) से वलय्स तक एक कारक पैदा करता है, कारक के निकट में छोड़ दिया जाता है जो किसी दिए गए वलय को उसके इकाई्स के ग्रुप को असाइन करता है। कोई क्षेत्र (गणित) K से भी प्रारंभ कर सकता है और K के ऊपर मोनोइड और समूह के छल्ले प्राप्त करने के लिए वलयों की श्रेणी के बजाय K-Sोसिएटिव बीजगणित की श्रेणी पर विचार कर सकता है।
- 'भिन्नों का क्षेत्र।' श्रेणी 'डोम' पर विचार करेंm इंजेक्टिव मोर्फिज्म के साथ इंटेग्रल डोमेन का। भुलक्कड़ कारक फील्ड → डोमm फ्रॉम फ़ील्ड्स में एक बायाँ सन्निकट होता है—यह प्रत्येक अभिन्न डोमेन को इसके अंशों के क्षेत्र को निर्दिष्ट करता है।
- बहुपद के छल्ले। घंटी बजाओ* एकता के साथ नुकीले क्रमविनिमेय वलयों की श्रेणी हो (जोड़े (ए, ए) जहां ए एक वलय है, एक ∈ ए और आकृतिवाद विशिष्ट तत्वों को संरक्षित करते हैं)। भुलक्कड़ कारक जी: वलय* → वलय का एक बायाँ जोड़ है - यह प्रत्येक वलय R को युग्म (R[x],x) प्रदान करता है जहाँ R[x] R से गुणांक के साथ बहुपद वलय है।
- abelianization । समावेशन कारक 'जी' पर विचार करें: एबी → जीआरपी एबेलियन समूहों की श्रेणी से समूहों की श्रेणी तक। इसमें एक बायाँ जोड़ होता है जिसे एबेलियनाइज़ेशन कहा जाता है जो प्रत्येक समूह G को भागफल समूह G प्रदान करता है।अब=जी/[जी,जी].
- 'द ग्रोथेंडिक ग्रुप'। K-सिद्धांत में, प्रस्थान का बिंदु यह देखना है कि टोपोलॉजिकल स्पेस पर वेक्टर बंडलों की श्रेणी में मॉड्यूल के प्रत्यक्ष योग के तहत एक क्रमविनिमेय मोनोइड संरचना होती है। औपचारिक रूप से प्रत्येक बंडल (या समकक्ष वर्ग) के लिए एक योगात्मक व्युत्क्रम जोड़कर, इस मोनॉइड, ग्रोथेंडिक समूह से एक एबेलियन समूह बना सकता है। वैकल्पिक रूप से कोई भी यह देख सकता है कि प्रत्येक समूह के लिए अंतर्निहित मोनोइड (उलटाओं को अनदेखा कर रहा है) के लिए कारक एक बाएं संलग्न है। उपरोक्त तीसरे खंड की चर्चा के अनुरूप, यह एक बार-के-लिए-एक निर्माण है। अर्थात्, ऋणात्मक संख्याओं के निर्माण का अनुकरण किया जा सकता है; लेकिन एक अस्तित्व प्रमेय का दूसरा विकल्प है। एकात्मक बीजगणितीय संरचनाओं के मामले में, स्वयं के अस्तित्व को सार्वभौमिक बीजगणित, या मॉडल सिद्धांत के रूप में संदर्भित किया जा सकता है; स्वाभाविक रूप से श्रेणी सिद्धांत के लिए अनुकूलित एक प्रमाण भी है।
- समूह प्रतिनिधित्व में 'फ्रोबेनियस पारस्परिकता': प्रेरित प्रतिनिधित्व देखें। इस उदाहरण ने लगभग आधी शताब्दी तक सामान्य सिद्धांत का पूर्वाभास किया।
सांस्थितिकी
- बाएँ और दाएँ सन्निकट के साथ एक कारक। चलो 'जी' टोपोलॉजिकल रिक्त स्थान से समुच्चय (गणित) के लिए कारक हो जो प्रत्येक टोपोलॉजिकल स्पेस को इसके अंतर्निहित समुच्चय (सांस्थितिकी को भूलकर) से जोड़ता है। G में एक बायाँ सम्मिलन F है, जो एक समुच्चय Y पर असतत स्थान बनाता है, और एक दाहिनी ओर H Y पर तुच्छ सांस्थितिकी बनाता है।
- सस्पेंशन और लूप स्पेस। दिए गए टोपोलॉजिकल स्पेस X और Y, स्पेस [SX, Y] होमोटॉपी कक्षाएं ेस ऑफ मैप्स के निलंबन (सांस्थितिकी) SX से X से Y स्वाभाविक रूप से अंतरिक्ष के लिए आइसोमोर्फिक है [X, ΩY] X से लूप स्पेस ΩY के मानचित्रों के होमोटोपी वर्गों के वाई। इसलिए सस्पेंशन कारक को होमोटॉपी श्रेणी में लूप स्पेस कारक के पास छोड़ दिया जाता है, जो होमोटॉपी सिद्धांत का एक महत्वपूर्ण तथ्य है।
- स्टोन–चेक संघनन। बता दें कि KHaus कॉम्पैक्ट जगह हॉसडॉर्फ स्पेस की श्रेणी है और G : KHaus → टॉप टोपोलॉजिकल स्पेस की कैटेगरी का इंक्लूजन फंक्शनल है। तब जी के पास एक बायां जोड़ है एफ : शीर्ष → खौस, स्टोन-सीच संघनन। इस संलग्न युग्म की इकाई प्रत्येक टोपोलॉजिकल स्पेस X से इसके स्टोन-सीच कॉम्पेक्टिफिकेशन में एक सतत फ़ंक्शन (सांस्थितिकी) मानचित्र उत्पन्न करती है।
- ढेरों की सीधी और उलटी छवियां। हर निरंतर मानचित्र f : X → Y टोपोलॉजिकल स्पेस के मध्य एक कारक f को प्रेरित करता है ∗ एक्स पर शीफ (गणित) ( समुच्चय्स, या एबेलियन ग्रुप्स, या वलय्स ...) की श्रेणी से, वाई पर प्रत्यक्ष छवि ऑपरेटर की इसी श्रेणी में। यह एक कारक f को भी प्रेरित करता है−1 Y पर एबेलियन समूहों के ढेरों की श्रेणी से लेकर X पर एबेलियन समूहों के ढेरों की श्रेणी तक, प्रतिलोम छवि कारक। एफ-1 को f के सन्निकट छोड़ दिया गया है ∗. यहाँ एक अधिक सूक्ष्म बिंदु यह है कि सुसंगत शीफ के लिए बायाँ सन्निकट शेवों ( समुच्चयों) के लिए उससे भिन्न होगा।
- संयम। स्टोन द्वैत पर लेख टोपोलॉजिकल स्पेस की श्रेणी और शांत स्थान की श्रेणी के मध्य एक जुड़ाव का वर्णन करता है जिसे सोबरिफिकेशन के रूप में जाना जाता है। विशेष रूप से, लेख में एक अन्य संयोजन का विस्तृत विवरण भी सम्मिलित है जो व्यर्थ सांस्थितिकी में शोषण किए गए सोबर रिक्त स्थान और स्थानिक लोकेशंस के प्रसिद्ध द्वंद्व (श्रेणी सिद्धांत) के लिए रास्ता तैयार करता है।
पो समुच्चय्स
प्रत्येक आंशिक रूप से ऑर्डर किए गए समुच्चय को एक श्रेणी के रूप में देखा जा सकता है (जहां पो समुच्चय के तत्व श्रेणी की वस्तुएं बन जाते हैं और हमारे पास x से y तक एक ही आकारिकी होती है और केवल यदि x ≤ y)। दो आंशिक रूप से ऑर्डर किए गए समुच्चयों के मध्य संलग्न कारक की एक युग्म को गाल्वा कनेक्शन कहा जाता है (या, यदि यह विरोधाभासी है, तो एंटीटोन गैलोइस कनेक्शन)। कई उदाहरणों के लिए उस लेख को देखें: गैलोज़ सिद्धांत का मामला निश्चित रूप से एक प्रमुख है। कोई भी गैलोज़ कनेक्शन बंद करने वाला ऑपरेटर ्स को जन्म देता है और संबंधित क्लोज्ड एलिमेंट्स के मध्य ऑर्डर-प्रोटेक्टिंग बायजेक्शन को उलट देता है।
जैसा कि गैल्वा समूहों के मामले में है, वास्तविक रुचि प्रायः एक द्वैत (गणित) (यानी एंटीटोन ऑर्डर आइसोमोर्फिज्म) के पत्राचार को परिष्कृत करने में होती है। इरविंग कपलान्स्की द्वारा इन पंक्तियों के साथ गैलोज़ सिद्धांत का एक उपचार यहां की सामान्य संरचना की मान्यता में प्रभावशाली था।
आंशिक आदेश का मामला काफी ध्यान देने योग्य परिभाषाओं को ध्वस्त करता है, लेकिन कई विषय प्रदान कर सकता है:
- संलग्नक द्वैत या समरूपता नहीं हो सकते हैं, लेकिन उस स्थिति में उन्नयन के लिए उम्मीदवार हैं
- क्लोजर ऑपरेटर संयोजन की उपस्थिति का संकेत दे सकते हैं, जैसा कि संबंधित मोनाड (श्रेणी सिद्धांत) (cf. Kuratowski क्लोजर स्वयंसिद्ध)
- विलियम लॉवरे की एक बहुत ही सामान्य टिप्पणी[3] यह है कि वाक्यविन्यास और शब्दार्थ संलग्न हैं: C को सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) का समुच्चय मानें, और D सभी गणितीय संरचनाओं के समुच्चय का पावर समुच्चय है। C में एक सिद्धांत T के लिए, G(T) को उन सभी संरचनाओं का समुच्चय होने दें जो स्वयंसिद्ध T को संतुष्ट करते हैं; गणितीय संरचनाओं S के एक समुच्चय के लिए, एफ (S) को S का न्यूनतम स्वयंसिद्ध होना चाहिए। हम तब कह सकते हैं कि S जी (टी) का एक उपसमुच्चय है यदि और केवल यदि एफ (S) तार्किक रूप से टी का अर्थ है: शब्दार्थ कारक जी सिंटैक्स कारक F के ठीक निकट है।
- विभाजन (गणित) (सामान्य रूप से) गुणन को उल्टा करने का प्रयास है, लेकिन ऐसी स्थितियों में जहां यह संभव नहीं है, हम प्रायः इसके बजाय एक संलग्न निर्माण करने का प्रयास करते हैं: आदर्श भागफल वलय आदर्शों और भौतिक सशर्त द्वारा गुणन से जुड़ा होता है प्रस्तावपरक कलन में तार्किक संयोजन के निकट है।
श्रेणी सिद्धांत
- समानताएं। यदि F : D → C श्रेणियों का एक तुल्यता है, तो हमारे पास एक व्युत्क्रम तुल्यता G : C → D है, और दो कारक F और G एक संलग्न युग्म बनाते हैं। इस मामले में इकाई और देश प्राकृतिक समरूपताएं हैं।
- संधियों की एक श्रृंखला। कार्य करनेवाला π0 जो किसी श्रेणी को असाइन करता है, उसके कनेक्टेड घटकों का समुच्चय कारक डी से बाएँ-संलग्न होता है जो उस समुच्चय पर असतत श्रेणी को समुच्चय करता है। इसके अतिरिक्त, D ऑब्जेक्ट कारक U के बाएँ-संलग्न है जो प्रत्येक श्रेणी को उसकी वस्तुओं के समुच्चय को असाइन करता है, और अंत में U को A से बाएँ-संलग्न करता है जो प्रत्येक समुच्चय को अविवेकी श्रेणी प्रदान करता है[4] उस समुच्चय पर।
- घातीय वस्तु। एक कार्तीय बंद श्रेणी में -×ए द्वारा दिए गए एंडोकारक सी → सी का दाहिना जोड़ है -ए</सुप>। इस युग्म को प्रायः करी और अनकरींग कहा जाता है; कई विशेष मामलों में, वे निरंतर भी होते हैं और एक होमियोमोर्फिज्म बनाते हैं।
श्रेणीबद्ध तर्क
- परिमाणीकरण। यदि कुछ गुणधर्म को व्यक्त करने वाला एक एकात्मक विधेय है, तो एक पर्याप्त रूप से मजबूत समुच्चय सिद्धांत समुच्चय के अस्तित्व को साबित कर सकता है गुणधर्म को पूरा करने वाली शर्तों की। एक उचित उपसमुच्चय और संबंधित इंजेक्शन में एक विधेय द्वारा विशेषता है सख्ती से अधिक प्रतिबंधात्मक गुणधर्म व्यक्त करना।
- विधेय तर्क में परिमाणक (तर्क)तर्क) की भूमिका प्रस्ताव बनाने में है और संभवतः अधिक चर के साथ सूत्रों को बंद करके परिष्कृत विधेय को व्यक्त करने में भी है। उदाहरण के लिए, एक विधेय पर विचार करें प्रकार के दो खुले चर के साथ और . बंद करने के लिए क्वांटिफायर का उपयोग करना , हम समुच्चय बना सकते हैं
- सभी तत्वों का का जिसके लिए एक है जिसके लिए यह है -संबंधित, और जो स्वयं गुणधर्म की विशेषता है . चौराहे की तरह सैद्धांतिक संचालन समुच्चय करें दो समुच्चयों का संयोजन सीधे संयोजन से मेल खाता है विधेय का। श्रेणीबद्ध तर्क में, टोपोस सिद्धांत का एक उपक्षेत्र, क्वांटिफ़ायर की पहचान पुलबैक कारक के निकटवर्ती के साथ की जाती है। इस तरह की प्राप्ति को समुच्चय थ्योरी का उपयोग करते हुए प्रस्तावपरक तर्क की चर्चा के अनुरूप देखा जा सकता है, लेकिन सामान्य परिभाषा तर्कों की एक समृद्ध श्रेणी के लिए बनाती है।
- तो एक वस्तु पर विचार करें पुलबैक वाली श्रेणी में। कोई रूपवाद आप एक पदाधिकारी का परिचय देंगे
- : उस श्रेणी पर जो सबऑब्जेक्ट का प्रीऑर्डर है। यह सबऑब्जेक्ट्स को मैप करता है का (तकनीकी रूप से: मोनोमोर्फिज्म क्लास ऑफ ) पुलबैक के लिए . यदि इस कारक के पास बाएँ या दाएँ सन्निकटन है, तो उन्हें कहा जाता है और , क्रमश।[5] वे दोनों से मानचित्र करते हैं वापस . बहुत मोटे तौर पर, एक डोमेन दिया गया के माध्यम से व्यक्त संबंध को मापने के लिए ओवर, कारक/क्वांटिफायर बंद हो जाता है में और इसके द्वारा निर्दिष्ट सब समुच्चय लौटाता है .
- उदाहरण: में , समुच्चय और फ़ंक्शंस की श्रेणी, कैनोनिकल सबोबजेक्ट्स सब समुच्चय (या बल्कि उनके कैनोनिकल इंजेक्शन) हैं। पुलबैक एक उपसमुच्चय का एक इंजेक्शन में साथ में सबसे बड़े समुच्चय के रूप में जाना जाता है जिसके बारे में सब कुछ जानता है और का इंजेक्शन में . इसलिए यह उलटी छवि के साथ (आक्षेप में) निकलता है .
- के लिए , आइए हम बाएं संलग्न को समझें, जिसे परिभाषित किया गया है
- जो यहाँ सिर्फ अर्थ है
- .
- विचार करना . हम देखते हैं . इसके विपरीत, यदि एक के लिए हमारे पास भी है , तो स्पष्ट रूप से . इसलिए तात्पर्य . हम यह निष्कर्ष निकालते हैं कि उलटा छवि कारक के निकट में बायाँ है प्रत्यक्ष छवि द्वारा दिया गया है। यहाँ इस परिणाम का एक लक्षण वर्णन है, जो तार्किक व्याख्या से अधिक मेल खाता है: की छवि अंतर्गत का पूरा समुच्चय है है, ऐसा है खाली नहीं है। यह कार्य करता है क्योंकि यह ठीक उन्हीं की उपेक्षा करता है जो के पूरक हैं . इसलिए
- इसे हमारी प्रेरणा के अनुरूप रखें .
- उलटा छवि कारक का दाहिना जोड़ दिया गया है (यहाँ गणना किए बिना)।
- सब समुच्चय का के पूर्ण समुच्चय के रूप में जाना जाता है के गुण के साथ है जिसकी उलटी छवि है इसके संबंध में में पूर्णतः समाहित है . ध्यान दें कि कैसे समुच्चय का निर्धारण करने वाला विधेय उपरोक्त के समान है, सिवाय उसके द्वारा प्रतिस्थापित किया जाता है .
- सत्ता स्थापित भी देखें।
संभावना
संभाव्यता में जुड़वाँ तथ्य को एक संयोजन के रूप में समझा जा सकता है: यह उम्मीद affine परिवर्तन के साथ प्रारंभ होती है, और यह उम्मीद कुछ अर्थों में वास्तविक संख्याओं पर वितरण के लिए वास्तविक-मूल्य सन्निकटन खोजने की समस्या का सबसे अच्छा समाधान है।
के आधार पर श्रेणी निर्धारित करें , वस्तुओं के वास्तविक संख्या होने के साथ, और आकारिकी एक बिंदु पर मूल्यांकन किए गए कार्यों को प्रभावित करती है। यानी किसी भी एफ़िन फंक्शन के लिए और कोई वास्तविक संख्या , आकारिकी को परिभाषित करें .
के आधार पर श्रेणी निर्धारित करें , प्रायिकता वितरण का समुच्चय सीमित अपेक्षा के साथ। आकारिकी को परिभाषित कीजिए एक वितरण पर मूल्यांकन किए गए affine कार्यों के रूप में। यानी किसी भी एफ़िन फंक्शन के लिए और कोई भी , आकारिकी को परिभाषित करें .
फिरडायराक डेल्टा माप उपाय एक कारक को परिभाषित करता है: , और उम्मीद एक और कारक को परिभाषित करती है , और वे संलग्न हैं: . (कुछ विचलित होकर, हालांकि, बाएं संलग्न है भुलक्कड़ है और आज़ाद है ।)
पूर्ण रूप से संयोजन
इसलिए हर संयोजन से जुड़े कई कारक और प्राकृतिक परिवर्तन होते हैं, और शेष को निर्धारित करने के लिए केवल एक छोटा सा हिस्सा पर्याप्त होता है।
श्रेणियों सी और डी के मध्य एक संयोजन के होते हैं
- एक कारक F : D → C को 'लेफ्ट संलग्न' कहा जाता है
- एक कारक G : C → D को 'दाहिना सन्निकट' कहा जाता है
- एक प्राकृतिक समरूपता Φ : homC(F–,–) → होमD(-, जी-)
- एक प्राकृतिक परिवर्तन ε : FG → 1C कॉउंट कहा जाता है
- एक प्राकृतिक परिवर्तन η : 1D → GF को 'इकाई' कहा जाता है
एक समतुल्य सूत्रीकरण, जहाँ X, C की किसी वस्तु को दर्शाता है और Y, D की किसी वस्तु को दर्शाता है, इस प्रकार है:
- प्रत्येक सी-मॉर्फिज्म एफ : एफवाई → एक्स के लिए, एक अद्वितीय डी-मॉर्फिज्म Φ हैY, X(f) = g : Y → GX ऐसा है कि नीचे दिए गए चित्र कम्यूट करते हैं, और प्रत्येक D-मोर्फिज्म g : Y → GX के लिए, एक अद्वितीय C-मॉर्फिज्म Φ है-1Y, X(जी) = एफ: एफवाई → एक्स सी में ऐसा है कि नीचे दिए गए आरेख कम्यूट:
इस दावे से, कोई इसे पुनर्प्राप्त कर सकता है:
- परिवर्तन ε, η, और Φ समीकरणों से संबंधित हैं
- रूपांतरण ε, η इकाई-इकाई समीकरणों को संतुष्ट करते हैं
- प्रत्येक युग्म (GX, εX) C में F से X तक एक सार्वभौमिक आकारिकी है
- प्रत्येक युग्म (FY, ηY) डी में वाई से जी तक एक सार्वभौमिक आकारिकी है
विशेष रूप से, उपरोक्त समीकरण किसी को Φ, ε, और η को तीनों में से किसी एक के संदर्भ में परिभाषित करने की अनुमति देते हैं। हालांकि, संलग्न कारक एफ और जी अकेले सामान्य रूप से संयोजन को निर्धारित करने के लिए पर्याप्त नहीं हैं। इन स्थितियों की समानता नीचे प्रदर्शित की गई है।
===सार्वभौमिक रूपात्मक होम- समुच्चय संयोजन === को प्रेरित करते हैं
एक सही संलग्न कारक जी दिया गया: सी → डी; प्रारंभिक आकारिता के अर्थ में, निम्न चरणों का पालन करके प्रेरित होम- समुच्चय संयोजन का निर्माण किया जा सकता है।
- एक कारक एफ : डी → सी और एक प्राकृतिक परिवर्तन η का निर्माण करें।
- डी में प्रत्येक वस्तु वाई के लिए, एक प्रारंभिक आकारिकी चुनें (एफ (वाई), ηY) वाई से जी तक, ताकि ηY : वाई → जी (एफ (वाई))। हमारे पास वस्तुओं पर F का मानचित्र और आकारिकी η का वर्ग है।
- प्रत्येक f : Y के लिए0 → और1, के रूप में (एफ (वाई0), दY0) एक प्रारंभिक आकारिकी है, तो η का गुणनखंड करेंY1</उप> o एफ η के साथY0 और F(f) प्राप्त करें : F(Y उप>0</उप>) → एफ(वाई1). यह आकारिता पर F का मानचित्र है।
- उस कारक के आने वाले आरेख का तात्पर्य प्राकृतिक परिवर्तनों के आने वाले आरेख से है, इसलिए η : 1D → जी o एफ एक प्राकृतिक परिवर्तन है।
- उस गुणनखंड की विशिष्टता और यह कि G एक कारक है, का तात्पर्य है कि आकारिकी पर F का मानचित्र रचनाओं और पहचानों को संरक्षित करता है।
- एक प्राकृतिक समरूपता का निर्माण करें Φ : homC(एफ-,-) → होमD(-,जी-)।
- सी में प्रत्येक वस्तु एक्स के लिए, डी में प्रत्येक वस्तु वाई, (एफ (वाई), η के रूप मेंY) एक प्रारंभिक रूपवाद है, फिर ΦY, X एक आपत्ति है, जहां ΦY, X(एफ: एफ (वाई) → एक्स) = जी (एफ) o ηY.
- η एक प्राकृतिक परिवर्तन है, जी एक कारक है, फिर किसी वस्तु एक्स के लिए0, एक्स1 C में, कोई भी वस्तु Y0, और1 डी में, कोई एक्स: एक्स0 → एक्स1, कोई वाई: वाई1 → और0, हमारे पास Φ हैY1, एक्स1</ उप> (एक्स o f o एफ (वाई)) = जी (एक्स) o जी (एफ) o जी (एफ (वाई)) o ηY1</ उप> = जी (एक्स) o जी (एफ) o ηY0</उप> o वाई = जी (एक्स) o ΦY0, एक्स0</उप>(एफ) o y, और फिर Φ दोनों तर्कों में स्वाभाविक है।
एक समान तर्क किसी को सीमावर्ती मोर्फिज्म से बाएं संलग्न कारक के लिए एक होम- समुच्चय संयोजन बनाने की अनुमति देता है। (निर्माण जो एक सही संलग्न के साथ प्रारंभ होता है, थोड़ा अधिक सामान्य है, क्योंकि कई संलग्न जोड़े में सही संलग्न एक तुच्छ रूप से परिभाषित समावेशन या भुलक्कड़ कारक है।)
=== देश-इकाई अधिष्ठापन होम- समुच्चय संयोजन === को प्रेरित करता है
दिए गए कारक F : D → C, G : C → D, और एक इकाई-इकाई संयोजन (ε, η) : F जी, हम प्राकृतिक परिवर्तन Φ: होम खोजने के द्वारा एक होम- समुच्चय संयोजन का निर्माण कर सकते हैंC(एफ-,-) → होमD(-, जी-) निम्नलिखित चरणों में:
- प्रत्येक f : FY → X और प्रत्येक g : Y → GX के लिए, परिभाषित करें
- परिवर्तन Φ और Ψ प्राकृतिक हैं क्योंकि η और ε प्राकृतिक हैं।
- इस क्रम में, कि F एक कारक है, कि ε प्राकृतिक है, और सह-इकाई-इकाई समीकरण 1FY = ईFY o एफ (एनY), हमने प्राप्त
- इसलिए ΨΦ पहचान परिवर्तन है।
- Dually, उस G का उपयोग करना एक कारक है, कि η प्राकृतिक है, और सह-इकाई-इकाई समीकरण 1GX = जी (ईX) o ηGX, हमने प्राप्त
- इसलिए ΦΨ पहचान परिवर्तन है। इस प्रकार Φ व्युत्क्रम Φ के साथ एक प्राकृतिक समरूपता है−1</सुप> = पीS.
=== होम- समुच्चय संयोजन उपरोक्त सभी === को प्रेरित करता है
दिए गए फ़ैनक्टर्स F : D → C, G : C → D, और एक होम- समुच्चय संयोजन Φ : होमC(एफ-,-) → होमD(-, जी-), कोई एक इकाई-इकाई संयोजन का निर्माण कर सकता है
- ,
जो निम्नलिखित चरणों में आरंभिक और अंतिम आकारिकी के वर्गों को परिभाषित करता है:
- होने देनासी में प्रत्येक एक्स के लिए, जहांपहचान रूपवाद है।
- होने देनाडी में प्रत्येक वाई के लिए, जहांपहचान रूपवाद है।
- Φ की विशिष्टता और स्वाभाविकता का अर्थ है कि प्रत्येक (GX, εX) C में F से X तक एक सीमावर्ती आकारिकी है, और प्रत्येक (FY, ηY) डी में वाई से जी तक प्रारंभिक आकारिकी है।
- Φ की स्वाभाविकता का तात्पर्य ε और η की स्वाभाविकता और दो सूत्रों से है
- प्रत्येक f के लिए: FY → X और g: Y → GX (जो पूर्णतया से Φ निर्धारित करता है)।
- X और η के लिए FY को प्रतिस्थापित करनाY = एफY, FY(1FY) दूसरे सूत्र में जी के लिए पहला सह-इकाई-इकाई समीकरण देता है
- ,
- और Y और ε के लिए GX को प्रतिस्थापित करनाX = एफ-1GX, X(1GX) पहले सूत्र में f के लिए दूसरा सह-इकाई-इकाई समीकरण देता है
- .
गुण
अस्तित्व
प्रत्येक कारक G : C → D बाएँ संलग्न को स्वीकार नहीं करता है। यदि सी एक पूर्ण श्रेणी है, तो बाएं संलग्न वाले कारक को पीटर जे। फ़्रीड के 'एडज्वाइंट कारक प्रमेय' द्वारा वर्णित किया जा सकता है: जी के पास एक बाएं संलग्न है यदि और केवल यदि यह सीमा (श्रेणी सिद्धांत) है # सीमा का संरक्षण और एक निश्चित लघुता की स्थिति संतुष्ट होती है: D की प्रत्येक वस्तु Y के लिए आकारिकी का एक वर्ग उपस्थित होता है
- एफi : वाई → जी (एक्सi)
जहां सूचकांक मैं एक समुच्चय से आता हूं I, एक वर्ग ( समुच्चय सिद्धांत) नहीं, जैसे कि हर रूपवाद
- एच : वाई → जी (एक्स)
रूप में लिखा जा सकता है
- एच = जी (टी) ∘ एफi
कुछ के लिए मैं में I और कुछ आकृतिवाद
- टी : एक्सi → एक्स ∈ सी।
एक समान कथन उन कारक को सही संलग्न के साथ दर्शाता है।
एक महत्वपूर्ण विशेष मामला स्थानीय रूप से प्रस्तुत करने योग्य श्रेणी का है। यदि तब स्थानीय रूप से प्रस्तुत करने योग्य श्रेणियों के मध्य एक कारक है
- F का दाहिना जोड़ है यदि और केवल यदि F छोटे कोलिमिट को संरक्षित करता है
- F का एक बायाँ जोड़ है यदि और केवल यदि F छोटी सीमाओं को बनाए रखता है और एक सुलभ कारक है
विशिष्टता
यदि फलक F : D → C के दो दाएँ सन्निकट G और G' हैं, तो G और G' प्राकृतिक परिवर्तन हैं। बाएं संलग्न के लिए भी यही सच है।
इसके विपरीत, यदि F को G के निकट छोड़ दिया जाता है, और G स्वाभाविक रूप से G' के समतुल्य है, तो F को भी G' के समीप छोड़ दिया जाता है। अधिक आम तौर पर, यदि 〈F, G, ε, η〉 एक संयोजन है (Counit-unit (ε,η) के साथ) और
- σ : एफ → एफ'
- τ : जी → जी '
प्राकृतिक समरूपताएं हैं तो 〈F′, G′, ε′, η′〉 एक संयोजन है जहां
यहाँ प्राकृतिक परिवर्तनों की लंबवत संरचना को दर्शाता है, और क्षैतिज रचना को दर्शाता है।
रचना
संयोजनों की रचना प्राकृतिक रूप से की जा सकती है। विशेष रूप से, यदि 〈F, G, ε, η〉 C और D के मध्य एक संयोजन है और 〈F′, G′, ε′, η′〉, D और E के मध्य एक संयोजन है तो कारक
से सटा हुआ है
अधिक सटीक रूप से, F F' और G' G के मध्य संयोजन द्वारा क्रमशः दी गई इकाई और देश के मध्य एक संयोजन है:
इस नए संयोजन को दिए गए दो संयोजनों का संयोजन कहा जाता है।
चूंकि एक श्रेणी 'सी' और स्वयं के मध्य एक पहचान संयोजन को परिभाषित करने का एक स्वाभाविक तरीका भी है, फिर एक ऐसी श्रेणी बनाई जा सकती है, जिसकी वस्तुएं सभी छोटी श्रेणी हैं और जिनकी आकृतियाँ संलग्नक हैं।
सीमा संरक्षण
संलग्नकों की सबसे महत्वपूर्ण गुणधर्म उनकी निरंतरता है: प्रत्येक कारक जिसमें बाएं संलग्न है (और इसलिए दाएं संलग्न है) निरंतर है (यानी श्रेणी सैद्धांतिक अर्थ में सीमा (श्रेणी सिद्धांत) के साथ संचार); प्रत्येक कारक जिसका एक दाहिना जोड़ है (और इसलिए एक बायां संलग्न है) सह-सतत है (यानी सीमा (श्रेणी सिद्धांत) के साथ यात्रा करता है)।
चूंकि गणित में कई सामान्य रचनाएं लिमिट या कोलिमिट हैं, इसलिए यह जानकारी का खजाना प्रदान करती है। उदाहरण के लिए:
- वस्तुओं के एक उत्पाद (श्रेणी सिद्धांत) के लिए एक सही संलग्न कारक लगाने से छवियों का उत्पाद प्राप्त होता है;
- वस्तुओं के एक सह-उत्पाद के लिए एक बाएं संलग्न कारक को अनुप्रयुक्त करने से छवियों का प्रतिफल प्राप्त होता है;
- दो एबेलियन श्रेणियों के मध्य हर दाहिनी ओर का कारक बाएँ सटीक कारक है;
- दो एबेलियन श्रेणियों के मध्य प्रत्येक बाएं संलग्न कारक सही सटीक कारक है।
एडिटिविटी
यदि C और D पूर्ववर्ती श्रेणियां हैं और F : D → C दाएँ संलग्न G : C → D के साथ एक योगात्मक कारक है, तो G भी एक योगात्मक कारक है और होम- समुच्चय बायजेक्शन
वास्तव में, एबेलियन समूहों के समरूपता हैं। वास्तव में, यदि G बाएं संलग्न F के साथ योगात्मक है, तो F भी योगात्मक है।
इसके अतिरिक्त, यदि सी और डी दोनों योगात्मक श्रेणियां हैं (अर्थात सभी परिमित द्विउत्पाद ्स के साथ प्रीएडिटिव श्रेणियां), तो उनके मध्य के किसी भी युग्मदारों की युग्म स्वचालित रूप से योगात्मक है।
रिश्ते
सार्वभौमिक निर्माण
जैसा कि पहले कहा गया है, श्रेणियों सी और डी के मध्य एक संयोजन सार्वभौमिक आकारिता के एक वर्ग को जन्म देता है, सी में प्रत्येक वस्तु के लिए एक और डी में प्रत्येक वस्तु के लिए एक। D की प्रत्येक वस्तु से, तो G का एक बायाँ सन्निकट है।
हालांकि, सार्वभौमिक निर्माण संलग्न कारक की तुलना में अधिक सामान्य हैं: एक सार्वभौमिक निर्माण एक अनुकूलन समस्या की तरह है; यह एक संलग्न युग्म को जन्म देता है यदि और केवल यदि इस समस्या का समाधान डी के प्रत्येक वस्तु (समकक्ष रूप से, सी के प्रत्येक वस्तु) के लिए है।
श्रेणियों की समानता
यदि एक कारक F : D → C श्रेणियों के समकक्ष का एक आधा है तो यह श्रेणियों के एक संलग्न समकक्ष में बाएं संलग्न है, यानी एक संयोजन जिसकी इकाई और कूनिट समरूपताएं हैं।
प्रत्येक संयोजन 〈F, G, ε, η〉 कुछ उपश्रेणियों की समानता का विस्तार करता है। सी को परिभाषित करें1 C की पूर्ण उपश्रेणी के रूप में C की वे वस्तुएँ X सम्मिलित हैं जिनके लिए εX एक समरूपता है, और डी परिभाषित करें1 डी की पूर्ण उपश्रेणी के रूप में डी की उन वस्तुओं वाई से मिलकर जिसके लिए ηY एक समरूपता है। तब F और G को D तक सीमित किया जा सकता है1 और सी1 और इन उपश्रेणियों की व्युत्क्रम समतुल्यता प्राप्त करें।
एक मायने में, फिर, संलग्न सामान्यीकृत व्युत्क्रम हैं। हालांकि ध्यान दें कि एफ का एक सही व्युत्क्रम (यानी एक कारक जी ऐसा है कि एफजी स्वाभाविक रूप से 1 के लिए आइसोमोर्फिक हैD) F का दायां (या बायां) जोड़ होना जरूरी नहीं है। संलग्न दो-तरफा व्युत्क्रमों का सामान्यीकरण करते हैं।
मोनाड
हर संयोजन 〈F, G, ε, η〉 श्रेणी डी में एक संबंधित मोनाड (श्रेणी सिद्धांत) 〈T, η, μ〉 को जन्म देता है।
टी = जीएफ द्वारा दिया गया है। मोनाड की इकाई
केवल इकाई η संयोजन और गुणन परिवर्तन की है
μ = GεF द्वारा दिया जाता है। वास्तव में, ट्रिपल 〈FG, ε, FηG〉 C में एक कॉमोनैड को परिभाषित करता है।
प्रत्येक सन्यासी कुछ संयोजन से उत्पन्न होता है - वास्तव में, आमतौर पर कई संयोजनों से - उपरोक्त फैशन में। इलेनबर्ग-मूर बीजगणित की श्रेणी और क्लेस्ली श्रेणी कहे जाने वाले दो निर्माण, एक संयोजन के निर्माण की समस्या के दो अतिवादी समाधान हैं जो किसी दिए गए सन्यासी को जन्म देते हैं।
टिप्पणियाँ
- ↑ Baez, John C. (1996). "Higher-Dimensional Algebra II: 2-Hilbert Spaces". arXiv:q-alg/9609018.
- ↑ Kan, Daniel M. (1958). "सहायक कारक" (PDF). Transactions of the American Mathematical Society. 87 (2): 294–329. doi:10.2307/1993102. JSTOR 1993102.
- ↑ Lawvere, F. William, "Adjointness in foundations", Dialectica, 1969. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.
- ↑ "अविवेकी श्रेणी". nLab.
- ↑ Mac Lane, Saunders; Moerdijk, Ieke (1992) Sheaves in Geometry and Logic, Springer-Verlag. ISBN 0-387-97710-4 See page 58
संदर्भ
- 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.
- 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.
बाहरी संबंध
- Adjunctions playlist on YouTube – seven short lectures on adjunctions by Eugenia Cheng of The Catsters
- WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, आकारिता, categories, कारकs, natural transformations, universal properties.
| ||||||||||||||||||
| ||||||||||||||||||
