उच्च श्रेणी सिद्धांत: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Generalization of category theory}}गणित में, उच्च [[श्रेणी सिद्धांत]] उच्च क्रम पर श्रेणी सिद्धांत का | {{Short description|Generalization of category theory}}गणित में, उच्च [[श्रेणी सिद्धांत]] उच्च क्रम पर श्रेणी सिद्धांत का भाग है, जिसका अर्थ है कि कुछ समानताओं को स्पष्ट तीरों द्वारा प्रतिस्थापित किया जाता है, जिससे की उन समानताओं के पीछे की संरचना का स्पष्ट रूप से अध्ययन किया जा सकता है, उच्च श्रेणी के सिद्धांत को अधिकांशतः [[बीजगणितीय टोपोलॉजी]] (विशेष रूप से [[होमोटॉपी सिद्धांत]]) में लागू किया जाता है, जैसे कि उनके [[मौलिक समूह]] ∞-ग्रुपॉइड जहां कोई [[टोपोलॉजिकल स्पेस]] के बीजगणितीय [[अपरिवर्तनीय (गणित)]] का अध्ययन करता है। | ||
== सख्त उच्च श्रेणियां == | == सख्त उच्च श्रेणियां == | ||
एक सामान्य [[श्रेणी (गणित)]] में [[वस्तु (श्रेणी सिद्धांत)]] और आकारिकी होती हैं, जिन्हें उच्च श्रेणी के सिद्धांत के संदर्भ में 1-रूपवाद कहा जाता है। | एक सामान्य [[श्रेणी (गणित)]] में [[वस्तु (श्रेणी सिद्धांत)]] और आकारिकी होती हैं, जिन्हें उच्च श्रेणी के सिद्धांत के संदर्भ में 1-रूपवाद कहा जाता है। [[2-श्रेणी]] 1-आकारिता के बीच 2-आकारिता को सम्मलित करके इसे सामान्यीकृत करती है। इसे (n − 1)-आकारिता के बीच n-आकारिता तक जारी रखने से एक n-श्रेणी मिलती है। | ||
जिस | जिस प्रकार कैट के नाम से जानी जाने वाली श्रेणी, जो कि छोटी श्रेणियों और मज़दूरों की श्रेणी है, वास्तव में एक 2-श्रेणी है, जिसमें इसके 2-आकारिता के रूप में [[प्राकृतिक परिवर्तन]] होते हैं, श्रेणी n-कैट की (छोटी) n-श्रेणियाँ वास्तव में एक (n +1)-श्रेणी होती हैं। | ||
एक n-श्रेणी को n पर प्रेरण द्वारा परिभाषित किया गया है: | एक n-श्रेणी को n पर प्रेरण द्वारा परिभाषित किया गया है: | ||
* एक 0-श्रेणी एक सेट है, | * एक 0-श्रेणी एक सेट है, | ||
*An (n +-1)-श्रेणी एक श्रेणी है जो श्रेणी n- | *An (n +-1)-श्रेणी एक श्रेणी है जो श्रेणी n-कैट से अधिक [[समृद्ध श्रेणी]] है। | ||
तो 1-श्रेणी सिर्फ एक ([[स्थानीय रूप से छोटी]]) श्रेणी है। | तो 1-श्रेणी सिर्फ एक ([[स्थानीय रूप से छोटी]]) श्रेणी है। | ||
सेट की [[मोनोइडल श्रेणी]] संरचना कार्टेशियन उत्पाद द्वारा टेंसर के रूप में और एक [[सिंगलटन सेट]] को इकाई के रूप में दी गई है। वास्तव में परिमित [[उत्पाद (श्रेणी सिद्धांत)]] वाली किसी भी श्रेणी को एक मोनोइडल संरचना दी जा सकती है। N-' | सेट की [[मोनोइडल श्रेणी]] संरचना कार्टेशियन उत्पाद द्वारा टेंसर के रूप में और एक [[सिंगलटन सेट]] को इकाई के रूप में दी गई है। वास्तव में परिमित [[उत्पाद (श्रेणी सिद्धांत)]] वाली किसी भी श्रेणी को एक मोनोइडल संरचना दी जा सकती है। N-'कैट' का पुनरावर्ती निर्माण ठीक काम करता है क्योंकि यदि श्रेणी सी में परिमित उत्पाद हैं, तो {{math|C}}-समृद्ध श्रेणियों की श्रेणी में परिमित उत्पाद भी हैं। | ||
चूंकि यह अवधारणा कुछ उद्देश्यों के लिए बहुत सख्त है, उदाहरण के लिए, होमोटॉपी सिद्धांत, जहां "कमजोर" संरचनाएं उच्च श्रेणियों के रूप में उत्पन्न होती हैं,<ref>{{harvnb|Baez|Dolan|1998|p=6}}</ref> सख्त घनीय उच्च होमोटॉपी ग्रुपोइड्स भी बीजगणितीय टोपोलॉजी के लिए एक नई नींव देने के रूप में उत्पन्न हुए हैं। समरूपता और समरूपता सिद्धांत के बीच की सीमा; नीचे दी गई पुस्तक में संदर्भित लेख [[नॉनबेलियन बीजगणितीय टोपोलॉजी]] को देखा जा सकता है। | |||
== कमजोर उच्च श्रेणियां == | == कमजोर उच्च श्रेणियां == | ||
{{main|कमजोर एन-श्रेणी}} | {{main|कमजोर एन-श्रेणी}} | ||
कमजोर n-श्रेणियों में, साहचर्य और पहचान की शर्तें अब सख्त नहीं हैं (अर्थात, वे समानता द्वारा नहीं दी जाती हैं), | कमजोर n-श्रेणियों में, साहचर्य और पहचान की शर्तें अब सख्त नहीं हैं (अर्थात, वे समानता द्वारा नहीं दी जाती हैं), अपितु अगले स्तर के एक तुल्याकारिता तक संतुष्ट हैं। [[टोपोलॉजी]] में एक उदाहरण [[पथ (टोपोलॉजी)]] की संरचना है, जहां पहचान और संघ की स्थिति केवल [[ मानकीकरण |मानकीकरण]] तक होती है, और इसलिए [[होमोटॉपी]] तक, जो इस 2-श्रेणी के लिए 2-समरूपता है। ये और-आइसोआकारिता होम-सेट के बीच सबसे अच्छा व्यवहार करते हैं और इसे व्यक्त करना कमजोर एन-श्रेणियों की परिभाषा में कठिनाई है। कमजोर 2-श्रेणियाँ, जिन्हें द्विश्रेणियाँ भी कहा जाता है, सबसे पहले स्पष्ट रूप से परिभाषित की गई थीं। इनमें से एक विशिष्टता यह है कि एक वस्तु के साथ एक [[द्विश्रेणी]] वास्तव में मोनोइडल श्रेणी है, जिससे कि द्विश्रेणियों को "कई वस्तुओं के साथ मोनोइडल श्रेणियां" कहा जा सकता है। कमजोर 3-श्रेणियाँ, जिन्हें [[त्रिश्रेणियाँ]] भी कहा जाता है, और उच्च-स्तरीय सामान्यीकरण स्पष्ट रूप से परिभाषित करने के लिए कठिन होते जा रहे हैं। कई परिभाषाएँ दी गई हैं, और यह प्रस्तुत किया कि वे कब समतुल्य हैं, और किस अर्थ में, श्रेणी सिद्धांत में अध्ययन का एक नवीनतम उद्देश्य बन गया है। | ||
== अर्ध-श्रेणियां == | == अर्ध-श्रेणियां == | ||
| Line 25: | Line 25: | ||
{{main|अर्ध-श्रेणी}} | {{main|अर्ध-श्रेणी}} | ||
कमजोर कैन परिसर, या अर्ध-श्रेणियां, कान की स्थिति के कमजोर संस्करण को संतुष्ट करने वाले साधारण सेट हैं। आंद्रे जोयल ने दिखाया कि वे उच्च श्रेणी के सिद्धांत के लिए एक अच्छा आधार हैं। हाल ही में, 2009 में, इस सिद्धांत को [[जैकब लुरी]] द्वारा आगे व्यवस्थित किया गया है, जो उन्हें केवल अनंत श्रेणियां कहते हैं, | कमजोर कैन परिसर, या अर्ध-श्रेणियां, कान की स्थिति के कमजोर संस्करण को संतुष्ट करने वाले साधारण सेट हैं। आंद्रे जोयल ने दिखाया कि वे उच्च श्रेणी के सिद्धांत के लिए एक अच्छा आधार हैं। हाल ही में, 2009 में, इस सिद्धांत को [[जैकब लुरी]] द्वारा आगे व्यवस्थित किया गया है, जो उन्हें केवल अनंत श्रेणियां कहते हैं, चूंकि बाद वाला शब्द भी किसी भी k के लिए (अनंत, k) श्रेणियों के सभी मॉडलों के लिए एक सामान्य शब्द है। | ||
==सरल रूप से समृद्ध श्रेणियाँ== | ==सरल रूप से समृद्ध श्रेणियाँ== | ||
| Line 31: | Line 31: | ||
{{main|सरलता से समृद्ध श्रेणी}} | {{main|सरलता से समृद्ध श्रेणी}} | ||
सरल रूप से समृद्ध श्रेणियां, या सरलीकृत श्रेणियां, सरलीकृत सेटों पर समृद्ध श्रेणियां हैं। | सरल रूप से समृद्ध श्रेणियां, या सरलीकृत श्रेणियां, सरलीकृत सेटों पर समृद्ध श्रेणियां हैं। चूंकि, जब हम उन्हें (अनंत, -1) श्रेणी के लिए एक मॉडल के रूप में देखते हैं, तो कई स्पष्ट धारणाएं (जैसे, [[सीमा (श्रेणी सिद्धांत)]]) समृद्ध श्रेणियों के अर्थ में संबंधित धारणाओं से सहमत नहीं होती हैं। अन्य समृद्ध मॉडलों के लिए समान, जैसे स्थलाकृतिक रूप से समृद्ध श्रेणियां होती है। | ||
== स्थलाकृतिक रूप से समृद्ध श्रेणियां == | == स्थलाकृतिक रूप से समृद्ध श्रेणियां == | ||
| Line 42: | Line 42: | ||
{{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}}== | ||
| Line 61: | Line 61: | ||
* {{cite book |authorlink=Jacob Lurie |first=Jacob |last=Lurie |title=Higher Topos Theory |url=https://books.google.com/books?id=aSZA6ojL3kwC |date=2009 |publisher=Princeton University Press |arxiv=math.CT/0608040 |isbn=978-0-691-14048-3}} As [http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf PDF]. | * {{cite book |authorlink=Jacob Lurie |first=Jacob |last=Lurie |title=Higher Topos Theory |url=https://books.google.com/books?id=aSZA6ojL3kwC |date=2009 |publisher=Princeton University Press |arxiv=math.CT/0608040 |isbn=978-0-691-14048-3}} As [http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf PDF]. | ||
* [[nLab]], the collective and open wiki notebook project on higher category theory and applications in physics, mathematics and philosophy | * [[nLab]], the collective and open wiki notebook project on higher category theory and applications in physics, mathematics and philosophy | ||
* [http://ncatlab.org/joyalscatlab/show/HomePage Joyal's | * [http://ncatlab.org/joyalscatlab/show/HomePage Joyal's कैटlab], a wiki dedicated to polished expositions of categorical and higher categorical mathematics with proofs | ||
* {{cite book |authorlink=Ronald Brown (mathematician) |first1=Ronald |last1=Brown |first2=Philip J. |last2=Higgins |first3=Rafael |last3=Sivera |series = Tracts in Mathematics |volume = 15 |title = Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids| publisher = European Mathematical Society| year = 2011 | isbn = 978-3-03719-083-8}} | * {{cite book |authorlink=Ronald Brown (mathematician) |first1=Ronald |last1=Brown |first2=Philip J. |last2=Higgins |first3=Rafael |last3=Sivera |series = Tracts in Mathematics |volume = 15 |title = Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids| publisher = European Mathematical Society| year = 2011 | isbn = 978-3-03719-083-8}} | ||
| Line 68: | Line 68: | ||
{{Commons category}} | {{Commons category}} | ||
*{{cite web |first=John |last=Baez|date=24 February 1996 |title=Week 73: Tale of ''n''-Categories |url=http://math.ucr.edu/home/baez/week73.html}} | *{{cite web |first=John |last=Baez|date=24 February 1996 |title=Week 73: Tale of ''n''-Categories |url=http://math.ucr.edu/home/baez/week73.html}} | ||
*[http://golem.ph.utexas.edu/category/ The n- | *[http://golem.ph.utexas.edu/category/ The n-कैटegory Cafe] — a group blog devoted to higher category theory. | ||
*{{cite web |url=https://golem.ph.utexas.edu/category/2010/03/a_perspective_on_higher_catego.html |first=Tom |last=Leinster |date=8 March 2010 |title=A Perspective on Higher Category Theory}} | *{{cite web |url=https://golem.ph.utexas.edu/category/2010/03/a_perspective_on_higher_catego.html |first=Tom |last=Leinster |date=8 March 2010 |title=A Perspective on Higher Category Theory}} | ||
Revision as of 23:18, 8 May 2023
गणित में, उच्च श्रेणी सिद्धांत उच्च क्रम पर श्रेणी सिद्धांत का भाग है, जिसका अर्थ है कि कुछ समानताओं को स्पष्ट तीरों द्वारा प्रतिस्थापित किया जाता है, जिससे की उन समानताओं के पीछे की संरचना का स्पष्ट रूप से अध्ययन किया जा सकता है, उच्च श्रेणी के सिद्धांत को अधिकांशतः बीजगणितीय टोपोलॉजी (विशेष रूप से होमोटॉपी सिद्धांत) में लागू किया जाता है, जैसे कि उनके मौलिक समूह ∞-ग्रुपॉइड जहां कोई टोपोलॉजिकल स्पेस के बीजगणितीय अपरिवर्तनीय (गणित) का अध्ययन करता है।
सख्त उच्च श्रेणियां
एक सामान्य श्रेणी (गणित) में वस्तु (श्रेणी सिद्धांत) और आकारिकी होती हैं, जिन्हें उच्च श्रेणी के सिद्धांत के संदर्भ में 1-रूपवाद कहा जाता है। 2-श्रेणी 1-आकारिता के बीच 2-आकारिता को सम्मलित करके इसे सामान्यीकृत करती है। इसे (n − 1)-आकारिता के बीच n-आकारिता तक जारी रखने से एक n-श्रेणी मिलती है।
जिस प्रकार कैट के नाम से जानी जाने वाली श्रेणी, जो कि छोटी श्रेणियों और मज़दूरों की श्रेणी है, वास्तव में एक 2-श्रेणी है, जिसमें इसके 2-आकारिता के रूप में प्राकृतिक परिवर्तन होते हैं, श्रेणी n-कैट की (छोटी) n-श्रेणियाँ वास्तव में एक (n +1)-श्रेणी होती हैं।
एक n-श्रेणी को n पर प्रेरण द्वारा परिभाषित किया गया है:
- एक 0-श्रेणी एक सेट है,
- An (n +-1)-श्रेणी एक श्रेणी है जो श्रेणी n-कैट से अधिक समृद्ध श्रेणी है।
तो 1-श्रेणी सिर्फ एक (स्थानीय रूप से छोटी) श्रेणी है।
सेट की मोनोइडल श्रेणी संरचना कार्टेशियन उत्पाद द्वारा टेंसर के रूप में और एक सिंगलटन सेट को इकाई के रूप में दी गई है। वास्तव में परिमित उत्पाद (श्रेणी सिद्धांत) वाली किसी भी श्रेणी को एक मोनोइडल संरचना दी जा सकती है। N-'कैट' का पुनरावर्ती निर्माण ठीक काम करता है क्योंकि यदि श्रेणी सी में परिमित उत्पाद हैं, तो 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 कैटlab, 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-कैटegory Cafe — a group blog devoted to higher category theory.
- Leinster, Tom (8 March 2010). "A Perspective on Higher Category Theory".
|  | |||||||||||||||||
| ||||||||||||||||||
