उच्च श्रेणी सिद्धांत: Difference between revisions
(Created page with "{{Short description|Generalization of category theory}}गणित में, उच्च श्रेणी सिद्धांत एक ''उच्च क्रम'...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Generalization of category theory}}गणित में, उच्च [[श्रेणी सिद्धांत]] | {{Short description|Generalization of category theory}}गणित में, उच्च [[श्रेणी सिद्धांत]] उच्च क्रम पर श्रेणी सिद्धांत का हिस्सा है, जिसका अर्थ है कि कुछ समानताओं को स्पष्ट तीरों द्वारा प्रतिस्थापित किया जाता है, ताकि उन समानताओं के पीछे की संरचना का स्पष्ट रूप से अध्ययन किया जा सकता है, उच्च श्रेणी के सिद्धांत को अक्सर [[बीजगणितीय टोपोलॉजी]] (विशेष रूप से [[होमोटॉपी सिद्धांत]]) में लागू किया जाता है, जैसे कि उनके [[मौलिक समूह]] ∞-ग्रुपॉइड जहां कोई [[टोपोलॉजिकल स्पेस]] के बीजगणितीय [[अपरिवर्तनीय (गणित)]] का अध्ययन करता है। | ||
== सख्त उच्च श्रेणियां == | == सख्त उच्च श्रेणियां == | ||
एक | एक सामान्य [[श्रेणी (गणित)]] में [[वस्तु (श्रेणी सिद्धांत)]] और आकारिकी होती हैं, जिन्हें उच्च श्रेणी के सिद्धांत के संदर्भ में 1-रूपवाद कहा जाता है। एक [[2-श्रेणी]] 1-मोर्फिज्म के बीच 2-मॉर्फिज्म को शामिल करके इसे सामान्यीकृत करती है। इसे (n − 1)-मॉर्फिज्म के बीच n-मॉर्फिज्म तक जारी रखने से एक n-श्रेणी मिलती है। | ||
जिस | जिस तरह कैट के नाम से जानी जाने वाली श्रेणी, जो कि छोटी श्रेणियों और मज़दूरों की श्रेणी है, वास्तव में एक 2-श्रेणी है, जिसमें इसके 2-मोर्फिज्म के रूप में [[प्राकृतिक परिवर्तन]] होते हैं, श्रेणी n-Cat की (छोटी) n-श्रेणियाँ वास्तव में एक (n +1)-श्रेणी होती हैं। | ||
एक | एक n-श्रेणी को n पर प्रेरण द्वारा परिभाषित किया गया है: | ||
* 0-श्रेणी सेट | * एक 0-श्रेणी एक सेट है, | ||
* An ( | *An (n +-1)-श्रेणी एक श्रेणी है जो श्रेणी n-Cat से अधिक [[समृद्ध श्रेणी]] है। | ||
तो 1-श्रेणी सिर्फ एक ([[स्थानीय रूप से छोटी | तो 1-श्रेणी सिर्फ एक ([[स्थानीय रूप से छोटी]]) श्रेणी है। | ||
सेट की [[मोनोइडल श्रेणी]] संरचना कार्टेशियन उत्पाद द्वारा टेंसर के रूप में और एक [[सिंगलटन सेट]] को इकाई के रूप में दी गई है। वास्तव में परिमित [[उत्पाद (श्रेणी सिद्धांत)]] वाली किसी भी श्रेणी को एक मोनोइडल संरचना दी जा सकती है। N-'Cat' का पुनरावर्ती निर्माण ठीक काम करता है क्योंकि यदि श्रेणी सी में परिमित उत्पाद हैं, तो {{math|C}}-समृद्ध श्रेणियों की श्रेणी में परिमित उत्पाद भी हैं। | |||
हालांकि यह अवधारणा कुछ उद्देश्यों के लिए बहुत सख्त है, उदाहरण के लिए, होमोटॉपी सिद्धांत, जहां कमजोर संरचनाएं उच्च श्रेणियों के रूप में उत्पन्न होती हैं,<ref>{{harvnb|Baez|Dolan|1998|p=6}}</ref> | हालांकि यह अवधारणा कुछ उद्देश्यों के लिए बहुत सख्त है, उदाहरण के लिए, होमोटॉपी सिद्धांत, जहां "कमजोर" संरचनाएं उच्च श्रेणियों के रूप में उत्पन्न होती हैं,<ref>{{harvnb|Baez|Dolan|1998|p=6}}</ref> सख्त क्यूबिकल उच्च होमोटॉपी ग्रुपोइड्स भी बीजगणितीय टोपोलॉजी के लिए एक नई नींव देने के रूप में उत्पन्न हुए हैं। समरूपता और समरूपता सिद्धांत के बीच की सीमा; नीचे दी गई पुस्तक में संदर्भित लेख [[नॉनबेलियन बीजगणितीय टोपोलॉजी]] को देखा जा सकता है। | ||
== कमजोर उच्च श्रेणियां == | == कमजोर उच्च श्रेणियां == | ||
{{main| | {{main|कमजोर एन-श्रेणी}} | ||
कमजोर | |||
कमजोर n-श्रेणियों में, साहचर्य और पहचान की शर्तें अब सख्त नहीं हैं (अर्थात, वे समानता द्वारा नहीं दी जाती हैं), बल्कि अगले स्तर के एक तुल्याकारिता तक संतुष्ट हैं। [[टोपोलॉजी]] में एक उदाहरण [[पथ (टोपोलॉजी)]] की संरचना है, जहां पहचान और संघ की स्थिति केवल [[ मानकीकरण |मानकीकरण]] तक होती है, और इसलिए [[होमोटॉपी]] तक, जो इस 2-श्रेणी के लिए 2-समरूपता है। ये और-आइसोमॉर्फिज्म होम-सेट के बीच सबसे अच्छा व्यवहार करते हैं और इसे व्यक्त करना कमजोर एन-श्रेणियों की परिभाषा में कठिनाई है। कमजोर 2-श्रेणियाँ, जिन्हें द्विश्रेणियाँ भी कहा जाता है, सबसे पहले स्पष्ट रूप से परिभाषित की गई थीं। इनमें से एक विशिष्टता यह है कि एक वस्तु के साथ एक [[द्विश्रेणी]] वास्तव में एक मोनोइडल श्रेणी है, जिससे कि द्विश्रेणियों को "कई वस्तुओं के साथ मोनोइडल श्रेणियां" कहा जा सकता है। कमजोर 3-श्रेणियाँ, जिन्हें [[त्रिश्रेणियाँ]] भी कहा जाता है, और उच्च-स्तरीय सामान्यीकरण स्पष्ट रूप से परिभाषित करने के लिए कठिन होते जा रहे हैं। कई परिभाषाएँ दी गई हैं, और यह बताना कि वे कब समतुल्य हैं, और किस अर्थ में, श्रेणी सिद्धांत में अध्ययन का एक नया उद्देश्य बन गया है। | |||
== अर्ध-श्रेणियां == | == अर्ध-श्रेणियां == | ||
{{main| | {{main|अर्ध-श्रेणी}} | ||
कमजोर | |||
कमजोर कैन परिसर, या अर्ध-श्रेणियां, कान की स्थिति के कमजोर संस्करण को संतुष्ट करने वाले साधारण सेट हैं। आंद्रे जोयल ने दिखाया कि वे उच्च श्रेणी के सिद्धांत के लिए एक अच्छा आधार हैं। हाल ही में, 2009 में, इस सिद्धांत को [[जैकब लुरी]] द्वारा आगे व्यवस्थित किया गया है, जो उन्हें केवल अनंत श्रेणियां कहते हैं, हालांकि बाद वाला शब्द भी किसी भी k के लिए (अनंत, k) श्रेणियों के सभी मॉडलों के लिए एक सामान्य शब्द है। | |||
==सरल रूप से समृद्ध श्रेणियाँ== | ==सरल रूप से समृद्ध श्रेणियाँ== | ||
{{main| | {{main|सरलता से समृद्ध श्रेणी}} | ||
सरल रूप से समृद्ध श्रेणियां, या सरलीकृत श्रेणियां, सरलीकृत सेटों पर समृद्ध श्रेणियां हैं। हालांकि, जब हम उन्हें (अनंत, -1) श्रेणी के लिए एक मॉडल के रूप में देखते हैं, तो कई स्पष्ट धारणाएं (जैसे, [[सीमा (श्रेणी सिद्धांत)]]) समृद्ध श्रेणियों के अर्थ में संबंधित धारणाओं से सहमत नहीं होती हैं। अन्य समृद्ध मॉडलों के लिए समान, जैसे स्थलाकृतिक रूप से समृद्ध श्रेणियां होती है। | |||
{{main| | == स्थलाकृतिक रूप से समृद्ध श्रेणियां == | ||
टोपोलॉजिकल रूप से समृद्ध श्रेणियां (कभी-कभी केवल टोपोलॉजिकल श्रेणियां कहलाती हैं) टोपोलॉजिकल स्पेस की कुछ सुविधाजनक श्रेणी से समृद्ध | |||
{{main|टोपोलॉजिकल श्रेणी}} | |||
टोपोलॉजिकल रूप से समृद्ध श्रेणियां (कभी-कभी केवल टोपोलॉजिकल श्रेणियां कहलाती हैं) वे श्रेणियां हैं, उदाहरण के लिए कॉम्पैक्ट रूप से उत्पन्न हौसडॉर्फ स्पेस की श्रेणीजो टोपोलॉजिकल स्पेस की कुछ सुविधाजनक श्रेणी से समृद्ध होती हैं। | |||
== सेगल श्रेणियां == | == सेगल श्रेणियां == | ||
{{main| | {{main|सेगल श्रेणी}} | ||
ये 1998 में | |||
ये 1998 में हिर्शोवित्ज़ और सिम्पसन द्वारा शुरू की गई उच्च श्रेणियों के मॉडल हैं,<ref>{{cite arXiv |first1=André |last1=Hirschowitz |first2=Carlos |last2=Simpson |title=एन-स्टैक के लिए अवरोहण|date=2001 |eprint=math/9807049 }}</ref> आंशिक रूप से 1974 में ग्रीम सेगल के परिणामों से प्रेरित हैं। | |||
== यह भी देखें | == यह भी देखें{{Portal|Mathematics}}== | ||
{{Portal|Mathematics}} | |||
* [[उच्च आयामी बीजगणित]] | * [[उच्च आयामी बीजगणित]] | ||
* [[सामान्य सार बकवास]] | * [[सामान्य सार बकवास]] | ||
Revision as of 22:57, 8 May 2023
गणित में, उच्च श्रेणी सिद्धांत उच्च क्रम पर श्रेणी सिद्धांत का हिस्सा है, जिसका अर्थ है कि कुछ समानताओं को स्पष्ट तीरों द्वारा प्रतिस्थापित किया जाता है, ताकि उन समानताओं के पीछे की संरचना का स्पष्ट रूप से अध्ययन किया जा सकता है, उच्च श्रेणी के सिद्धांत को अक्सर बीजगणितीय टोपोलॉजी (विशेष रूप से होमोटॉपी सिद्धांत) में लागू किया जाता है, जैसे कि उनके मौलिक समूह ∞-ग्रुपॉइड जहां कोई टोपोलॉजिकल स्पेस के बीजगणितीय अपरिवर्तनीय (गणित) का अध्ययन करता है।
सख्त उच्च श्रेणियां
एक सामान्य श्रेणी (गणित) में वस्तु (श्रेणी सिद्धांत) और आकारिकी होती हैं, जिन्हें उच्च श्रेणी के सिद्धांत के संदर्भ में 1-रूपवाद कहा जाता है। एक 2-श्रेणी 1-मोर्फिज्म के बीच 2-मॉर्फिज्म को शामिल करके इसे सामान्यीकृत करती है। इसे (n − 1)-मॉर्फिज्म के बीच n-मॉर्फिज्म तक जारी रखने से एक n-श्रेणी मिलती है।
जिस तरह कैट के नाम से जानी जाने वाली श्रेणी, जो कि छोटी श्रेणियों और मज़दूरों की श्रेणी है, वास्तव में एक 2-श्रेणी है, जिसमें इसके 2-मोर्फिज्म के रूप में प्राकृतिक परिवर्तन होते हैं, श्रेणी n-Cat की (छोटी) n-श्रेणियाँ वास्तव में एक (n +1)-श्रेणी होती हैं।
एक n-श्रेणी को n पर प्रेरण द्वारा परिभाषित किया गया है:
- एक 0-श्रेणी एक सेट है,
- An (n +-1)-श्रेणी एक श्रेणी है जो श्रेणी n-Cat से अधिक समृद्ध श्रेणी है।
तो 1-श्रेणी सिर्फ एक (स्थानीय रूप से छोटी) श्रेणी है।
सेट की मोनोइडल श्रेणी संरचना कार्टेशियन उत्पाद द्वारा टेंसर के रूप में और एक सिंगलटन सेट को इकाई के रूप में दी गई है। वास्तव में परिमित उत्पाद (श्रेणी सिद्धांत) वाली किसी भी श्रेणी को एक मोनोइडल संरचना दी जा सकती है। N-'Cat' का पुनरावर्ती निर्माण ठीक काम करता है क्योंकि यदि श्रेणी सी में परिमित उत्पाद हैं, तो C-समृद्ध श्रेणियों की श्रेणी में परिमित उत्पाद भी हैं।
हालांकि यह अवधारणा कुछ उद्देश्यों के लिए बहुत सख्त है, उदाहरण के लिए, होमोटॉपी सिद्धांत, जहां "कमजोर" संरचनाएं उच्च श्रेणियों के रूप में उत्पन्न होती हैं,[1] सख्त क्यूबिकल उच्च होमोटॉपी ग्रुपोइड्स भी बीजगणितीय टोपोलॉजी के लिए एक नई नींव देने के रूप में उत्पन्न हुए हैं। समरूपता और समरूपता सिद्धांत के बीच की सीमा; नीचे दी गई पुस्तक में संदर्भित लेख नॉनबेलियन बीजगणितीय टोपोलॉजी को देखा जा सकता है।
कमजोर उच्च श्रेणियां
कमजोर n-श्रेणियों में, साहचर्य और पहचान की शर्तें अब सख्त नहीं हैं (अर्थात, वे समानता द्वारा नहीं दी जाती हैं), बल्कि अगले स्तर के एक तुल्याकारिता तक संतुष्ट हैं। टोपोलॉजी में एक उदाहरण पथ (टोपोलॉजी) की संरचना है, जहां पहचान और संघ की स्थिति केवल मानकीकरण तक होती है, और इसलिए होमोटॉपी तक, जो इस 2-श्रेणी के लिए 2-समरूपता है। ये और-आइसोमॉर्फिज्म होम-सेट के बीच सबसे अच्छा व्यवहार करते हैं और इसे व्यक्त करना कमजोर एन-श्रेणियों की परिभाषा में कठिनाई है। कमजोर 2-श्रेणियाँ, जिन्हें द्विश्रेणियाँ भी कहा जाता है, सबसे पहले स्पष्ट रूप से परिभाषित की गई थीं। इनमें से एक विशिष्टता यह है कि एक वस्तु के साथ एक द्विश्रेणी वास्तव में एक मोनोइडल श्रेणी है, जिससे कि द्विश्रेणियों को "कई वस्तुओं के साथ मोनोइडल श्रेणियां" कहा जा सकता है। कमजोर 3-श्रेणियाँ, जिन्हें त्रिश्रेणियाँ भी कहा जाता है, और उच्च-स्तरीय सामान्यीकरण स्पष्ट रूप से परिभाषित करने के लिए कठिन होते जा रहे हैं। कई परिभाषाएँ दी गई हैं, और यह बताना कि वे कब समतुल्य हैं, और किस अर्थ में, श्रेणी सिद्धांत में अध्ययन का एक नया उद्देश्य बन गया है।
अर्ध-श्रेणियां
कमजोर कैन परिसर, या अर्ध-श्रेणियां, कान की स्थिति के कमजोर संस्करण को संतुष्ट करने वाले साधारण सेट हैं। आंद्रे जोयल ने दिखाया कि वे उच्च श्रेणी के सिद्धांत के लिए एक अच्छा आधार हैं। हाल ही में, 2009 में, इस सिद्धांत को जैकब लुरी द्वारा आगे व्यवस्थित किया गया है, जो उन्हें केवल अनंत श्रेणियां कहते हैं, हालांकि बाद वाला शब्द भी किसी भी k के लिए (अनंत, k) श्रेणियों के सभी मॉडलों के लिए एक सामान्य शब्द है।
सरल रूप से समृद्ध श्रेणियाँ
सरल रूप से समृद्ध श्रेणियां, या सरलीकृत श्रेणियां, सरलीकृत सेटों पर समृद्ध श्रेणियां हैं। हालांकि, जब हम उन्हें (अनंत, -1) श्रेणी के लिए एक मॉडल के रूप में देखते हैं, तो कई स्पष्ट धारणाएं (जैसे, सीमा (श्रेणी सिद्धांत)) समृद्ध श्रेणियों के अर्थ में संबंधित धारणाओं से सहमत नहीं होती हैं। अन्य समृद्ध मॉडलों के लिए समान, जैसे स्थलाकृतिक रूप से समृद्ध श्रेणियां होती है।
स्थलाकृतिक रूप से समृद्ध श्रेणियां
टोपोलॉजिकल रूप से समृद्ध श्रेणियां (कभी-कभी केवल टोपोलॉजिकल श्रेणियां कहलाती हैं) वे श्रेणियां हैं, उदाहरण के लिए कॉम्पैक्ट रूप से उत्पन्न हौसडॉर्फ स्पेस की श्रेणीजो टोपोलॉजिकल स्पेस की कुछ सुविधाजनक श्रेणी से समृद्ध होती हैं।
सेगल श्रेणियां
ये 1998 में हिर्शोवित्ज़ और सिम्पसन द्वारा शुरू की गई उच्च श्रेणियों के मॉडल हैं,[2] आंशिक रूप से 1974 में ग्रीम सेगल के परिणामों से प्रेरित हैं।
यह भी देखें
टिप्पणियाँ
- ↑ Baez & Dolan 1998, p. 6
- ↑ Hirschowitz, André; Simpson, Carlos (2001). "एन-स्टैक के लिए अवरोहण". arXiv:math/9807049.
संदर्भ
- Baez, John C.; Dolan, James (1998). "Categorification". arXiv:math/9802029.
- Leinster, Tom (2004). Higher Operads, Higher Categories. Cambridge University Press. arXiv:math.CT/0305049. ISBN 0-521-53215-9.
- Simpson, Carlos (2010). "Homotopy theory of higher categories". arXiv:1001.4071 [math.CT]. Draft of a book. Alternative PDF with hyperlinks)
- Lurie, Jacob (2009). Higher Topos Theory. Princeton University Press. arXiv:math.CT/0608040. ISBN 978-0-691-14048-3. As PDF.
- nLab, the collective and open wiki notebook project on higher category theory and applications in physics, mathematics and philosophy
- Joyal's Catlab, a wiki dedicated to polished expositions of categorical and higher categorical mathematics with proofs
- Brown, Ronald; Higgins, Philip J.; Sivera, Rafael (2011). Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids. Tracts in Mathematics. Vol. 15. European Mathematical Society. ISBN 978-3-03719-083-8.
बाहरी संबंध
- Baez, John (24 February 1996). "Week 73: Tale of n-Categories".
- The n-Category Cafe — a group blog devoted to higher category theory.
- Leinster, Tom (8 March 2010). "A Perspective on Higher Category Theory".
|  | |||||||||||||||||
| ||||||||||||||||||
