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

Latest revision as of 17:28, 17 May 2023

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

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

कारण

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

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

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

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

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

श्रेणी 'C' पर एक मॉडल संरचना में आकारिकी के तीन विशिष्ट वर्ग होते हैं (समान रूप से उपश्रेणियाँ) दुर्बल समतुल्यता (समस्थेयता सिद्धांत), फ़िब्रेशन, और सह-संयोजन, और दो कार्यात्मक कारक $(\alpha ,\beta )$ और $(\gamma ,\delta )$ निम्नलिखित अभिगृहीत के अधीन होते है। फ़िब्रेशन जो एक दुर्बल समतुल्यता भी है, उसे अनावर्ती (या सामान्य) फ़िब्रेशन कहा जाता है^[1] और एक सह-संयोजन जो एक दुर्बल समतुल्यता भी है, उसे अनावर्ती (या सामान्य) सह-संयोजन (या कभी-कभी एनोडीन आकारिकी कहा जाता है) कहा जाता है।

अभिगृहीत:

विखंडन :

यदि g विशिष्ट वर्गों में से एक से संबंधित आकारिकी है, और f,g का एक खंडन (श्रेणी सिद्धांत) है (तीर श्रेणी $C^{2}$ में वस्तुओं के रूप में जहां 2 2-अवयव क्रमित समुच्चय है), तो f उसी विशिष्ट वर्ग से संबंधित है। स्पष्ट रूप से, आवश्यकता है कि f, g का एक व्युत्क्रम है इसका तात्पर्य है कि वहां i, j, r, और s सम्मिलित है जैसे कि निम्न आरेख रूपांतरण करता है:
2 का 3: यदि f और g C में मानचित्र हैं जैसे कि fg परिभाषित है और इनमें से कोई भी दो दुर्बल समकक्ष हैं तो तीसरा भी समतुल्य है।File:Model category retract.png
उत्थापन: अनावर्ती सह-संयोजन में फाइब्रेशन के संबंध में वाम उत्थापन गुण होती है, और सह-संयोजन में अनावर्ती फाइब्रेशन के संबंध में वाम उत्थापन गुण होती है। स्पष्ट रूप से, यदि निम्नलिखित आरेख का बाहरी वर्ग विनिमय करता है, जहां i एक सहसंरचना है और p एक फ़िब्रेशन है, और i या p अनावर्ती है, तो आरेख को पूरा करने वाला h सम्मिलित है।
गुणनखंडन:File:Model category lifting.png
- C में प्रत्येक आकारिकी f को फ़िब्रेशन p और चक्रीय सहसंरचना i के लिए $p\circ i$ के रूप मे लिखा जा सकता है;
- C में प्रत्येक आकारिकी f अनावर्ती फाइब्रेशन p और सह-संयोजन i के लिए $p\circ i$ के रूप में लिखा जा सकता है।

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

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

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

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

$(C\cap W,F)$ दुर्बल गुणनखंड प्रणाली है,

$(C,F\cap W)$ दुर्बल गुणनखंड प्रणाली है
$W$ 3 में से 2 गुण को संतुष्ट करता है।^[2]

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

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

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

उदाहरण

सांस्थितिक समष्टि

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

श्रृंखला सम्मिश्र

R-मापांक की (गैर-ऋणात्मक रूप से वर्गीकृत) श्रृंखला सम्मिश्र की श्रेणी में कम से कम दो मॉडल संरचनाएं होती हैं, जो दोनों समान बीजगणित में प्रमुख रूप से प्रदर्शित होती हैं:

दुर्बल समतुल्यता ऐसे मानचित्र हैं जो समाकारिकता में समरूपता को प्रेरित करते हैं;
सह-संयोजन वे मानचित्र होते हैं जो प्रक्षेपीय कोकर्नेल के साथ प्रत्येक स्थिति में एकैक समाकारिता होते हैं; और
फाइब्रेशन ऐसे मानचित्र हैं जो प्रत्येक गैर-शून्य वर्ग में आच्छादक समाकारिता हैं

या

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

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

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

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

अन्य उदाहरण

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

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

एक साधारण मॉडल श्रेणी एक सरलीकृत श्रेणी है जिसमें एक मॉडल संरचना होती है जो सरलीकृत संरचना के अनुकूल होती है।^[3]

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

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

डेनिस-चार्ल्स सिसिंस्की ने^[4] प्रीशेफ श्रेणियों पर मॉडल संरचनाओं का एक सामान्य सिद्धांत विकसित किया है सरलीकृत समुच्चय का सामान्यीकरण, जो सरलीकृत श्रेणी पर प्रेक्षण हैं।

यदि C एक मॉडल श्रेणी है, तो C में प्रथम आक्षेप की श्रेणी Pro(C) भी है। हालांकि, Pro(C) पर एक मॉडल संरचना भी C के अभिगृहीत के एक दुर्बल समुच्चय को प्रयुक्त करके बनाई जा सकती है।^[5]

कुछ निर्माण

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

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

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

गुणों को उत्थापन से फाइब्रेशन और सह-संयोजन के लक्षण

सहसंरचना को उन मानचित्रों के रूप में चित्रित किया जा सकता है, जिनमें अनावर्ती फ़ाइब्रेशन के संबंध में बाईं ओर उत्थापन गुण होते है, और अनावर्ती सहसंरचना को उन मानचित्रों के रूप में चित्रित किया जाता है, जिनमें फ़िब्रेशन के संबंध में वाम उत्थापन गुण होती है। इसी तरह, फ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जा सकता है जिनके पास अनावर्ती सहसंरचना के संबंध में सही उत्थापन गुण है, और अनावर्ती फ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जाता है जिनके पास सहसंरचना के संबंध में दायें उत्थापन के गुण है।

समस्थेयता और समस्थेयता श्रेणी

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

इसे ऊपर दिए गए मॉडल संरचना के साथ सांस्थितिक समष्टि की श्रेणी में प्रयुक्त करना, परिणामी समस्थेयता श्रेणी CW सम्मिश्र की श्रेणी और सतत मानचित्रों के समस्थेयता वर्गों के बराबर है, जहां से नाम है।

क्विलन संयोजन

सहसम्युक्त फलननिर्धारक की एक युग्म

F:C\leftrightarrows D:G

दो मॉडल श्रेणियों C और D के बीच एक क्विलन संयोजन कहा जाता है यदि F सह-संयोजन और अनावर्ती सह-संयोजन को संरक्षित करता है या, समकक्ष रूप से संवृत मॉडल अभिगृहीत द्वारा, जैसे कि G फाइब्रेशन और अनावर्ती फाइब्रेशन को संरक्षित करता है। इस मामले में F और G एक संयोजन को प्रेरित करते हैं

LF:Ho(C)\leftrightarrows Ho(D):RG

समस्थेयता श्रेणियों के बीच उत्तरार्द्ध के लिए एक समानता होने के लिए (फिर F और G को क्विलन समकक्ष कहा जाता है) एक स्पष्ट मानदंड भी है ।

विशिष्ट उदाहरण साधारण समुच्चय और सांस्थितिक समष्टि के बीच मानक संयोजन है:

|-|:\mathbf {sSet} \leftrightarrows \mathbf {Top} :Sing

कुछ सांस्थितिक समष्टि में एक साधारण समुच्चय और विशिष्ट श्रृंखला के ज्यामितीय प्रतिफलन को सम्मिलित करना। श्रेणियाँ sSet और Top समतुल्य नहीं हैं, लेकिन उनकी समस्थेयता श्रेणियां हैं। इसलिए, समस्थेयता श्रेणियों की इस समानता के कारण सरल समुच्चय को प्रायः सांस्थितिक समष्टि के लिए मॉडल के रूप में उपयोग किया जाता है।

यह भी देखें

(∞,1)-श्रेणी
सह-चक्र श्रेणी
स्थिर मॉडल श्रेणी

↑ Some readers find the term "trivial" ambiguous and so prefer to use "acyclic".
↑ Riehl (2014, §11.3)
↑ Definition 2.1. of [1].
↑ 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 MR2294028
↑ Barnea, Ilan; Schlank, Tomer M. (2016), "A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type", Advances in Mathematics, 291: 784–858, arXiv:1109.5477, Bibcode:2011arXiv1109.5477B, doi:10.1016/j.aim.2015.11.014, MR 3459031

संदर्भ

Denis-Charles Cisinski: Les préfaisceaux commes modèles des types d'homotopie, Astérisque, (308) 2006, xxiv+392 pp.
Dwyer, William G.; Spaliński, Jan (1995), "Homotopy theories and model categories" (PDF), Handbook of algebraic topology, Amsterdam: North-Holland, pp. 73–126, doi:10.1016/B978-044481779-2/50003-1, MR 1361887
Philip S. Hirschhorn: Model Categories and Their Localizations, 2003, ISBN 0-8218-3279-4.
Mark Hovey: Model Categories, 1999, ISBN 0-8218-1359-5.
Klaus Heiner Kamps and Timothy Porter: Abstract homotopy and simple homotopy theory, 1997, World Scientific, ISBN 981-02-1602-5.
Georges Maltsiniotis: La théorie de l'homotopie de Grothendieck. Astérisque, (301) 2005, vi+140 pp.

Riehl, Emily (2014), Categorical homotopy theory, Cambridge University Press, doi:10.1017/CBO9781107261457, ISBN 978-1-107-04845-4, MR 3221774

Quillen, Daniel G. (1967), Homotopical algebra, Lecture Notes in Mathematics, No. 43, vol. 43, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0097438, MR 0223432

Balchin, Scott (2021), A Handbook of Model Categories, Springer, doi:10.1007/978-3-030-75035-0, ISBN 978-3-030-75034-3, MR 4385504

अग्रिम पठन

"Do we still need model categories?"
"(infinity,1)-categories directly from model categories"
Paul Goerss and Kristen Schemmerhorn, Model Categories and Simplicial Methods

बाहरी संबंध

Model category at the nLab
Model category in Joyal's catlab

[1] Some readers find the term "trivial" ambiguous and so prefer to use "acyclic".

[2] Riehl (2014, §11.3)

[3] Definition 2.1. of [1].

[4] 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 MR2294028

[5] Barnea, Ilan; Schlank, Tomer M. (2016), "A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type", Advances in Mathematics, 291: 784–858, arXiv:1109.5477, Bibcode:2011arXiv1109.5477B, doi:10.1016/j.aim.2015.11.014, MR 3459031

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{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>
 == कुछ निर्माण ==
-प्रत्येक बंद मॉडल श्रेणी में पूर्णता से एक [[टर्मिनल वस्तु]] और सह-पूर्णता द्वारा एक [[प्रारंभिक वस्तु]] होती है, क्योंकि ये वस्तुएं खाली आरेख की क्रमशः सीमा और कोलिमिट हैं। मॉडल श्रेणी में किसी वस्तु X को देखते हुए, यदि प्रारंभिक वस्तु से X तक का अद्वितीय मानचित्र एक कोफिब्रेशन है, तो X को 'कोफ़िब्रेंट' कहा जाता है। अनुरूप रूप से, यदि एक्स से टर्मिनल ऑब्जेक्ट का अद्वितीय नक्शा एक फ़िब्रेशन है तो एक्स को 'फ़ाइब्रेंट' कहा जाता है।
+प्रत्येक संवृत मॉडल श्रेणी में पूर्णता से एक [[टर्मिनल वस्तु|अंतिम वस्तु]] और सह-पूर्णता द्वारा एक [[प्रारंभिक वस्तु]] होती है, क्योंकि ये वस्तुएं रिक्त आरेख की क्रमशः सीमा और सह-सीमाएं हैं। मॉडल श्रेणी में किसी वस्तु X को देखते हुए, यदि प्रारंभिक वस्तु से X तक का अद्वितीय मानचित्र एक सह-संयोजन है, तो X को 'कोफ़िब्रेंट' कहा जाता है। अनुरूप रूप से, यदि X से अंतिम वस्तु का अद्वितीय मानचित्र एक फ़िब्रेशन है तो X को 'फ़ाइब्रेंट' कहा जाता है।
-यदि Z और X एक मॉडल श्रेणी की वस्तुएँ हैं जैसे कि Z कोफ़िब्रेंट है और Z से X तक एक कमजोर तुल्यता है तो Z को X के लिए एक 'कॉफ़िब्रेंट प्रतिस्थापन' कहा जाता है। इसी तरह, यदि Z फ़िब्रेंट है और एक कमजोर है X से Z तक तुल्यता तब Z को X के लिए एक 'फाइब्रेंट रिप्लेसमेंट' कहा जाता है। सामान्य तौर पर, सभी वस्तुएं रेशेदार या कोफाइब्रेंट नहीं होती हैं, हालांकि यह कभी-कभी मामला होता है। उदाहरण के लिए, सभी ऑब्जेक्ट सरलीकृत सेट के मानक मॉडल श्रेणी में कोफ़ाइब्रेंट हैं और सभी ऑब्जेक्ट टोपोलॉजिकल स्पेस के लिए ऊपर दी गई मानक मॉडल श्रेणी संरचना के लिए फ़िब्रेंट हैं।
+यदि Z और X एक मॉडल श्रेणी की वस्तुएँ हैं जैसे कि Z कोफ़िब्रेंट है और Z से X तक एक दुर्बल समतुल्यता है तो Z को X के लिए एक 'कॉफ़िब्रेंट प्रतिस्थापन' कहा जाता है। इसी तरह, यदि Z फ़िब्रेंट है और एक दुर्बल है X से Z तक समतुल्यता तब Z को X के लिए एक 'फ़ाइब्रेंट प्रतिस्थापन' कहा जाता है। सामान्य रूप से, सभी वस्तुएं फ़ाइब्रेंट या कोफ़िब्रेंट नहीं होती हैं, हालांकि यह कभी-कभी स्थिति होती है। उदाहरण के लिए, सभी वस्तु सरलीकृत समुच्चय के मानक मॉडल श्रेणी में कोफ़ाइब्रेंट हैं और सभी वस्तु सांस्थितिक समष्टि के लिए ऊपर दी गई मानक मॉडल श्रेणी संरचना के लिए फ़िब्रेंट हैं।
-लेफ्ट होमोटोपी को [http://ncatlab.org/nlab/show/Cylinder+object सिलिंडर ऑब्जेक्ट्स] के संबंध में परिभाषित किया गया है और राइट होमोटॉपी को [http://ncatlab.org/nlab/show/path+space] के संबंध में परिभाषित किया गया है + वस्तु पथ अंतरिक्ष वस्तुओं]। ये धारणाएं मेल खाती हैं जब डोमेन कॉफिब्रेंट होता है और कोडोमेन फाइब्रेंट होता है। उस स्थिति में, होमोटॉपी मॉडल श्रेणी में होम सेट पर समतुल्य संबंध को परिभाषित करता है जिससे होमोटॉपी क्लासेस को जन्म मिलता है।
+वाम समस्थेयता को [http://ncatlab.org/nlab/show/Cylinder+object वेलनीय वस्तु] के संबंध में परिभाषित किया गया है और दायें समस्थेयता को [http://ncatlab.org/nlab/show/path+space] पाथ समष्टि ऑब्जेक्ट्स के संबंध में परिभाषित किया गया है। ये धारणाएं समान हैं जब प्रक्षेत्र कॉफिब्रेंट होता है और सह-प्रक्षेत्र फ़ाइब्रेंट होता है। उस स्थिति में, समस्थेयता मॉडल श्रेणी में समाकारिता समुच्चय पर समतुल्य संबंध को परिभाषित करता है जिससे समस्थेयता वर्ग को उत्पन्न करता है।
-== गुणों को उठाने से फाइब्रेशन और कॉफिब्रेशन के लक्षण ==
+== गुणों को उत्थापन से फाइब्रेशन और सह-संयोजन के लक्षण ==
-कोफ़िब्रेशन को उन नक्शों के रूप में चित्रित किया जा सकता है, जिनमें एसाइक्लिक फ़ाइब्रेशन के संबंध में बाईं ओर उठाने वाली संपत्ति होती है, और एसाइक्लिक कोफ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जाता है, जिनमें फ़िब्रेशन के संबंध में लेफ्ट लिफ्टिंग प्रॉपर्टी होती है। इसी तरह, फ़िब्रेशन को उन नक्शों के रूप में चित्रित किया जा सकता है जिनके पास एसाइक्लिक कोफ़िब्रेशन के संबंध में सही उठाने वाली संपत्ति है, और एसाइक्लिक फ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जाता है जिनके पास कोफ़िब्रेशन के संबंध में [[सही उठाने की संपत्ति]] है।
+सहसंरचना को उन मानचित्रों के रूप में चित्रित किया जा सकता है, जिनमें अनावर्ती फ़ाइब्रेशन के संबंध में बाईं ओर उत्थापन गुण होते है, और अनावर्ती सहसंरचना को उन मानचित्रों के रूप में चित्रित किया जाता है, जिनमें फ़िब्रेशन के संबंध में वाम उत्थापन गुण होती है। इसी तरह, फ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जा सकता है जिनके पास अनावर्ती सहसंरचना के संबंध में सही उत्थापन गुण है, और अनावर्ती फ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जाता है जिनके पास सहसंरचना के संबंध में [[सही उठाने की संपत्ति|दायें उत्थापन के गुण]] है।
-== समरूपता और समरूपता श्रेणी ==
+== समस्थेयता और समस्थेयता श्रेणी ==
-एक मॉडल श्रेणी C की होमोटोपी श्रेणी कमजोर तुल्यता के वर्ग के संबंध में C की श्रेणी का स्थानीयकरण है। होमोटॉपी श्रेणी की यह परिभाषा फ़िब्रेशन और कॉफ़िब्रेशन की पसंद पर निर्भर नहीं करती है। हालांकि, फ़िब्रेशन और कॉफ़िब्रेशन की कक्षाएं एक अलग तरीके से होमोटोपी श्रेणी का वर्णन करने और विशेष रूप से श्रेणियों के सामान्य स्थानीयकरणों में उत्पन्न होने वाले सेट-सैद्धांतिक मुद्दों से बचने में उपयोगी होती हैं। अधिक सटीक रूप से, मॉडल श्रेणियों के मौलिक प्रमेय में कहा गया है कि C की होमोटोपी श्रेणी उस श्रेणी के समतुल्य है, जिसकी वस्तुएं C की वस्तुएं हैं, जो कि रेशेदार और कोफिब्रेंट दोनों हैं, और जिनके आकारिकी मानचित्रों के होमोटॉपी वर्ग हैं (समकक्ष रूप से, सही होमोटॉपी वर्ग) मानचित्रों का) जैसा कि ऊपर परिभाषित किया गया है। (उदाहरण के लिए होवी द्वारा मॉडल श्रेणियाँ देखें, Thm 1.2.10)
+मॉडल श्रेणी C की समस्थेयता श्रेणी दुर्बल समतुल्यता के वर्ग के संबंध में C की श्रेणी का स्थानीयकरण है। समस्थेयता श्रेणी की यह परिभाषा फ़िब्रेशन और सह-संयोजन के चयन पर निर्भर नहीं करती है। हालांकि, फ़िब्रेशन और सह-संयोजन की कक्षाएं एक अलग तरीके से समस्थेयता श्रेणी का वर्णन करने और विशेष रूप से श्रेणियों के सामान्य स्थानीयकरणों में उत्पन्न होने वाले समुच्चय-सैद्धांतिक समस्याओ से संरक्षित करने में उपयोगी होती हैं। अधिक परिशुद्ध रूप से, मॉडल श्रेणियों के मौलिक प्रमेय में कहा गया है कि C की समस्थेयता श्रेणी उस श्रेणी के समतुल्य है, जिसकी वस्तुएं C की वस्तुएं हैं, जो कि और कोफिब्रेंट दोनों हैं, और जिनकी आकृतियाँ मानचित्रों के समरूप वर्गों को छोड़ देती हैं (समतुल्य, मानचित्रों के सही समस्थेयता वर्ग) जैसा कि ऊपर परिभाषित किया गया है। उदाहरण के लिए होवी द्वारा, टीएचएम 1.2.10 मॉडल श्रेणियाँ देखें।
-इसे ऊपर दिए गए मॉडल संरचना के साथ टोपोलॉजिकल रिक्त स्थान की श्रेणी में लागू करना, परिणामी होमोटॉपी श्रेणी सीडब्ल्यू परिसरों की श्रेणी और निरंतर मानचित्रों के होमोटोपी वर्गों के बराबर है, जहां से नाम है।
+इसे ऊपर दिए गए मॉडल संरचना के साथ सांस्थितिक समष्टि की श्रेणी में प्रयुक्त करना, परिणामी समस्थेयता श्रेणी CW सम्मिश्र की श्रेणी और सतत मानचित्रों के समस्थेयता वर्गों के बराबर है, जहां से नाम है।
-=== क्विलन एडजंक्शन ===
+=== क्विलन संयोजन ===
-आसन्न फ़ैक्टरों की एक जोड़ी
+सहसम्युक्त फलननिर्धारक की एक युग्म
 :<math>F: C \leftrightarrows D : G</math>
-दो मॉडल श्रेणियों सी और डी के बीच एक [[ क्विलन संयोजन ]] कहा जाता है यदि एफ कॉफिब्रेशन और एसाइक्लिक कोफिब्रेशन को संरक्षित करता है या, समकक्ष रूप से बंद मॉडल स्वयंसिद्धों द्वारा, जैसे कि जी फाइब्रेशन और एसाइक्लिक फाइब्रेशन को संरक्षित करता है। इस मामले में एफ और जी एक संयोजन को प्रेरित करते हैं
+दो मॉडल श्रेणियों C और D के बीच एक [[ क्विलन संयोजन |क्विलन संयोजन]] कहा जाता है यदि F सह-संयोजन और अनावर्ती सह-संयोजन को संरक्षित करता है या, समकक्ष रूप से संवृत मॉडल अभिगृहीत द्वारा, जैसे कि G फाइब्रेशन और अनावर्ती फाइब्रेशन को संरक्षित करता है। इस मामले में F और G एक संयोजन को प्रेरित करते हैं
 :<math>LF: Ho(C) \leftrightarrows Ho(D) : RG</math>
-होमोटॉपी श्रेणियों के बीच। उत्तरार्द्ध के लिए एक समानता होने के लिए एक स्पष्ट मानदंड भी है (फिर एफ और जी को क्विलन समकक्ष कहा जाता है)।
+समस्थेयता श्रेणियों के बीच उत्तरार्द्ध के लिए एक समानता होने के लिए (फिर F और G को क्विलन समकक्ष कहा जाता है) एक स्पष्ट मानदंड भी है ।
-एक विशिष्ट उदाहरण साधारण सेट और टोपोलॉजिकल रिक्त स्थान के बीच मानक संयोजन है:
+विशिष्ट उदाहरण साधारण समुच्चय और सांस्थितिक समष्टि के बीच मानक संयोजन है:
 :<math>|-|: \mathbf{sSet} \leftrightarrows \mathbf{Top} : Sing</math>
-कुछ सामयिक स्थान में एक साधारण सेट और एकवचन श्रृंखला के ज्यामितीय अहसास को शामिल करना। श्रेणियाँ sSet और Top समतुल्य नहीं हैं, लेकिन उनकी होमोटॉपी श्रेणियां हैं। इसलिए, होमोटॉपी श्रेणियों की इस समानता के कारण सरल सेटों को अक्सर टोपोलॉजिकल स्पेस के लिए मॉडल के रूप में उपयोग किया जाता है।
+कुछ सांस्थितिक समष्टि में एक साधारण समुच्चय और विशिष्ट श्रृंखला के ज्यामितीय प्रतिफलन को सम्मिलित करना। श्रेणियाँ sSet और Top समतुल्य नहीं हैं, लेकिन उनकी समस्थेयता श्रेणियां हैं। इसलिए, समस्थेयता श्रेणियों की इस समानता के कारण सरल समुच्चय को प्रायः सांस्थितिक समष्टि के लिए मॉडल के रूप में उपयोग किया जाता है।
 == यह भी देखें ==
 *(∞,1)-श्रेणी
-*कोसायकल श्रेणी
+*सह-चक्र श्रेणी
 * [[स्थिर मॉडल श्रेणी]]
@@ Line 167: / Line 169: @@
 {{Category theory}}
-{{DEFAULTSORT:Model Category}}[[Category: होमोटॉपी सिद्धांत]] [[Category: श्रेणी सिद्धांत]]
+{{DEFAULTSORT:Model Category}}
-[[Category: Machine Translated Page]]
+[[Category:Collapse templates|Model Category]]
-[[Category:Created On 01/05/2023]]
+[[Category:Created On 01/05/2023|Model Category]]
+[[Category:Lua-based templates|Model Category]]
+[[Category:Machine Translated Page|Model Category]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Model Category]]
+[[Category:Pages with script errors|Model Category]]
+[[Category:Sidebars with styles needing conversion|Model Category]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready|Model Category]]
+[[Category:Templates generating microformats|Model Category]]
+[[Category:Templates that add a tracking category|Model Category]]
+[[Category:Templates that are not mobile friendly|Model Category]]
+[[Category:Templates that generate short descriptions|Model Category]]
+[[Category:Templates using TemplateData|Model Category]]
+[[Category:Wikipedia metatemplates|Model Category]]
+[[Category:श्रेणी सिद्धांत|Model Category]]
+[[Category:होमोटॉपी सिद्धांत|Model Category]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 17:28, 17 May 2023

Contents

कारण

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

अभिगृहीत: