मॉडल श्रेणी: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical category with weak equivalences, fibrations and cofibrations}} गणित में, विशेष रूप से होमोटॉ...")
 
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Mathematical category with weak equivalences, fibrations and cofibrations}}
{{Short description|Mathematical category with weak equivalences, fibrations and cofibrations}}
गणित में, विशेष रूप से [[होमोटॉपी सिद्धांत]] में, एक मॉडल श्रेणी एक [[श्रेणी सिद्धांत]] है जिसमें आकारिकी ('तीर') के विशिष्ट वर्ग होते हैं, जिन्हें 'कमजोर समकक्ष (होमोटोपी सिद्धांत)', '[[ कंपन ]]' और '[[cofibration]]' कहा जाता है, जो उनसे संबंधित कुछ सिद्धांतों को संतुष्ट करते हैं। [[टोपोलॉजिकल स्पेस]] या [[चेन कॉम्प्लेक्स]] ([[व्युत्पन्न श्रेणी]] सिद्धांत) की श्रेणी से ये सार। अवधारणा द्वारा पेश किया गया था {{harvs|txt|first=Daniel G. |last=Quillen|authorlink=Daniel  Quillen|year=1967}}.
गणित में, विशेष रूप से समस्थेयता (होमोटॉपी) सिद्धांत में, '''मॉडल श्रेणी''' एक ऐसी श्रेणी है जिसमें आकारिकी ('तीर') के विशिष्ट वर्ग होते हैं जिन्हें 'दुर्बल समतुल्यता', 'फाइब्रेशन' और 'सह-संयोजन' कहा जाता है जो उनसे संबंधित कुछ सिद्धांतों को पूरा करते हैं। ये सांस्थितिक समष्टि या श्रृंखला सम्मिश्र (व्युत्पन्न श्रेणी सिद्धांत) की श्रेणी से अमूर्त हैं। यह अवधारणा डेनियल जी. क्विलेन (1967) द्वारा प्रस्तुत की गई थी।


हाल के दशकों में, बीजगणितीय के-सिद्धांत के कुछ हिस्सों में मॉडल श्रेणियों की भाषा का उपयोग किया गया है। बीजगणितीय के-सिद्धांत और [[बीजगणितीय ज्यामिति]], जहां होमोटॉपी-सैद्धांतिक दृष्टिकोण ने गहरे परिणाम दिए।
हाल के दशकों में, मॉडल श्रेणियों की भाषा का उपयोग बीजगणितीय K-सिद्धांत और बीजगणितीय ज्यामिति के कुछ भागों में किया गया है, जहां समस्थेयता-सैद्धांतिक दृष्टिकोण ने स्थायी परिणाम दिए हैं।


== प्रेरणा ==
== कारण ==


मॉडल श्रेणियां होमोटॉपी सिद्धांत के लिए एक प्राकृतिक सेटिंग प्रदान कर सकती हैं: टोपोलॉजिकल रिक्त स्थान की श्रेणी एक मॉडल श्रेणी है, सामान्य सिद्धांत के अनुरूप समरूपता के साथ। इसी तरह, जिन वस्तुओं को रिक्त स्थान के रूप में माना जाता है, वे अक्सर एक मॉडल श्रेणी संरचना को स्वीकार करते हैं, जैसे कि साधारण सेट की श्रेणी।
मॉडल श्रेणियां समस्थेयता सिद्धांत के लिए एक प्राकृतिक समायोजन प्रदान कर सकती हैं: सांस्थितिक समष्टि की श्रेणी एक मॉडल श्रेणी है जिसमें समस्थेयता सामान्य सिद्धांत के अनुरूप है। इसी तरह, जिन वस्तुओं को समष्टि के रूप में माना जाता है, वे प्रायः एक मॉडल श्रेणी संरचना को स्वीकार करते हैं, जैसे कि साधारण समुच्चय की श्रेणी है।


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


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==


क्विलेन द्वारा शुरू में दी गई परिभाषा एक बंद मॉडल श्रेणी की थी, जिसकी धारणा उस समय मजबूत लग रही थी, दूसरों को एक मॉडल श्रेणी को परिभाषित करने के लिए कुछ धारणाओं को कमजोर करने के लिए प्रेरित कर रही थी। व्यवहार में यह अंतर महत्वपूर्ण साबित नहीं हुआ है और सबसे हाल के लेखक (जैसे, मार्क होवे और फिलिप हिर्शहॉर्न) बंद मॉडल श्रेणियों के साथ काम करते हैं और केवल 'बंद' विशेषण को छोड़ देते हैं।
क्विलेन द्वारा प्रारंभ में दी गई परिभाषा एक संवृत मॉडल श्रेणी की थी, जिसकी धारणा उस समय प्रबल लग रही थी, दूसरों को एक मॉडल श्रेणी को परिभाषित करने के लिए कुछ धारणाओं को दुर्बल करने के लिए प्रेरित कर रही थी। व्यवहार में यह अंतर महत्वपूर्ण प्रमाणित नहीं हुआ है और सबसे हाल के लेखक (जैसे, मार्क होवे और फिलिप हिर्शहॉर्न) संवृत मॉडल श्रेणियों के साथ कार्य करते हैं और केवल 'संवृत' विशेषण को छोड़ देते हैं।


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


एक श्रेणी 'सी' पर एक मॉडल संरचना में आकारिकी के तीन विशिष्ट वर्ग होते हैं (समान रूप से उपश्रेणियाँ): कमजोर तुल्यता (होमोटोपी सिद्धांत), फ़िब्रेशन, और कॉफ़िब्रेशन, और दो कार्यात्मक कारक <math>(\alpha , \beta)</math> और <math> (\gamma, \delta)</math> निम्नलिखित स्वयंसिद्धों के अधीन। एक फ़िब्रेशन जो एक कमजोर तुल्यता भी है, उसे एसाइक्लिक (या तुच्छ) फ़िब्रेशन कहा जाता है<ref>Some readers find the term "trivial" ambiguous and so prefer to use "acyclic".</ref> और एक कोफिब्रेशन जो एक कमजोर तुल्यता भी है, उसे एसाइक्लिक (या ट्रिवियल) कोफिब्रेशन (या कभी-कभी एनोडीन मोर्फिज्म कहा जाता है) कहा जाता है।
श्रेणी 'C' पर एक मॉडल संरचना में आकारिकी के तीन विशिष्ट वर्ग होते हैं (समान रूप से उपश्रेणियाँ) दुर्बल समतुल्यता (समस्थेयता सिद्धांत), फ़िब्रेशन, और सह-संयोजन, और दो कार्यात्मक कारक <math>(\alpha , \beta)</math> और <math> (\gamma, \delta)</math> निम्नलिखित अभिगृहीत के अधीन होते है। फ़िब्रेशन जो एक दुर्बल समतुल्यता भी है, उसे अनावर्ती (या सामान्य) फ़िब्रेशन कहा जाता है<ref>Some readers find the term "trivial" ambiguous and so prefer to use "acyclic".</ref> और एक सह-संयोजन जो एक दुर्बल समतुल्यता भी है, उसे अनावर्ती (या सामान्य) सह-संयोजन (या कभी-कभी एनोडीन आकारिकी कहा जाता है) कहा जाता है।


अभिगृहीत:
====== अभिगृहीत: ======
''विखंडन'' :


# ''रिट्रेक्ट्स'': यदि ''जी'' विशिष्ट वर्गों में से एक से संबंधित आकारिकी है, और ''एफ'''जी'' का एक रिट्रेक्ट (श्रेणी सिद्धांत) है (तीर श्रेणी में वस्तुओं के रूप में) <math>C^2</math>, जहां 2 2-तत्व आदेशित सेट है), तो f उसी विशिष्ट वर्ग से संबंधित है। स्पष्ट रूप से, आवश्यकता है कि एफ जी का एक वापसी है इसका मतलब है कि वहां मौजूद है i, j, r, और s, जैसे कि निम्न आरेख कम्यूट करता है:
# यदि ''g'' विशिष्ट वर्गों में से एक से संबंधित आकारिकी है, और ''f,g'' का एक खंडन (श्रेणी सिद्धांत) है (तीर श्रेणी <math>C^2</math> में वस्तुओं के रूप में जहां 2 2-अवयव क्रमित समुच्चय है), तो f उसी विशिष्ट वर्ग से संबंधित है। स्पष्ट रूप से, आवश्यकता है कि f, g का एक व्युत्क्रम है इसका तात्पर्य है कि वहां i, j, r, और s सम्मिलित है जैसे कि निम्न आरेख रूपांतरण करता है:
#:[[Image:Model category retract.png]]# 2 का 3: यदि एफ और जी सी में मानचित्र हैं जैसे कि जीएफ परिभाषित है और इनमें से कोई भी दो कमजोर समकक्ष हैं तो तीसरा भी है।
# 2 का 3: यदि f और g C में मानचित्र हैं जैसे कि fg परिभाषित है और इनमें से कोई भी दो दुर्बल समकक्ष हैं तो तीसरा भी समतुल्य है।[[Image:Model category retract.png|155x155px]]
# लिफ्टिंग: एसाइक्लिक कोफिब्रेशन में फाइब्रेशन के संबंध में लेफ्ट लिफ्टिंग प्रॉपर्टी होती है, और कोफिब्रेशन में एसाइक्लिक फाइब्रेशन के संबंध में लेफ्ट लिफ्टिंग प्रॉपर्टी होती है। स्पष्ट रूप से, यदि निम्नलिखित आरेख का बाहरी वर्ग कम्यूट करता है, जहां i एक कोफ़िब्रेशन है और p एक फ़िब्रेशन है, और i या p एसाइक्लिक है, तो आरेख को पूरा करने वाला h मौजूद है।
# उत्थापन: अनावर्ती सह-संयोजन में फाइब्रेशन के संबंध में वाम उत्थापन गुण होती है, और सह-संयोजन में अनावर्ती फाइब्रेशन के संबंध में वाम उत्थापन गुण होती है। स्पष्ट रूप से, यदि निम्नलिखित आरेख का बाहरी वर्ग विनिमय करता है, जहां i एक सहसंरचना है और p एक फ़िब्रेशन है, और i या p अनावर्ती है, तो आरेख को पूरा करने वाला h सम्मिलित है।
#:[[Image:Model category lifting.png]]# गुणनखंडन:
# गुणनखंडन:[[Image:Model category lifting.png|110x110px]]
#* C में प्रत्येक आकारिकी f को इस रूप में लिखा जा सकता है <math>p\circ i</math> एक फ़िब्रेशन p और एक एसाइक्लिक कोफ़िब्रेशन i के लिए;
#* C में प्रत्येक आकारिकी f को फ़िब्रेशन p और चक्रीय सहसंरचना i के लिए <math>p\circ i</math> के रूप मे लिखा जा सकता है;
#* C में प्रत्येक आकारिकी f को इस रूप में लिखा जा सकता है <math>p\circ i</math> एसाइक्लिक फाइब्रेशन पी और कोफिब्रेशन आई के लिए।
#* C में प्रत्येक आकारिकी f अनावर्ती फाइब्रेशन p और सह-संयोजन i के लिए <math>p\circ i</math> के रूप में लिखा जा सकता है।


एक 'मॉडल श्रेणी' एक ऐसी श्रेणी है जिसमें एक मॉडल संरचना होती है और सभी (छोटी) [[सीमा (श्रेणी सिद्धांत)]] और सीमा (श्रेणी सिद्धांत)#Colimits, यानी मॉडल संरचना के साथ एक पूर्ण श्रेणी।
'मॉडल श्रेणी' एक ऐसी श्रेणी है जिसमें एक मॉडल संरचना होती है और सभी (छोटी) [[सीमा (श्रेणी सिद्धांत)|सीमाएँ (श्रेणी सिद्धांत)]] और सह-सीमाएँ होती हैं अर्थात एक मॉडल संरचना के साथ एक पूर्ण और सह-पूर्ण श्रेणी होती है।


=== कमजोर गुणनखंड प्रणाली के माध्यम से परिभाषा ===
=== दुर्बल गुणनखंड प्रणाली के माध्यम से परिभाषा ===


उपरोक्त परिभाषा को संक्षेप में निम्नलिखित समतुल्य परिभाषा द्वारा व्यक्त किया जा सकता है: एक मॉडल श्रेणी एक श्रेणी सी है और तीन वर्ग (तथाकथित) कमजोर तुल्यता ''डब्ल्यू'', फाइब्रेशन ''एफ'' और कोफिब्रेशन ''सी'' हैं। ताकि
उपरोक्त परिभाषा को संक्षेप में निम्नलिखित समतुल्य परिभाषा द्वारा व्यक्त किया जा सकता है: मॉडल श्रेणी एक श्रेणी C है और तीन वर्ग (तथाकथित) दुर्बल समतुल्यता ''W'', फाइब्रेशन ''F'' और सह-संयोजन ''C'' हैं। ताकि


* C की सभी सीमाएँ और सीमाएँ हैं,
* C की सभी सीमाएँ और सह-सीमाएँ हैं,


* <math>(C \cap W, F)</math> एक कमजोर गुणनखंड प्रणाली है,
* <math>(C \cap W, F)</math> दुर्बल गुणनखंड प्रणाली है,


* <math>(C, F \cap W)</math> एक कमजोर कारककरण प्रणाली है
* <math>(C, F \cap W)</math> दुर्बल गुणनखंड प्रणाली है
* <math>W</math> 3 में से 2 संपत्ति को संतुष्ट करता है।<ref>{{harvtxt|Riehl|2014|loc=§11.3}}</ref>
* <math>W</math> 3 में से 2 गुण को संतुष्ट करता है।<ref>{{harvtxt|Riehl|2014|loc=§11.3}}</ref>




=== परिभाषा के पहले परिणाम ===
=== परिभाषा का पहला परिणाम ===


स्वयंसिद्धों का अर्थ है कि मानचित्रों के तीन वर्गों में से कोई भी दो तीसरे का निर्धारण करते हैं (उदाहरण के लिए, कोफिब्रेशन और कमजोर समतुल्य फाइब्रेशन निर्धारित करते हैं)।
अभिगृहीत का अर्थ है कि मानचित्रों के तीन वर्गों में से कोई भी दो तीसरे का निर्धारण करते हैं उदाहरण के लिए, सह-संयोजन और दुर्बल समतुल्य संरचना निर्धारित करते हैं।


साथ ही, परिभाषा स्व-द्वैत है: यदि C एक मॉडल श्रेणी है, तो इसकी [[विपरीत श्रेणी]] <math>\mathcal{C}^{op}</math> एक मॉडल संरचना को भी स्वीकार करता है ताकि कमजोर तुल्यताएं उनके विरोधों के अनुरूप हों, तंतुकरणों के विपरीत तंतु और तंतुओं के विपरीत सह-संरचनाएं।
इसके अतिरिक्त, परिभाषा स्व-द्वैत है: यदि C एक मॉडल श्रेणी है, तो इसकी [[विपरीत श्रेणी]] <math>\mathcal{C}^{op}</math> एक मॉडल संरचना को भी स्वीकार करता है ताकि दुर्बल तुल्यताएं उनके विपरीत फाइब्रेशन (तंतुओं) के अनुरूप हों, सह-संयोजन के विपरीत और फाइब्रेशन के विपरीत हों।


== उदाहरण ==
== उदाहरण ==


=== टोपोलॉजिकल स्पेस ===
=== सांस्थितिक समष्टि ===
[[टोपोलॉजिकल स्पेस की श्रेणी]], टॉप, सामान्य फ़िब्रेशन के साथ एक मानक मॉडल श्रेणी संरचना को स्वीकार करता है। (सेरे) फ़िब्रेशन और कमजोर समरूपता के साथ कमजोर समरूपता के रूप में। कोफ़िब्रेशन सामान्य धारणा नहीं है जो कोफ़िब्रेशन पाया जाता है, बल्कि नक्शों का संकरा वर्ग होता है, जिसमें एसाइक्लिक सेरे फ़िब्रेशन के संबंध में बाईं ओर उठाने वाली संपत्ति होती है।
सांस्थितिक समष्टि की श्रेणी शीर्ष सामान्य (सेरे) फ़िब्रेशन के साथ एक मानक मॉडल श्रेणी संरचना को स्वीकार करता है और दुर्बल समरूपता के साथ दुर्बल समस्थेयता के रूप में होता है। सहसंरचना यहां पाई जाने वाली सामान्य धारणा नहीं है, बल्कि मानचित्रों का संकुचित वर्ग होता है, जिसमें अनावर्ती सेरे फ़िब्रेशन के संबंध में वाम उत्थापन गुण होती है। समान रूप से, वे आपेक्षिक सेल सम्मिश्र के प्रतिकर्षक हैं, जैसा कि उदाहरण के लिए होवी के ''मॉडल'' श्रेणियाँ में बताया गया है। यह संरचना अद्वितीय नहीं है; सामान्य रूप से दी गई श्रेणी पर कई मॉडल श्रेणी संरचनाएँ हो सकती हैं। सांस्थितिक समष्टि की श्रेणी के लिए, इस तरह की एक अन्य संरचना [[ह्यूरेविक्ज़ फ़िब्रेशन]] और मानक सह-संयोजन द्वारा दी गई है, और दुर्बल समानताएँ (प्रबल) समस्थेयता समतुल्यता हैं।
समान रूप से, वे आपेक्षिक कोशिका परिसरों के प्रत्याहार हैं, जैसा कि उदाहरण के लिए होवी के ''मॉडल श्रेणियाँ'' में बताया गया है। यह संरचना अद्वितीय नहीं है; सामान्य तौर पर दी गई श्रेणी पर कई मॉडल श्रेणी संरचनाएँ हो सकती हैं। टोपोलॉजिकल रिक्त स्थान की श्रेणी के लिए, इस तरह की एक अन्य संरचना [[ह्यूरेविक्ज़ फ़िब्रेशन]] और मानक कॉफ़िब्रेशन द्वारा दी गई है, और कमजोर समानताएँ (मजबूत) होमोटॉपी # होमोटोपी_समतुल्यता हैं।


=== चेन कॉम्प्लेक्स ===
=== श्रृंखला सम्मिश्र ===
आर-मॉड्यूल की (गैर-नकारात्मक रूप से वर्गीकृत) श्रृंखला परिसरों की श्रेणी में कम से कम दो मॉडल संरचनाएं होती हैं, जो दोनों होमोलॉजिकल बीजगणित में प्रमुख रूप से प्रदर्शित होती हैं:
R-मापांक की (गैर-ऋणात्मक रूप से वर्गीकृत) श्रृंखला सम्मिश्र की श्रेणी में कम से कम दो मॉडल संरचनाएं होती हैं, जो दोनों समान बीजगणित में प्रमुख रूप से प्रदर्शित होती हैं:
*कमजोर समतुल्यता ऐसे नक्शे हैं जो समरूपता में समरूपता को प्रेरित करते हैं;
*दुर्बल समतुल्यता ऐसे मानचित्र हैं जो समाकारिकता में समरूपता को प्रेरित करते हैं;
*कोफिब्रेशन वे मानचित्र होते हैं जो प्रोजेक्टिव [[cokernel]] के साथ प्रत्येक डिग्री में [[समाकृतिकता]] होते हैं; और
*सह-संयोजन वे मानचित्र होते हैं जो प्रक्षेपीय [[cokernel|कोकर्नेल]] के साथ प्रत्येक स्थिति में [[समाकृतिकता|एकैक समाकारिता]] होते हैं; और
*तंतु ऐसे मानचित्र हैं जो प्रत्येक गैर-शून्य डिग्री में एपीमोर्फिज्म हैं
*फाइब्रेशन ऐसे मानचित्र हैं जो प्रत्येक गैर-शून्य वर्ग में आच्छादक समाकारिता हैं


या
या
*कमजोर समतुल्यता ऐसे नक्शे हैं जो समरूपता में समरूपता को प्रेरित करते हैं;
*दुर्बल समतुल्यता ऐसे मानचित्र हैं जो समाकारिकता में समरूपता को प्रेरित करते हैं;
*तंतु वे मानचित्र हैं जो इंजेक्शन [[कर्नेल (श्रेणी सिद्धांत)]] के साथ प्रत्येक डिग्री में [[अधिरूपता]] हैं; और
*फाइब्रेशन वे मानचित्र हैं जो अन्तः क्षेप [[कर्नेल (श्रेणी सिद्धांत)]] के साथ प्रत्येक वर्ग में [[अधिरूपता|आच्छादक समाकारिता]] हैं; और
*कोफिब्रेशन वे मानचित्र होते हैं जो प्रत्येक अशून्य डिग्री में [[एकरूपता]] होते हैं।
*सह-संयोजन वे मानचित्र होते हैं जो प्रत्येक अशून्य वर्ग में [[एकरूपता|एकैक समाकारिता]] होते हैं।


यह बताता है कि क्यों आर-मॉड्यूल के एक्सट-ग्रुप्स की गणना या तो स्रोत को अनुमानित रूप से हल करके या लक्ष्य को इंजेक्ट करके की जा सकती है। ये संबंधित मॉडल संरचनाओं में कोफाइब्रेंट या फाइब्रेंट प्रतिस्थापन हैं।
यह बताता है कि क्यों R-मापांक के बाहरी समूह की गणना या तो स्रोत को अनुमानित रूप से हल करके या नियत अन्तः क्षेप करके की जा सकती है। ये संबंधित मॉडल संरचनाओं में कोफ़िब्रेंट या फ़ाइब्रेंट प्रतिस्थापन हैं।


आर-मॉड्यूल की मनमानी श्रृंखला-परिसरों की श्रेणी में एक मॉडल संरचना होती है जिसे परिभाषित किया जाता है
R-मापांक की मनमानी श्रृंखला-सम्मिश्र की श्रेणी में एक मॉडल संरचना होती है जिसे परिभाषित किया जाता है


* कमजोर तुल्यताएं श्रृंखला-परिसरों की श्रृंखला समरूपताएं हैं;
* दुर्बल तुल्यताएं श्रृंखला-सम्मिश्र की श्रृंखला समरूपताएं हैं;
* कोफिब्रेशन मोनोमोर्फिज्म हैं जो अंतर्निहित आर-मॉड्यूल के आकारिकी के रूप में विभाजित हैं; और
* सह-संयोजन एकैक समाकारिता हैं जो अंतर्निहित R-मापांक के आकारिकी के रूप में विभाजित हैं; और
* तंतु एपिमोर्फिज्म हैं जो अंतर्निहित आर-मॉड्यूल के आकारिकी के रूप में विभाजित हैं।
* फाइब्रेशन आच्छादक समाकारिता हैं जो अंतर्निहित R-मापांक के आकारिकी के रूप में विभाजित हैं।


=== अन्य उदाहरण ===
=== अन्य उदाहरण ===
मॉडल संरचनाओं को स्वीकार करने वाली श्रेणियों के अन्य उदाहरणों में सभी छोटी श्रेणियों की श्रेणी, किसी भी छोटे [[ग्रोथेंडिक साइट]] पर सिंपलियल सेट या सिंपल प्रीशेफ की श्रेणी, टोपोलॉजिकल स्पेक्ट्रा की श्रेणी और छोटे ग्रोथेंडिक साइट पर सिंपल स्पेक्ट्रा या स्पेक्ट्रा के शीफ की श्रेणियां शामिल हैं। .
मॉडल संरचनाओं को स्वीकार करने वाली श्रेणियों के अन्य उदाहरणों में सभी छोटी श्रेणियों की श्रेणी, किसी भी छोटे ग्रोथेंडिक स्थिति पर प्रसमुच्चयी समूह या प्रसमुच्चयी प्रेक्षण की श्रेणी, सांस्थितिक स्पेक्ट्रम की श्रेणी और सामान्य स्पेक्ट्रम की श्रेणियां या छोटे ग्रोथेंडिक स्थल पर सामान्य स्पेक्ट्रम की श्रेणियां सम्मिलित हैं।


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


एक साधारण मॉडल श्रेणी एक सरल रूप से समृद्ध श्रेणी है जिसमें एक मॉडल संरचना होती है जो सरल संरचना के अनुकूल होती है।<ref>Definition 2.1. of [https://arxiv.org/abs/math/0101162].</ref>
एक साधारण मॉडल श्रेणी एक सरलीकृत श्रेणी है जिसमें एक मॉडल संरचना होती है जो सरलीकृत संरचना के अनुकूल होती है।<ref>Definition 2.1. of [https://arxiv.org/abs/math/0101162].</ref>
किसी भी श्रेणी सी और एक मॉडल श्रेणी एम को देखते हुए, कुछ अतिरिक्त परिकल्पनाओं के तहत फ़ैक्टर्स फन (सी, एम) (एम में सी-आरेख भी कहा जाता है) की श्रेणी भी एक मॉडल श्रेणी है। वास्तव में, अलग-अलग मॉडल संरचनाओं के लिए हमेशा दो उम्मीदवार होते हैं: एक में, तथाकथित प्रक्षेपी मॉडल संरचना, फ़िब्रेशन और कमजोर समतुल्यताएं [[ऑपरेटर]] के वे मानचित्र हैं जो सी के प्रत्येक ऑब्जेक्ट पर मूल्यांकन किए जाने पर फ़िब्रेशन और कमज़ोर समकक्ष हैं। इंजेक्टिव मॉडल संरचना इसके बजाय कॉफिब्रेशन और कमजोर समकक्षों के समान है। दोनों ही मामलों में मोर्फिज्म का तीसरा वर्ग उठाने की स्थिति (नीचे देखें) द्वारा दिया जाता है। कुछ मामलों में, जब श्रेणी सी एक [[रेडी श्रेणी]] है, तो प्रोजेक्टिव और इंजेक्शन के बीच एक तीसरी मॉडल संरचना होती है।


एक ही अंतर्निहित श्रेणी पर एक नई मॉडल श्रेणी संरचना में कुछ नक्शों को कमजोर तुल्यता बनने के लिए मजबूर करने की प्रक्रिया को बोसफील्ड स्थानीयकरण के रूप में जाना जाता है। उदाहरण के लिए, साधारण [[शीफ (गणित)]] की श्रेणी को साधारण [[presheaf]] के मॉडल श्रेणी के बोसफील्ड स्थानीयकरण के रूप में प्राप्त किया जा सकता है।
किसी भी श्रेणी सी और एक मॉडल श्रेणी एम को देखते हुए, कुछ अतिरिक्त परिकल्पनाओं के अंतर्गत फलननिर्धारक फन (C, ) (M में C-आरेख भी कहा जाता है) की श्रेणी भी एक मॉडल श्रेणी है। वास्तव में, अलग-अलग मॉडल संरचनाओं के लिए सदैव दो पदान्वेषी होते हैं: एक में, तथाकथित प्रक्षेपी मॉडल संरचना, फ़िब्रेशन और दुर्बल समतुल्यताएं [[ऑपरेटर|संक्रिया]] के वे मानचित्र हैं जो C के प्रत्येक वस्तु पर मूल्यांकन किए जाने पर फ़िब्रेशन और दुर्बल समकक्ष हैं। अंतःक्षेपक मॉडल संरचना इसके अतिरिक्त सह-संयोजन और दुर्बल समकक्षों के समान है। दोनों ही स्थितियों में आकारिकी का तीसरा वर्ग उत्थापन की स्थिति (नीचे देखें) द्वारा दिया जाता है। कुछ स्थितियों में, जब श्रेणी एक रीडी [[रेडी श्रेणी|श्रेणी]] है, तो प्रक्षेपीय और अन्तः क्षेप के बीच एक तीसरी मॉडल संरचना होती है।


डेनिस-चार्ल्स सिसिंस्की ने विकसित किया है<ref>Cisinski, Denis-Charles. Les préfaisceaux comme modèles des types d'homotopie. (French) [Presheaves as models for homotopy types] Astérisque No. 308 (2006), xxiv+390 pp. {{isbn|978-2-85629-225-9}} {{MR|2294028}}</ref> प्रीशेफ श्रेणियों पर मॉडल संरचनाओं का एक सामान्य सिद्धांत (सरलीकृत सेटों का सामान्यीकरण, जो सिम्प्लेक्स श्रेणी पर प्रीशेव हैं)।
समान अंतर्निहित श्रेणी पर एक नई मॉडल श्रेणी संरचना में कुछ मानचित्रों को दुर्बल समतुल्यता बनने के लिए प्रणोदन करने की प्रक्रिया को बोसफील्ड स्थानीयकरण के रूप में जाना जाता है। उदाहरण के लिए, साधारण [[शीफ (गणित)]] की श्रेणी को साधारण [[presheaf|प्रेक्षण]] के मॉडल श्रेणी के बोसफील्ड स्थानीयकरण के रूप में प्राप्त किया जा सकता है।


यदि सी एक मॉडल श्रेणी है, तो सी में [[ समर्थक वस्तु ]]्स की श्रेणी प्रो (सी) भी है। हालांकि, प्रो (सी) पर एक मॉडल संरचना भी सी के स्वयंसिद्धों के एक कमजोर सेट को लागू करके बनाई जा सकती है।<ref>{{citation|
डेनिस-चार्ल्स सिसिंस्की ने<ref>Cisinski, Denis-Charles. Les préfaisceaux comme modèles des types d'homotopie. (French) [Presheaves as models for homotopy types] Astérisque No. 308 (2006), xxiv+390 pp. {{isbn|978-2-85629-225-9}} {{MR|2294028}}</ref> प्रीशेफ श्रेणियों पर मॉडल संरचनाओं का एक सामान्य सिद्धांत विकसित किया है सरलीकृत समुच्चय का सामान्यीकरण, जो सरलीकृत श्रेणी पर प्रेक्षण हैं।
 
यदि C एक मॉडल श्रेणी है, तो C में [[ समर्थक वस्तु |प्रथम आक्षेप]] की श्रेणी Pro(''C'') भी है। हालांकि, Pro(''C'') पर एक मॉडल संरचना भी C के अभिगृहीत के एक दुर्बल समुच्चय को प्रयुक्त करके बनाई जा सकती है।<ref>{{citation|
mr=3459031|author1=Barnea, Ilan|author2=Schlank, Tomer M.|title=A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type |journal= [[Advances in Mathematics]]|volume=291|year=2016|pages=784–858|arxiv=1109.5477|bibcode=2011arXiv1109.5477B|doi=10.1016/j.aim.2015.11.014|doi-access=free}}</ref>
mr=3459031|author1=Barnea, Ilan|author2=Schlank, Tomer M.|title=A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type |journal= [[Advances in Mathematics]]|volume=291|year=2016|pages=784–858|arxiv=1109.5477|bibcode=2011arXiv1109.5477B|doi=10.1016/j.aim.2015.11.014|doi-access=free}}</ref>




== कुछ निर्माण ==
== कुछ निर्माण ==


प्रत्येक बंद मॉडल श्रेणी में पूर्णता से एक [[टर्मिनल वस्तु]] और सह-पूर्णता द्वारा एक [[प्रारंभिक वस्तु]] होती है, क्योंकि ये वस्तुएं खाली आरेख की क्रमशः सीमा और कोलिमिट हैं। मॉडल श्रेणी में किसी वस्तु X को देखते हुए, यदि प्रारंभिक वस्तु से X तक का अद्वितीय मानचित्र एक कोफिब्रेशन है, तो X को 'कोफ़िब्रेंट' कहा जाता है। अनुरूप रूप से, यदि एक्स से टर्मिनल ऑब्जेक्ट का अद्वितीय नक्शा एक फ़िब्रेशन है तो एक्स को 'फ़ाइब्रेंट' कहा जाता है।
प्रत्येक संवृत मॉडल श्रेणी में पूर्णता से एक [[टर्मिनल वस्तु|अंतिम वस्तु]] और सह-पूर्णता द्वारा एक [[प्रारंभिक वस्तु]] होती है, क्योंकि ये वस्तुएं रिक्त आरेख की क्रमशः सीमा और सह-सीमाएं हैं। मॉडल श्रेणी में किसी वस्तु X को देखते हुए, यदि प्रारंभिक वस्तु से X तक का अद्वितीय मानचित्र एक सह-संयोजन है, तो X को 'कोफ़िब्रेंट' कहा जाता है। अनुरूप रूप से, यदि X से अंतिम वस्तु का अद्वितीय मानचित्र एक फ़िब्रेशन है तो X को 'फ़ाइब्रेंट' कहा जाता है।


यदि Z और X एक मॉडल श्रेणी की वस्तुएँ हैं जैसे कि Z कोफ़िब्रेंट है और Z से X तक एक कमजोर तुल्यता है तो Z को X के लिए एक 'कॉफ़िब्रेंट प्रतिस्थापन' कहा जाता है। इसी तरह, यदि Z फ़िब्रेंट है और एक कमजोर है X से Z तक तुल्यता तब Z को X के लिए एक 'फाइब्रेंट रिप्लेसमेंट' कहा जाता है। सामान्य तौर पर, सभी वस्तुएं रेशेदार या कोफाइब्रेंट नहीं होती हैं, हालांकि यह कभी-कभी मामला होता है। उदाहरण के लिए, सभी ऑब्जेक्ट सरलीकृत सेट के मानक मॉडल श्रेणी में कोफ़