उच्च श्रेणी सिद्धांत: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|Generalization of category theory}}गणित में, उच्च श्रेणी सिद्धांत एक ''उच्च क्रम'...") |
No edit summary |
||
| (6 intermediate revisions by 3 users not shown) | |||
| 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-कैट की (छोटी) n-श्रेणियाँ वास्तव में (n +1)-श्रेणी होती हैं। | ||
एक | एक n-श्रेणी को n पर प्रेरण द्वारा परिभाषित किया गया है: | ||
* 0 | * एक 0 श्रेणी समुच्चय है, | ||
* An ( | *An (n +-1) श्रेणी श्रेणी है जो श्रेणी n-कैट से अधिक [[समृद्ध श्रेणी]] है। | ||
तो 1-श्रेणी सिर्फ | तो 1-श्रेणी सिर्फ ([[स्थानीय रूप से छोटी]]) श्रेणी है। | ||
समुच्चय की [[मोनोइडल श्रेणी]] संरचना कार्तीय उत्पाद द्वारा टेंसर के रूप में और [[सिंगलटन सेट|एकल समुच्चय]] को इकाई के रूप में दी गई है। वास्तव में परिमित [[उत्पाद (श्रेणी सिद्धांत)]] वाली किसी भी श्रेणी को मोनोइडल संरचना दी जा सकती है। N-'कैट' का पुनरावर्ती निर्माण ठीक काम करता है क्योंकि यदि श्रेणी सी में परिमित उत्पाद हैं, तो {{math|C}}-समृद्ध श्रेणियों की श्रेणी में परिमित उत्पाद भी हैं। | |||
चूंकि यह अवधारणा कुछ उद्देश्यों के लिए बहुत सख्त है, उदाहरण के लिए, होमोटॉपी सिद्धांत, जहां "कमजोर" संरचनाएं उच्च श्रेणियों के रूप में उत्पन्न होती हैं,<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 में हिर्शोवित्ज़ और सिम्पसन द्वारा प्रारंभ की गई उच्च श्रेणियों के मॉडल हैं,<ref>{{cite arXiv |first1=André |last1=Hirschowitz |first2=Carlos |last2=Simpson |title=एन-स्टैक के लिए अवरोहण|date=2001 |eprint=math/9807049 }}</ref> आंशिक रूप से 1974 में ग्रीम सेगल के परिणामों से प्रेरित हैं। | ||
{{Portal|Mathematics}} | |||
== यह भी देखें{{Portal|Mathematics}}== | |||
* [[उच्च आयामी बीजगणित]] | * [[उच्च आयामी बीजगणित]] | ||
* [[सामान्य सार बकवास]] | * [[सामान्य सार बकवास]] | ||
| Line 57: | 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 64: | 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}} | ||
{{Category theory}} | {{Category theory}} | ||
{{Foundations-footer}} | {{Foundations-footer}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Collapse templates]] | |||
[[Category:Commons category link from Wikidata]] | |||
[[Category:Created On 01/05/2023]] | [[Category:Created On 01/05/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal templates with redlinked portals]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:उच्च श्रेणी सिद्धांत| उच्च श्रेणी सिद्धांत ]] | |||
[[Category:गणित की नींव]] | |||
Latest revision as of 17:52, 17 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.
बाहरी संबंध
Wikimedia Commons has media related to [[commons:Category:उच्च श्रेणी सिद्धांत|उच्च श्रेणी सिद्धांत]].
- 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".
|  | |||||||||||||||||
| ||||||||||||||||||
