मोनोइडल श्रेणी: Difference between revisions

Latest revision as of 18:29, 1 May 2023

गणित में, मोनोइडल श्रेणी (या टेन्सर श्रेणी) एक श्रेणी (गणित) $\mathbf {C}$ है जिसमें एक द्विभाजक होता है |

\otimes :\mathbf {C} \times \mathbf {C} \to \mathbf {C}

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

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

एक भिन्न अनुप्रयोग, जिसमें से मोनोइडल श्रेणियों को एक अमूर्त माना जा सकता है, एक प्रकार के कंस्ट्रक्टर टाइप के अनुसार बंद किए गए डेटा प्रकार की एक प्रणाली है जो दो प्रकार लेती है और एक समग्र प्रकार का निर्माण करती है; प्रकार वस्तुएं हैं और $\otimes$ कुल निर्माता है। समरूपता तक की संबद्धता तब यह व्यक्त करने की एक विधि है कि एक ही डेटा को एकत्र करने के विभिन्न विधि—जैसे कि $((a,b),c)$ और $(a,(b,c))$ समान जानकारी संग्रहीत करें तथापि समग्र मान समान न हों। कुल प्रकार जोड़ (प्रकार योग) या गुणन (प्रकार उत्पाद) के संचालन के अनुरूप हो सकता है। प्रकार के उत्पाद के लिए, पहचान वस्तु इकाई है, इसलिए प्रकार का केवल एक ही निवासी है, और यही कारण है कि इसके साथ एक उत्पाद सदैव दूसरे ऑपरेंड के लिए आइसोमोर्फिक होता है। प्रकार योग के लिए, पहचान वस्तु शून्य प्रकार है, जो कोई जानकारी संग्रहीत नहीं करता है और एक निवासी को संबोधित करना असंभव है। मोनोइडल श्रेणी की अवधारणा यह नहीं मानती है कि ऐसे कुल प्रकारों के मूल्यों को अलग किया जा सकता है; इसके विपरीत, यह एक ऐसा प्रकार प्रदान करता है जो मौलिक और क्वांटम सूचना सिद्धांत को एकीकृत करता है।^[1]

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

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

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

एक मोनोइडल श्रेणी एक श्रेणी $\mathbf {C}$ है जो एक मोनोइडल संरचना से सुसज्जित है। एक मोनोइडल संरचना में निम्न सम्मिलित हैं:

द्विभाजक $\otimes \colon \mathbf {C} \times \mathbf {C} \to \mathbf {C}$ मोनोइडल उत्पाद या टेंसर उत्पाद, कहा जाता है |,^[2]
वस्तु $I$ मोनोइडल इकाई इकाई वस्तु, या पहचान वस्तु, कहा जाता है, |^[2]
तीन प्राकृतिक समरूपताएं कुछ सुसंगत स्थितियों के अधीन हैं जो इस तथ्य को व्यक्त करती हैं कि टेन्सर ऑपरेशन:
- साहचर्य है: प्राकृतिक (तीन तर्कों में से प्रत्येक में $A$ , $B$ , $C$ ) समरूपता $\alpha$ , घटकों $\alpha _{A,B,C}\colon A\otimes (B\otimes C)\cong (A\otimes B)\otimes C$ के साथ सहयोगी कहा जाता है |
- $I$ बाएँ और दाएँ पहचान के रूप में है: दो प्राकृतिक समरूपताएँ हैं $\lambda$ और $\rho$ घटकों के साथ क्रमशः बाएं और दाएं एकक कहा जाता है जिसमें घटक $\lambda _{A}\colon I\otimes A\cong A$ और $\rho _{A}\colon A\otimes I\cong A$ .हैं |

ध्यान दें कि $\lambda$ और $\rho$ कैसे याद करने की अच्छी विधि है अधिनियम अनुप्रास द्वारा है; लैम्ब्डा, $\lambda$ , बाईं ओर की पहचान को रद्द कर देता है, जबकि Rho, $\rho$ , दाईं ओर की पहचान को रद्द करता है।

इन प्राकृतिक परिवर्तनों के लिए सुसंगतता की शर्तें हैं:

सभी के लिए $A$ , $B$ , $C$ और $D$ में $\mathbf {C}$ , पेंटागन आरेख (श्रेणी सिद्धांत) है |

: क्रमविनिमेय आरेख;

सभी के लिए $A$ और $B$ में $\mathbf {C}$ , त्रिभुज आरेख है |

: आवागमन सख्त मोनोइडल श्रेणी वह है जिसके लिए प्राकृतिक समरूपता α, λ और ρ पहचान हैं। प्रत्येक मोनोइडल श्रेणी सख्त मोनोइडल श्रेणी के लिए श्रेणियों की मोनोइडली तुल्यता है।

उदाहरण

परिमित उत्पाद (श्रेणी सिद्धांत) के साथ किसी भी श्रेणी को उत्पाद के साथ मोनोइडल उत्पाद और टर्मिनल वस्तु को इकाई के रूप में माना जा सकता है। ऐसी श्रेणी को कभी-कभी कार्तीय मोनोइडल श्रेणी कहा जाता है। उदाहरण के लिए:
- समुच्चय, कार्टेशियन उत्पाद के साथ समुच्चय की श्रेणी, इकाई के रूप में सेवारत कोई विशेष तत्व समुच्चय है।
- कैट, उत्पाद श्रेणी के साथ छोटी श्रेणियों की श्रेणी, जहां वस्तु वाली श्रेणी और केवल उसका पहचान मानचित्र इकाई है।
द्वय रूप से, परिमित सह-उत्पादों वाली कोई भी श्रेणी मोनोइडल उत्पाद के रूप में सह-उत्पाद और इकाई के रूप में प्रारंभिक वस्तु के साथ मोनोइडल है। ऐसी मोनोइडल श्रेणी को कार्टेशियन मोनोइडल श्रेणी जाता है |
R-मॉड, क्रमविनिमेय रिंग R पर मॉड्यूल की श्रेणी, मॉड्यूल के टेंसर उत्पाद के साथ मोनोइडल श्रेणी है | ⊗_R इकाई मोनोइडल उत्पाद के रूप में सेवा करने वाले और रिंग R (स्वयं पर मॉड्यूल के रूप में माना जाता है) इकाई के रूप में सेवारत है। विशेष स्थितियों के रूप में किसी के पास है:|
- K-वेक्ट', क्षेत्र (गणित) के पर सदिश रिक्त स्थान की श्रेणी, इकाई के रूप में कार्यरत एक-आयामी सदिश अंतरिक्ष के साथ है।
- 'AB', एबेलियन समूहों की श्रेणी, इकाई के रूप में कार्यरत पूर्णांक 'जेड' के समूह के साथ है।
किसी भी क्रमविनिमेय वलय R के लिए, R-बीजगणित की श्रेणी मोनोइडल है जिसमें बीजगणित का टेन्सर उत्पाद उत्पाद के रूप में और R इकाई के रूप में है।
पॉइंटेड स्पेस की श्रेणी (उदाहरण के लिए कॉम्पैक्ट रूप से उत्पन्न स्पेस तक सीमित) उत्पाद के रूप में सेवारत स्मैश उत्पाद के साथ मोनोइडल है और इकाई के रूप में सेवारत 0-गोले (एक दो-बिंदु असतत स्थान) है।
श्रेणी 'c' पर सभी एंडोफंक्टर की श्रेणी उत्पाद के रूप में फ़ैक्टरों की संरचना और इकाई के रूप में पहचान फ़ैक्टर के साथ सख्त मोनोइडल श्रेणी है।
किसी भी श्रेणी 'E' की तरह, उपश्रेणी एंबेडिंग किसी दिए गए ऑब्जेक्ट द्वारा फैली हुई मोनोइड है,| यह स्थिति है कि किसी भी 2-श्रेणी 'E' के लिए, और OB ('E') में कोई ऑब्जेक्ट 'c' , {'c'} द्वारा फैला 'E' की पूर्ण 2-उपश्रेणी मोनोइडल श्रेणी है। इस स्थिति में 'E' = Cat, हमें एंडोफंक्टर का उदाहरण ऊपर मिलता है।
अर्ध-जाली बाउंड-एव मीट सेमीलैटिस सख्त सममित मोनोइडल श्रेणी हैं तोड़ उत्पाद मीट है और आइडेंटिटी टॉप एलिमेंट है।
कोई साधारण मोनोइड $(M,\cdot ,1)$ ऑब्जेक्ट समुच्चय के साथ छोटा मोनोइडल $M$ वर्ग है | आकारिकी के लिए केवल तत्समक $\cdot$ टेंसरप्रोडक्ट के रूप में और $1$ इसकी पहचान वस्तु के रूप में इसके विपरीत, मोनोइडल श्रेणी के समरूपता वर्गों (यदि ऐसी कोई बात समझ में आती है) का समुच्चय मोनोइड w.r.t टेंसर उत्पाद है।
कोई क्रमविनिमेय मोनॉइड $(M,\cdot ,1)$ एकल वस्तु के साथ मोनोइडल श्रेणी के रूप में महसूस किया जा सकता है। याद रखें कि एकल वस्तु वाली श्रेणी साधारण मोनोइड के समान है। एकमैन-हिल्टन तर्क द्वारा, और मोनोइडल उत्पाद जोड़ना $M$ उत्पाद को क्रमविनिमेय होने की आवश्यकता है।

मोनॉयडल प्रीऑर्डर

मोनोइडल प्रीऑर्डर्स, जिन्हें प्रीऑर्डरेड मोनोइड्स के रूप में भी जाना जाता है, मोनोइडल श्रेणियों के विशेष स्थिति हैं। इस प्रकार की संरचना अर्ध-थू प्रणाली के सिद्धांत में आती है, किन्तु यह शुद्ध गणित में भी प्रचुर मात्रा में है। उदाहरण के लिए, समुच्चय $\mathbb {N}$ प्राकृतिक संख्याओं में मोनोइड उदाहरण (+ और 0 का उपयोग करके) और प्रीऑर्डर उदाहरण (≤ का उपयोग करके) दोनों होते हैं, जो मूल रूप से मोनोइडल प्रीऑर्डर बनाते हैं और $m\leq n$ और $m'\leq n'$ का तात्पर्य $m+m'\leq n+n'$ .से है अब हम सामान्य स्थिति प्रस्तुत करते हैं।

यह सर्वविदित है कि पूर्व आदेश को श्रेणी सी के रूप में माना जा सकता है, जैसे कि प्रत्येक दो वस्तुओं के लिए $c,c'\in \mathrm {Ob} (\mathbf {C} )$ , अधिकतम रूपवाद $c\to c'$ c में उपस्थित है । यदि c से c तक आकारिकी होती है, तो हम लिख $c\leq c'$ सकते हैं , किन्तु वर्तमान खंड में हम इस तथ्य को तीर के रूप में व्यक्त करना अधिक सुविधाजनक $c\to c'$ पाते हैं . क्योंकि कम से कम ऐसी आकृति है, हमें इसे कोई नाम देने की आवश्यकता नहीं है, जैसे कि $f\colon c\to c'$ . ऑर्डर के प्रतिवर्त संबंध और सकर्मक संबंध प्रॉपर्टीज को क्रमशः आइडेंटिटी मॉर्फिज्म और सी में कंपोजीशन सूत्र द्वारा हिसाब किया जाता है। हम लिखते हैं $c\cong c'$ आईएफएफ $c\leq c'$ और $c'\leq c$ , अर्थात यदि वे सी में आइसोमोर्फिक हैं। ध्यान दें कि आंशिक क्रम में, कोई भी दो आइसोमोर्फिक ऑब्जेक्ट वास्तव में सामान हैं।

आगे बढ़ते हुए, मान लीजिए कि हम प्रीऑर्डर सी में मोनोइडल संरचना जोड़ना चाहते हैं। ऐसा करने का कारण है कि हमें चुनना होगा

वस्तु $I\in \mathbf {C}$ , मोनोइडल इकाई कहा जाता है, |
फंक्‍टर $\mathbf {C} \times \mathbf {C} \to \mathbf {C}$ , जिसे हम केवल डॉट द्वारा निरूपित करेंगे $\;\cdot \;$ मोनोइडल गुणन कहा जाता है।

इस प्रकार किन्हीं दो वस्तुओं के लिए $c_{1},c_{2}$ हमारे पास वस्तु है $c_{1}\cdot c_{2}$ . हमें चुनना चाहिए $I$ और $\cdot$ समरूपता तक साहचर्य और एकात्मक होना। इसका कारण है कि हमारे पास होना चाहिए: |

(c_{1}\cdot c_{2})\cdot c_{3}\cong c_{1}\cdot (c_{2}\cdot c_{3})

और

I\cdot c\cong c\cong c\cdot I

.

इसके अतिरिक्त, तथ्य यह है कि · को फ़ैक्टर होना आवश्यक है- वर्तमान स्थिति में, जहां निम्नलिखित से अधिक कुछ नहीं c प्रीऑर्डर है-:

यदि

c_{1}\to c_{1}'

और

c_{2}\to c_{2}'

तब

(c_{1}\cdot c_{2})\to (c_{1}'\cdot c_{2}')

.

मोनोइडल श्रेणियों के लिए अतिरिक्त समेकन की स्थिति इस स्थिति में खाली है क्योंकि प्रत्येक आरेख प्रीऑर्डर में यात्रा करता है।

ध्यान दें कि यदि C आंशिक क्रम है, तो उपरोक्त विवरण और भी सरल हो जाता है, क्योंकि साहचर्य और इकाई समरूपता समानता बन जाती है। एक और सरलीकरण तब होता है जब हम मानते हैं कि वस्तुओं का समुच्चय जनरेटिंग समुच्चय पर मुक्त मोनोइड $\Sigma$ है . इस स्थिति में हम $\mathrm {Ob} (\mathbf {C} )=\Sigma ^{*}$ लिख सकते हैं , जहां * क्लेन स्टार को दर्शाता है और मोनोइडल इकाई है I खाली स्ट्रिंग के लिए खड़ा है। यदि हम रूपवाद (≤ के बारे में तथ्य) उत्पन्न करने के समुच्चय R के साथ शुरू करते हैं, तो हम अर्ध-थू प्रणाली की सामान्य धारणा को पुनर्प्राप्त करते हैं, जहां R को पुनर्लेखन नियम कहा जाता है।

हमारे उदाहरण पर लौटने के लिए, 'N' को वह श्रेणी मान लें जिसकी वस्तुएँ प्राकृतिक संख्याएँ 0, 1, 2, ... हैं, आकारिकी के साथ $i\to j$ यदि $i\leq j$ सामान्य क्रम में (और i से j अन्यथा कोई आकारिकी नहीं), और 0 द्वारा दी गई मोनोइडल इकाई के साथ मोनोइडल संरचना और सामान्य जोड़ द्वारा दिए गए मोनोइडल गुणन, $i\cdot j:=i+j$ . फिर N मोनोइडल प्रीऑर्डर है; वास्तव में यह एक एकल वस्तु 1 द्वारा स्वतंत्र रूप से उत्पन्न होता है, और आकारिकी 0 ≤ 1, जहां फिर से 0 मोनोइडल इकाई है।

गुण और संबंधित धारणाएँ

यह तीन परिभाषित सुसंगतता स्थितियों से अनुसरण करता है कि आरेखों का बड़ा वर्ग (अर्थात आरेख जिनके आकारिकी का उपयोग करके बनाया गया है $\alpha$ , $\lambda$ , $\rho$ , सर्वसमिकाएं और टेन्सर उत्पाद) आवागमन: यह सॉन्डर्स मैक लेन है | मैक लेन की सुसंगतता प्रमेय है। यह कभी-कभी गलत विधि से कहा जाता है कि ऐसे सभी आरेख चलते हैं।

मोनोइडल श्रेणी में मोनोइड वस्तु की सामान्य धारणा है, जो अमूर्त बीजगणित से मोनोइड की सामान्य धारणा को सामान्यीकृत करती है। साधारण मोनोइड्स कार्तीय मोनोइडल श्रेणी 'समुच्चय' में स्पष्ट रूप से मोनोइड ऑब्जेक्ट हैं। इसके अतिरिक्त, किसी भी (छोटी) सख्त मोनोइडल श्रेणी को 'कैट' श्रेणियों की श्रेणी में मोनोइड ऑब्जेक्ट के रूप में देखा जा सकता है (कार्टेशियन उत्पाद द्वारा प्रेरित मोनोइडल संरचना से लैस)।

मोनोइडल फ़ैक्टर मोनोइडल श्रेणियों के बीच फ़ैक्टर हैं जो टेंसर उत्पाद को संरक्षित करते हैं और मोनोइडल प्राकृतिक परिवर्तन प्राकृतिक परिवर्तन हैं, उन फ़ंक्शंस के बीच, जो टेंसर उत्पाद के अनुकूल हैं।

प्रत्येक मोनोइडल श्रेणी को श्रेणी 'B' (∗, ∗) के रूप में देखा जा सकता है, जिसमें केवल वस्तु के साथ 'B' श्रेणी होती है, जिसे ∗ दर्शाया जाता है।

मोनोइडल श्रेणी 'M' में एक श्रेणी 'सी' समृद्ध श्रेणी की अवधारणा 'c' में वस्तुओं के जोड़े के बीच आकारिकी के समुच्चय की धारणा को हर दो वस्तुओं के बीच 'M'-वस्तु के आकारिकी की धारणा c के साथ बदल देती है।

मुक्त सख्त मोनोइडल श्रेणी

प्रत्येक श्रेणी c के लिए, नि: शुल्क श्रेणी सख्त मोनोइडल श्रेणी Σ(सी) का निर्माण निम्नानुसार किया जा सकता है:

इसकी वस्तुएँ C की वस्तुओं की सूचियाँ (परिमित क्रम) A1, ..., An हैं;
दो वस्तुओं के बीच तीर हैं A₁, ...,A_m और B₁, ..., B_n केवल यदि m = n, और फिर तीर तीरों की सूचियाँ (परिमित क्रम) हैं f₁: A₁ → B₁, ..., f_n : A → c का b_n; है |
दो वस्तुओं 'का टेंसर उत्पाद A₁, ..., A_n और B₁, ..., B_m संयोजन A₁, ..., A_n, B₁, ..., B_m दो सूचियों का, है और, इसी तरह, दो आकारिकी का टेन्सर गुणनफल सूचियों के संयोजन द्वारा दिया जाता है। पहचान वस्तु खाली सूची है।

यह ऑपरेशन Σ मैपिंग श्रेणी सी से Σ (सी) को कैट पर सख्त 2-मोनाड (श्रेणी सिद्धांत) तक बढ़ाया जा सकता है।

विशेषज्ञता

यदि, मोनोइडल श्रेणी में, $A\otimes B$ और $B\otimes A$ स्वाभाविक रूप से आइसोमॉर्फिक हैं जो सुसंगतता की स्थिति के अनुकूल हैं, हम लट मोनोइडल श्रेणी की बात करते हैं। इसके अतिरिक्त, यदि यह प्राकृतिक तुल्याकारिता अपनी ही व्युत्क्रम है, तो हमारे पास सममित मोनोइडल श्रेणी है।
बंद मोनोइडल श्रेणी एक मोनोइडल श्रेणी है जहाँ प्रकार्यक $X\mapsto X\otimes A$ सहायक कारक है, जिसे आंतरिक होम-फ़ंक्टर $X\mapsto \mathrm {Hom} _{\mathbf {C} }(A,X)$ कहा जाता है . उदाहरणों में कार्टेशियन बंद श्रेणी जैसे समुच्चय, समुच्चय की श्रेणी, और कॉम्पैक्ट बंद श्रेणी है | जैसे एफडीवेक्ट, परिमित-आयामी सदिश रिक्त स्थान की श्रेणी सम्मिलित है।
स्वायत्त श्रेणी (या कॉम्पैक्ट बंद श्रेणी या कठोर श्रेणी) मोनोइडल श्रेणियां हैं | जिनमें अच्छे गुणों वाले दोहरे उपस्थित हैं; वे एफडीवेक्ट के विचार को अमूर्त करते हैं।
डैगर सममित मोनोइडल श्रेणी, अतिरिक्त डैगर फंक्टर से सुसज्जित, एफडीहिल्ब, परिमित-आयामी हिल्बर्ट रिक्त स्थान के विचार को अमूर्त करता है। इनमें डैगर कॉम्पैक्ट श्रेणी सम्मिलित है।
तन्नाकियन श्रेणी क्षेत्र में समृद्ध मोनोइडल श्रेणियां हैं, जो रैखिक बीजगणितीय समूह की प्रतिनिधित्व श्रेणियों के समान हैं।

यह भी देखें

संदर्भ

↑ Baez, John; Stay, Mike (2011). "Physics, topology, logic and computation: a Rosetta Stone" (PDF). In Coecke, Bob (ed.). भौतिकी के लिए नई संरचनाएं. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–172. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. ISSN 0075-8450. S2CID 115169297. Zbl 1218.81008.
↑ ^2.0 ^2.1 Fong, Brendan; Spivak, David I. (2018-10-12). "Seven Sketches in Compositionality: An Invitation to Applied Category Theory". arXiv:1803.05316 [math.CT].

Joyal, André; Street, Ross (1993). "Braided Tensor Categories" (PDF). Advances in Mathematics. 102 (1): 20–78. doi:10.1006/aima.1993.1055.
Joyal, André; Street, Ross (1988). "Planar diagrams and tensor algebra" (PDF).
Kelly, G. Max (1964). "On MacLane's Conditions for Coherence of Natural Associativities, Commutativities, etc". Journal of Algebra. 1 (4): 397–402. doi:10.1016/0021-8693(64)90018-3.
Kelly, G.M. (1982). Basic Concepts of Enriched Category Theory (PDF). London Mathematical Society Lecture Note Series. Vol. 64. Cambridge University Press. ISBN 978-0-521-28702-9. OCLC 1015056596. Zbl 0478.18005.
Mac Lane, Saunders (1963). "Natural Associativity and Commutativity". Rice University Studies. 49 (4): 28–46. CiteSeerX 10.1.1.953.2731. hdl:1911/62865.
Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (2nd ed.). Springer. ISBN 0-387-98403-8. Zbl 0906.18001.
Monoidal category at the nLab

बाहरी संबंध

Media related to मोनोइडल श्रेणी at Wikimedia Commons

[1] Baez, John; Stay, Mike (2011). "Physics, topology, logic and computation: a Rosetta Stone" (PDF). In Coecke, Bob (ed.). भौतिकी के लिए नई संरचनाएं. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–172. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. ISSN 0075-8450. S2CID 115169297. Zbl 1218.81008.

[seven-sketches-2] 2.0 ^2.1 Fong, Brendan; Spivak, David I. (2018-10-12). "Seven Sketches in Compositionality: An Invitation to Applied Category Theory". arXiv:1803.05316 [math.CT].

[1]

[2]

@@ Line 1: / Line 1: @@
-{{redirect-distinguish|Internal product|Inner product}}
+{{redirect-distinguish|आंतरिक उत्पाद|आंतरिक उत्पाद}}
-{{Short description|Category admitting tensor products}}गणित में,   मोनोइडल श्रेणी (या टेन्सर श्रेणी) एक [[श्रेणी (गणित)]] है <math>\mathbf C</math>   द्विभाजक से लैस
+{{Short description|Category admitting tensor products}}गणित में, मोनोइडल श्रेणी (या टेन्सर श्रेणी) एक [[श्रेणी (गणित)]] <math>\mathbf C</math> है जिसमें एक द्विभाजक होता है |
 :<math>\otimes : \mathbf{C} \times \mathbf{C} \to \mathbf{C}</math>
-यह   [[प्राकृतिक समरूपता]] के लिए साहचर्य है, और   [[वस्तु (श्रेणी सिद्धांत)]] I जो ⊗ के लिए   बाईं पहचान और [[सही पहचान]] दोनों है, फिर से   प्राकृतिक समरूपता [[तक]]। संबंधित प्राकृतिक समरूपता कुछ सुसंगत स्थितियों के अधीन हैं, जो यह सुनिश्चित करती हैं कि सभी प्रासंगिक [[आरेख (श्रेणी सिद्धांत)]] [[क्रमविनिमेय आरेख]] हैं।
+यह [[प्राकृतिक समरूपता]] के लिए साहचर्य है, और [[वस्तु (श्रेणी सिद्धांत)]] जो ⊗ के लिए बाईं पहचान और [[सही पहचान]] दोनों है, फिर से प्राकृतिक समरूपता [[तक]] संबंधित प्राकृतिक समरूपता कुछ सुसंगत स्थितियों के अधीन हैं, जो यह सुनिश्चित करती हैं कि सभी प्रासंगिक [[आरेख (श्रेणी सिद्धांत)]] [[क्रमविनिमेय आरेख]] हैं।
-साधारण टेन्सर उत्पाद सदिश स्थान, [[एबेलियन समूह]], मॉड्यूल (गणित)|आर-मॉड्यूल, या बीजगणित (रिंग सिद्धांत)|आर-बीजगणित को [[मोनोइड]]ल श्रेणियों में बनाता है। मोनोइडल श्रेणियों को इन और अन्य उदाहरणों के सामान्यीकरण के रूप में देखा जा सकता है। प्रत्येक ([[छोटी श्रेणी]]) मोनोइडल श्रेणी को   अंतर्निहित मोनोइड के [[वर्गीकरण]] के रूप में भी देखा जा सकता है, अर्थात् मोनोइड जिसके तत्व श्रेणी की वस्तुओं के समरूपता वर्ग हैं और जिसका बाइनरी ऑपरेशन श्रेणी के [[टेंसर उत्पाद]] द्वारा दिया जाता है।
+साधारण टेन्सर उत्पाद सदिश स्थान, [[एबेलियन समूह]], मॉड्यूल (गणित) R-मॉड्यूल, या बीजगणित (रिंग सिद्धांत) R-बीजगणित को [[मोनोइड]]ल श्रेणियों में बनाता है। मोनोइडल श्रेणियों को इन और अन्य उदाहरणों के सामान्यीकरण के रूप में देखा जा सकता है। प्रत्येक ([[छोटी श्रेणी]]) मोनोइडल श्रेणी को अंतर्निहित मोनोइड के [[वर्गीकरण]] के रूप में भी देखा जा सकता है, अर्थात् मोनोइड जिसके तत्व श्रेणी की वस्तुओं के समरूपता वर्ग हैं और जिसका बाइनरी ऑपरेशन श्रेणी के [[टेंसर उत्पाद]] द्वारा दिया जाता है।
-भिन्न अनुप्रयोग, जिसमें से मोनोइडल श्रेणियों को   अमूर्त माना जा सकता है,   प्रकार [[कंस्ट्रक्टर टाइप करें]] के तहत बंद किए गए [[डेटा प्रकार]]ों की   प्रणाली है जो दो प्रकार लेती है और   समग्र प्रकार का निर्माण करती है; प्रकार वस्तुएं हैं और <math>\otimes</math> कुल निर्माता है। समरूपता तक की संबद्धता तब व्यक्त करने का   तरीका है कि एक ही डेटा को एकत्र करने के विभिन्न तरीके- जैसे कि <math>((a,b),c)</math> और <math>(a,(b,c))</math>-समान जानकारी को स्टोर करें भले ही कुल मूल्यों को समान न हो। कुल प्रकार जोड़ (प्रकार योग) या गुणन (प्रकार उत्पाद) के संचालन के अनुरूप हो सकता है। प्रकार के उत्पाद के लिए, पहचान वस्तु इकाई है <math>()</math>, इसलिए प्रकार का केवल   निवासी है, और यही कारण है कि इसके साथ   उत्पाद हमेशा दूसरे ऑपरेंड के लिए आइसोमोर्फिक होता है। प्रकार योग के लिए, पहचान वस्तु [[शून्य प्रकार]] है, जो कोई जानकारी संग्रहीत नहीं करता है और   निवासी को संबोधित करना असंभव है। मोनोइडल श्रेणी की अवधारणा यह नहीं मानती है कि ऐसे कुल प्रकारों के मूल्यों को अलग किया जा सकता है; इसके विपरीत, यह   ढांचा प्रदान करता है जो शास्त्रीय और क्वांटम सूचना सिद्धांत को एकीकृत करता है।<ref>{{cite book |last1=Baez |first1=John |last2=Stay |first2=Mike |authorlink1=John C. Baez |chapter=Physics, topology, logic and computation: a Rosetta Stone |editor1-last=Coecke |editor1-first=Bob |title=भौतिकी के लिए नई संरचनाएं|series=Lecture Notes in Physics |volume=813 |date=2011 |publisher=Springer |pages=95–172 |isbn=978-3-642-12821-9 |issn=0075-8450 |arxiv=0903.0340 |chapter-url=http://math.ucr.edu/home/baez/rosetta/rose3.pdf |doi=10.1007/978-3-642-12821-9_2 |citeseerx=10.1.1.296.1044 |s2cid=115169297 |zbl=1218.81008 }}</ref>
+एक भिन्न अनुप्रयोग, जिसमें से मोनोइडल श्रेणियों को एक अमूर्त माना जा सकता है, एक प्रकार के [[कंस्ट्रक्टर टाइप करें|कंस्ट्रक्टर टाइप]] के अनुसार बंद किए गए [[डेटा प्रकार]] की एक प्रणाली है जो दो प्रकार लेती है और एक समग्र प्रकार का निर्माण करती है; प्रकार वस्तुएं हैं और <math>\otimes</math> कुल निर्माता है। समरूपता तक की संबद्धता तब यह व्यक्त करने की एक विधि है कि एक ही डेटा को एकत्र करने के विभिन्न विधि—जैसे कि <math>((a,b),c)</math> और <math>(a,(b,c))</math> समान जानकारी संग्रहीत करें तथापि समग्र मान समान न हों। कुल प्रकार जोड़ (प्रकार योग) या गुणन (प्रकार उत्पाद) के संचालन के अनुरूप हो सकता है। प्रकार के उत्पाद के लिए, पहचान वस्तु इकाई है, इसलिए प्रकार का केवल एक ही निवासी है, और यही कारण है कि इसके साथ एक उत्पाद सदैव दूसरे ऑपरेंड के लिए आइसोमोर्फिक होता है। प्रकार योग के लिए, पहचान वस्तु [[शून्य प्रकार]] है, जो कोई जानकारी संग्रहीत नहीं करता है और एक निवासी को संबोधित करना असंभव है। मोनोइडल श्रेणी की अवधारणा यह नहीं मानती है कि ऐसे कुल प्रकारों के मूल्यों को अलग किया जा सकता है; इसके विपरीत, यह एक ऐसा प्रकार प्रदान करता है जो मौलिक और क्वांटम सूचना सिद्धांत को एकीकृत करता है।<ref>{{cite book |last1=Baez |first1=John |last2=Stay |first2=Mike |authorlink1=John C. Baez |chapter=Physics, topology, logic and computation: a Rosetta Stone |editor1-last=Coecke |editor1-first=Bob |title=भौतिकी के लिए नई संरचनाएं|series=Lecture Notes in Physics |volume=813 |date=2011 |publisher=Springer |pages=95–172 |isbn=978-3-642-12821-9 |issn=0075-8450 |arxiv=0903.0340 |chapter-url=http://math.ucr.edu/home/baez/rosetta/rose3.pdf |doi=10.1007/978-3-642-12821-9_2 |citeseerx=10.1.1.296.1044 |s2cid=115169297 |zbl=1218.81008 }}</ref>
-[[श्रेणी सिद्धांत]] में, मोनोइडल श्रेणियों का उपयोग [[ मोनॉइड वस्तु ]] की अवधारणा को परिभाषित करने और श्रेणी की वस्तुओं पर संबंधित कार्रवाई के लिए किया जा सकता है। उनका उपयोग   [[समृद्ध श्रेणी]] की परिभाषा में भी किया जाता है।
+[[श्रेणी सिद्धांत]] में, मोनोइडल श्रेणियों का उपयोग [[ मोनॉइड वस्तु |मोनॉइड वस्तु]] की अवधारणा को परिभाषित करने और श्रेणी की वस्तुओं पर संबंधित कार्रवाई के लिए किया जा सकता है। उनका उपयोग [[समृद्ध श्रेणी]] की परिभाषा में भी किया जाता है।
 मोनोइडल श्रेणियों में उचित श्रेणी सिद्धांत के बाहर कई अनुप्रयोग हैं। वे [[अंतर्ज्ञानवादी तर्क]] [[रैखिक तर्क]] के गुणात्मक खंड के लिए मॉडल को परिभाषित करने के लिए उपयोग किए जाते हैं। वे [[संघनित पदार्थ भौतिकी]] में सामयिक क्रम के लिए गणितीय आधार भी बनाते हैं। लट मोनोइडल श्रेणी में क्वांटम सूचना, [[क्वांटम क्षेत्र सिद्धांत]] और [[स्ट्रिंग सिद्धांत]] में अनुप्रयोग हैं।
-'''यह तीन परिभाषित सुसंगतता स्थितियों से अनुसरण करता है कि आरेखों का   बड़ा वर्ग (अर्थात आरेख जिनके आकारिकी का उपयोग करके बनाया गया है <math>\alpha</math>, <math>\lambda</math>, <math>\rho</math>, सर्वसमिकाएं और टेन्सर उत्पाद) आवागमन: यह सॉन्डर्स मैक लेन | मैक लेन की [[सुसंगतता प्रमेय]] है। यह कभी-कभी गलत तरीके से कहा जाता है कि ऐसे सभी आरेख चलते हैं।'''
 == औपचारिक परिभाषा ==
-monoidal श्रेणी एक श्रेणी है <math>\mathbf C</math>   monoidal संरचना से लैस।   monoidal संरचना में निम्न शामिल हैं:
+एक मोनोइडल श्रेणी एक श्रेणी <math>\mathbf C</math> है जो एक मोनोइडल संरचना से सुसज्जित है। एक मोनोइडल संरचना में निम्न सम्मिलित हैं:
-* द्विभाजक <math>\otimes \colon \mathbf C\times\mathbf C\to\mathbf C</math> मोनोइडल उत्पाद कहा जाता है,<ref name="seven-sketches">{{Cite arXiv |last1=Fong |first1=Brendan |last2=Spivak |first2=David I. |date=2018-10-12 |title=Seven Sketches in Compositionality: An Invitation to Applied Category Theory |class=math.CT |eprint=1803.05316 }}</ref> या टेंसर उत्पाद,
+* द्विभाजक <math>\otimes \colon \mathbf C\times\mathbf C\to\mathbf C</math> मोनोइडल उत्पाद या टेंसर उत्पाद, कहा जाता है |,<ref name="seven-sketches">{{Cite arXiv |last1=Fong |first1=Brendan |last2=Spivak |first2=David I. |date=2018-10-12 |title=Seven Sketches in Compositionality: An Invitation to Applied Category Theory |class=math.CT |eprint=1803.05316 }}</ref>
-*वस्तु <math>I</math> मोनोइडल यूनिट कहा जाता है,<ref name="seven-sketches"/>इकाई वस्तु, या पहचान वस्तु,
+*वस्तु <math>I</math> मोनोइडल इकाई इकाई वस्तु, या पहचान वस्तु, कहा जाता है, |<ref name="seven-sketches"/>
 * तीन प्राकृतिक समरूपताएं कुछ सुसंगत स्थितियों के अधीन हैं जो इस तथ्य को व्यक्त करती हैं कि टेन्सर ऑपरेशन:
-**साहचर्य है:   प्राकृतिक (तीन तर्कों में से प्रत्येक में <math>A</math>, <math>B</math>, <math>C</math>) समरूपता <math>\alpha</math>, घटकों के साथ सहयोगी कहा जाता है <math>\alpha_{A,B,C} \colon A\otimes (B\otimes C) \cong (A\otimes B)\otimes C</math>,
+**साहचर्य है: प्राकृतिक (तीन तर्कों में से प्रत्येक में <math>A</math>, <math>B</math>, <math>C</math>) समरूपता <math>\alpha</math>, घटकों <math>\alpha_{A,B,C} \colon A\otimes (B\otimes C) \cong (A\otimes B)\otimes C</math> के साथ सहयोगी कहा जाता है |
-**है <math>I</math> बाएँ और दाएँ पहचान के रूप में: दो प्राकृतिक समरूपताएँ हैं <math>\lambda</math> और <math>\rho</math>घटकों के साथ क्रमशः बाएं और दाएं यूनिटर कहा जाता है <math>\lambda_A \colon I\otimes A\cong A</math> और <math>\rho_A \colon A\otimes I\cong A</math>.
+**<math>I</math> बाएँ और दाएँ पहचान के रूप में है: दो प्राकृतिक समरूपताएँ हैं <math>\lambda</math> और <math>\rho</math> घटकों के साथ क्रमशः बाएं और दाएं एकक कहा जाता है जिसमें घटक <math>\lambda_A \colon I\otimes A\cong A</math> और <math>\rho_A \colon A\otimes I\cong A</math>.हैं |
-ध्यान दें कि कैसे याद करने का   अच्छा तरीका है <math> \lambda </math> और <math>\rho</math> अधिनियम अनुप्रास द्वारा है; लैम्ब्डा, <math>\lambda</math>, बाईं ओर की पहचान को रद्द कर देता है, जबकि Rho, <math>\rho</math>, दाईं ओर की पहचान को रद्द करता है।
+ध्यान दें कि <math> \lambda </math> और <math>\rho</math> कैसे याद करने की अच्छी विधि है अधिनियम अनुप्रास द्वारा है; लैम्ब्डा, <math>\lambda</math>, बाईं ओर की पहचान को रद्द कर देता है, जबकि Rho, <math>\rho</math>, दाईं ओर की पहचान को रद्द करता है।
 इन प्राकृतिक परिवर्तनों के लिए सुसंगतता की शर्तें हैं:
-* सभी के लिए <math>A</math>, <math>B</math>, <math>C</math> और <math>D</math> में <math>\mathbf C</math>, पेंटागन आरेख (श्रेणी सिद्धांत)
+* सभी के लिए <math>A</math>, <math>B</math>, <math>C</math> और <math>D</math> में <math>\mathbf C</math>, पेंटागन आरेख (श्रेणी सिद्धांत) है |
 ::[[File:Pentagonal diagram for monoidal categories.svg|center|यह एक मोनोइडल श्रेणी को परिभाषित करने के लिए उपयोग किए जाने वाले मुख्य आरेखों में से एक है; यह शायद सबसे महत्वपूर्ण है।]]: क्रमविनिमेय आरेख;
-* सभी के लिए <math>A</math> और <math>B</math> में <math>\mathbf C</math>, त्रिभुज आरेख
+* सभी के लिए <math>A</math> और <math>B</math> में <math>\mathbf C</math>, त्रिभुज आरेख है |
-[[File:Monoidal2.svg|center|यह एक मोनोइडल श्रेणी की परिभाषा में प्रयुक्त आरेखों में से एक है। जब दो वस्तुओं के बीच एक पहचान का उदाहरण होता है तो यह मामले का ख्याल रखता है।]]: आवागमन।
+[[File:Monoidal2.svg|center|यह एक मोनोइडल श्रेणी की परिभाषा में प्रयुक्त आरेखों में से एक है। जब दो वस्तुओं के बीच एक पहचान का उदाहरण होता है तो यह स्थिति का ख्याल रखता है।]]: आवागमन सख्त मोनोइडल श्रेणी वह है जिसके लिए प्राकृतिक समरूपता ''α'', ''λ'' और ''ρ'' पहचान हैं। प्रत्येक मोनोइडल श्रेणी सख्त मोनोइडल श्रेणी के लिए श्रेणियों की मोनोइडली तुल्यता है।
-सख्त मोनोइडल श्रेणी वह है जिसके लिए प्राकृतिक समरूपता ''α'', ''λ'' और ''ρ'' पहचान हैं। प्रत्येक मोनोइडल श्रेणी   सख्त मोनोइडल श्रेणी के लिए श्रेणियों की मोनोइडली तुल्यता है।
 == उदाहरण ==
-* परिमित [[उत्पाद (श्रेणी सिद्धांत)]] के साथ किसी भी श्रेणी को उत्पाद के साथ मोनोइडल उत्पाद और [[ टर्मिनल वस्तु ]] को इकाई के रूप में माना जा सकता है। ऐसी श्रेणी को कभी-कभी कार्तीय मोनोइडल श्रेणी कहा जाता है। उदाहरण के लिए:
+* परिमित [[उत्पाद (श्रेणी सिद्धांत)]] के साथ किसी भी श्रेणी को उत्पाद के साथ मोनोइडल उत्पाद और [[ टर्मिनल वस्तु |टर्मिनल वस्तु]] को इकाई के रूप में माना जा सकता है। ऐसी श्रेणी को कभी-कभी कार्तीय मोनोइडल श्रेणी कहा जाता है। उदाहरण के लिए:
-** सेट, कार्टेशियन उत्पाद के साथ [[सेट की श्रेणी]], इकाई के रूप में सेवारत कोई विशेष  -तत्व सेट।
+** समुच्चय, कार्टेशियन उत्पाद के साथ [[सेट की श्रेणी|समुच्चय की श्रेणी]], इकाई के रूप में सेवारत कोई विशेष तत्व समुच्चय है।
-** कैट, [[उत्पाद श्रेणी]] के साथ छोटी श्रेणियों की श्रेणी, जहां   वस्तु वाली श्रेणी और केवल उसका पहचान मानचित्र इकाई है।
+** कैट, [[उत्पाद श्रेणी]] के साथ छोटी श्रेणियों की श्रेणी, जहां वस्तु वाली श्रेणी और केवल उसका पहचान मानचित्र इकाई है।
-*द्वय रूप से, परिमित सह-उत्पादों वाली कोई भी श्रेणी मोनोइडल उत्पाद के रूप में सह-उत्पाद और इकाई के रूप में [[प्रारंभिक वस्तु]] के साथ मोनोइडल है। ऐसी मोनोइडल श्रेणी को [[कार्टेशियन मोनोइडल श्रेणी]] जाता है
+*द्वय रूप से, परिमित सह-उत्पादों वाली कोई भी श्रेणी मोनोइडल उत्पाद के रूप में सह-उत्पाद और इकाई के रूप में [[प्रारंभिक वस्तु]] के साथ मोनोइडल है। ऐसी मोनोइडल श्रेणी को [[कार्टेशियन मोनोइडल श्रेणी]] जाता है |
-*''आर''-मॉड,   क्रमविनिमेय रिंग ''आर'' पर [[मॉड्यूल की श्रेणी]], [[मॉड्यूल के टेंसर उत्पाद]] के साथ   मोनोइडल श्रेणी है ⊗<sub>''R''</sub> यूनिट के रूप में सेवा करने वाले मोनोइडल उत्पाद और रिंग आर (स्वयं पर   मॉड्यूल के रूप में माना जाता है) के रूप में सेवारत। विशेष मामलों के रूप में किसी के पास है:
+*''R''-मॉड, क्रमविनिमेय रिंग ''R'' पर [[मॉड्यूल की श्रेणी]], [[मॉड्यूल के टेंसर उत्पाद]] के साथ मोनोइडल श्रेणी है | ⊗<sub>''R''</sub> इकाई मोनोइडल उत्पाद के रूप में सेवा करने वाले और रिंग R (स्वयं पर मॉड्यूल के रूप में माना जाता है) इकाई के रूप में सेवारत है। विशेष स्थितियों के रूप में किसी के पास है:|
-**'के-वेक्ट',   [[क्षेत्र (गणित)]] के पर [[वेक्टर रिक्त स्थान की श्रेणी]], इकाई के रूप में कार्यरत एक-आयामी वेक्टर अंतरिक्ष के साथ।
+**K-वेक्ट', [[क्षेत्र (गणित)]] के पर [[वेक्टर रिक्त स्थान की श्रेणी|सदिश रिक्त स्थान की श्रेणी]], इकाई के रूप में कार्यरत एक-आयामी सदिश अंतरिक्ष के साथ है।
-** 'एबी', [[एबेलियन समूहों की श्रेणी]], इकाई के रूप में कार्यरत [[पूर्णांक]] 'जेड' के समूह के साथ।
+** 'AB', [[एबेलियन समूहों की श्रेणी]], इकाई के रूप में कार्यरत [[पूर्णांक]] 'जेड' के समूह के साथ है।
-*किसी भी क्रमविनिमेय वलय R के लिए, R-algebra|R-algebras की श्रेणी monoidal है जिसमें algebras का टेन्सर उत्पाद उत्पाद के रूप में और R इकाई के रूप में है।
+*किसी भी क्रमविनिमेय वलय R के लिए, R-बीजगणित की श्रेणी मोनोइडल है जिसमें बीजगणित का टेन्सर उत्पाद उत्पाद के रूप में और R इकाई के रूप में है।
-* पॉइंटेड स्पेस की श्रेणी (उदाहरण के लिए कॉम्पैक्ट रूप से उत्पन्न स्पेस तक सीमित) उत्पाद के रूप में सेवारत स्मैश उत्पाद के साथ मोनोइडल है और यूनिट के रूप में सेवारत 0-गोले (एक दो-बिंदु असतत स्थान) है।
+* पॉइंटेड स्पेस की श्रेणी (उदाहरण के लिए कॉम्पैक्ट रूप से उत्पन्न स्पेस तक सीमित) उत्पाद के रूप में सेवारत स्मैश उत्पाद के साथ मोनोइडल है और इकाई के रूप में सेवारत 0-गोले (एक दो-बिंदु असतत स्थान) है।
-* श्रेणी 'सी' पर सभी [[ endofunctor ]]्स की श्रेणी उत्पाद के रूप में फ़ैक्टरों की संरचना और इकाई के रूप में पहचान फ़ैक्टर के साथ   सख्त मोनोइडल श्रेणी है।
+* श्रेणी 'c' पर सभी [[ endofunctor |एंडोफंक्टर]] की श्रेणी उत्पाद के रूप में फ़ैक्टरों की संरचना और इकाई के रूप में पहचान फ़ैक्टर के साथ सख्त मोनोइडल श्रेणी है।
-* किसी भी श्रेणी 'ई' की तरह, उपश्रेणी # एंबेडिंग किसी दिए गए ऑब्जेक्ट द्वारा फैली हुई   मोनोइड है, यह मामला है कि किसी भी [[2-श्रेणी]] 'ई' के लिए, और ओबी ('ई') में कोई ऑब्जेक्ट 'सी' , {'सी'} द्वारा फैला 'ई' की पूर्ण 2-उपश्रेणी   मोनोइडल श्रेणी है। मामले में 'ई' = 'बिल्ली', हमें एंडोफंक्टर का उदाहरण ऊपर मिलता है।
+* किसी भी श्रेणी 'E' की तरह, उपश्रेणी एंबेडिंग किसी दिए गए ऑब्जेक्ट द्वारा फैली हुई मोनोइड है,| यह स्थिति है कि किसी भी [[2-श्रेणी]] 'E' के लिए, और OB ('E') में कोई ऑब्जेक्ट 'c' , {'c'} द्वारा फैला 'E' की पूर्ण 2-उपश्रेणी मोनोइडल श्रेणी है। इस स्थिति में 'E' = '''Cat''', हमें एंडोफंक्टर का उदाहरण ऊपर मिलता है।
-* [[अर्ध-जाली]] | बाउंड-एव मीट सेमीलैटिस सख्त [[सममित मोनोइडल श्रेणी]] हैं[[तोड़ उत्पाद]] मीट है और आइडेंटिटी टॉप एलिमेंट है।
+* [[अर्ध-जाली]] बाउंड-एव मीट सेमीलैटिस सख्त [[सममित मोनोइडल श्रेणी]] हैं [[तोड़ उत्पाद]] मीट है और आइडेंटिटी टॉप एलिमेंट है।
-* कोई साधारण मोनोइड <math>(M,\cdot,1)</math> ऑब्जेक्ट सेट के साथ   छोटा मोनोइडल वर्ग है <math>M</math>, आकारिकी के लिए केवल तत्समक, <math>\cdot</math> टेंसरप्रोडक्ट के रूप में और <math>1</math> इसकी पहचान वस्तु के रूप में। इसके विपरीत,   मोनोइडल श्रेणी के आइसोमोर्फिज्म वर्गों (यदि ऐसी कोई बात समझ में आती है) का सेट   मोनोइड w.r.t है। टेंसर उत्पाद।
+* कोई साधारण मोनोइड <math>(M,\cdot,1)</math> ऑब्जेक्ट समुच्चय के साथ छोटा मोनोइडल <math>M</math> वर्ग है | आकारिकी के लिए केवल तत्समक<math>\cdot</math> टेंसरप्रोडक्ट के रूप में और <math>1</math> इसकी पहचान वस्तु के रूप में इसके विपरीत, मोनोइडल श्रेणी के समरूपता वर्गों (यदि ऐसी कोई बात समझ में आती है) का समुच्चय मोनोइड w.r.t टेंसर उत्पाद है।
-* कोई क्रमविनिमेय मोनॉइड <math>(M, \cdot, 1)</math> एकल वस्तु के साथ   मोनोइडल श्रेणी के रूप में महसूस किया जा सकता है। याद रखें कि   एकल वस्तु वाली श्रेणी   साधारण मोनोइड के समान है। [[एकमैन-हिल्टन तर्क]] द्वारा,   और मोनोइडल उत्पाद जोड़ना <math>M</math> उत्पाद को क्रमविनिमेय होने की आवश्यकता है।
+* कोई क्रमविनिमेय मोनॉइड <math>(M, \cdot, 1)</math> एकल वस्तु के साथ मोनोइडल श्रेणी के रूप में महसूस किया जा सकता है। याद रखें कि एकल वस्तु वाली श्रेणी साधारण मोनोइड के समान है। [[एकमैन-हिल्टन तर्क]] द्वारा, और मोनोइडल उत्पाद जोड़ना <math>M</math> उत्पाद को क्रमविनिमेय होने की आवश्यकता है।
 ===मोनॉयडल प्रीऑर्डर ===
-मोनोइडल प्रीऑर्डर्स, जिन्हें प्रीऑर्डरेड मोनोइड्स के रूप में भी जाना जाता है, मोनोइडल श्रेणियों के विशेष मामले हैं। इस प्रकार की संरचना [[अर्ध-थू प्रणाली]] के सिद्धांत में आती है, लेकिन यह शुद्ध गणित में भी प्रचुर मात्रा में है। उदाहरण के लिए, सेट <math>\mathbb{N}</math> [[प्राकृतिक संख्या]]ओं में   मोनोइड  उदाहरण (+ और 0 का उपयोग करके) और   प्रीऑर्डर # उदाहरण (≤ का उपयोग करके) दोनों होते हैं, जो मूल रूप से   मोनोइडल प्रीऑर्डर बनाते हैं <math>m\leq n</math> और <math>m'\leq n'</math> तात्पर्य <math>m+m'\leq n+n'</math>. अब हम सामान्य मामला प्रस्तुत करते हैं।
+मोनोइडल प्रीऑर्डर्स, जिन्हें प्रीऑर्डरेड मोनोइड्स के रूप में भी जाना जाता है, मोनोइडल श्रेणियों के विशेष स्थिति हैं। इस प्रकार की संरचना [[अर्ध-थू प्रणाली]] के सिद्धांत में आती है, किन्तु यह शुद्ध गणित में भी प्रचुर मात्रा में है। उदाहरण के लिए, समुच्चय <math>\mathbb{N}</math> [[प्राकृतिक संख्या]]ओं में मोनोइड उदाहरण (+ और 0 का उपयोग करके) और प्रीऑर्डर उदाहरण (≤ का उपयोग करके) दोनों होते हैं, जो मूल रूप से मोनोइडल प्रीऑर्डर बनाते हैं और <math>m\leq n</math> और <math>m'\leq n'</math> का तात्पर्य <math>m+m'\leq n+n'</math>.से है अब हम सामान्य स्थिति प्रस्तुत करते हैं।
-यह सर्वविदित है कि   [[पूर्व आदेश]] को श्रेणी सी के रूप में माना जा सकता है, जैसे कि प्रत्येक दो वस्तुओं के लिए <math>c, c'\in\mathrm{Ob}(\mathbf{C})</math>, अधिकतम   रूपवाद मौजूद है <math>c\to c'</math> सी में। यदि ''सी'' से ''सी'' तक आकारिकी होती है, तो हम लिख सकते हैं <math>c\leq c'</math>, लेकिन वर्तमान खंड में हम इस तथ्य को तीर के रूप में व्यक्त करना अधिक सुविधाजनक पाते हैं <math>c\to c'</math>. क्योंकि कम से कम   ऐसी आकृति है, हमें इसे कोई नाम देने की आवश्यकता नहीं है, जैसे कि <math>f\colon c\to c'</math>.   ऑर्डर के [[ प्रतिवर्त संबंध ]] और [[सकर्मक संबंध]] प्रॉपर्टीज को क्रमशः आइडेंटिटी मॉर्फिज्म और सी में कंपोजीशन फॉर्मूला द्वारा हिसाब किया जाता है। हम लिखते हैं <math>c\cong c'</math> आईएफएफ <math>c\leq c'</math> और <math>c'\leq c</math>, यानी यदि वे सी में आइसोमोर्फिक हैं। ध्यान दें कि आंशिक क्रम में, कोई भी दो आइसोमोर्फिक ऑब्जेक्ट वास्तव में बराबर हैं।
+यह सर्वविदित है कि [[पूर्व आदेश]] को श्रेणी सी के रूप में माना जा सकता है, जैसे कि प्रत्येक दो वस्तुओं के लिए <math>c, c'\in\mathrm{Ob}(\mathbf{C})</math>, अधिकतम रूपवाद <math>c\to c'</math> c में उपस्थित है । यदि ''c'' से ''c'' तक आकारिकी होती है, तो हम लिख <math>c\leq c'</math> सकते हैं , किन्तु वर्तमान खंड में हम इस तथ्य को तीर के रूप में व्यक्त करना अधिक सुविधाजनक <math>c\to c'</math> पाते हैं . क्योंकि कम से कम ऐसी आकृति है, हमें इसे कोई नाम देने की आवश्यकता नहीं है, जैसे कि <math>f\colon c\to c'</math>. ऑर्डर के [[ प्रतिवर्त संबंध |प्रतिवर्त संबंध]] और [[सकर्मक संबंध]] प्रॉपर्टीज को क्रमशः आइडेंटिटी मॉर्फिज्म और सी में कंपोजीशन सूत्र द्वारा हिसाब किया जाता है। हम लिखते हैं <math>c\cong c'</math> आईएफएफ <math>c\leq c'</math> और <math>c'\leq c</math>, अर्थात यदि वे सी में आइसोमोर्फिक हैं। ध्यान दें कि आंशिक क्रम में, कोई भी दो आइसोमोर्फिक ऑब्जेक्ट वास्तव में सामान हैं।
-आगे बढ़ते हुए, मान लीजिए कि हम प्रीऑर्डर सी में   मोनोइडल संरचना जोड़ना चाहते हैं। ऐसा करने का मतलब है कि हमें चुनना होगा
+आगे बढ़ते हुए, मान लीजिए कि हम प्रीऑर्डर सी में मोनोइडल संरचना जोड़ना चाहते हैं। ऐसा करने का कारण है कि हमें चुनना होगा
-* वस्तु <math>I\in\mathbf{C}</math>, मोनोइडल यूनिट कहा जाता है, और
+* वस्तु <math>I\in\mathbf{C}</math>, मोनोइडल इकाई कहा जाता है, |
-* फंक्‍टर <math>\mathbf{C}\times\mathbf{C}\to\mathbf{C}</math>, जिसे हम केवल डॉट द्वारा निरूपित करेंगे<math>\;\cdot\;</math>, मोनोइडल गुणन कहा जाता है।
+* फंक्‍टर <math>\mathbf{C}\times\mathbf{C}\to\mathbf{C}</math>, जिसे हम केवल डॉट द्वारा निरूपित करेंगे<math>\;\cdot\;</math> मोनोइडल गुणन कहा जाता है।
-इस प्रकार किन्हीं दो वस्तुओं के लिए <math>c_1, c_2</math> हमारे पास   वस्तु है <math>c_1\cdot c_2</math>. हमें चुनना चाहिए <math>I</math> और <math>\cdot</math> समरूपता तक साहचर्य और एकात्मक होना। इसका मतलब है कि हमारे पास होना चाहिए:
+इस प्रकार किन्हीं दो वस्तुओं के लिए <math>c_1, c_2</math> हमारे पास वस्तु है <math>c_1\cdot c_2</math>. हमें चुनना चाहिए <math>I</math> और <math>\cdot</math> समरूपता तक साहचर्य और एकात्मक होना। इसका कारण है कि हमारे पास होना चाहिए: |
 : <math>(c_1\cdot c_2)\cdot c_3 \cong c_1\cdot (c_2\cdot c_3)</math> और <math>I\cdot c \cong c\cong c\cdot I</math>.
-इसके अलावा, तथ्य यह है कि · को   फ़ैक्टर होना आवश्यक है- वर्तमान मामले में, जहां सी   प्रीऑर्डर है-निम्नलिखित से अधिक कुछ नहीं:
+इसके अतिरिक्त, तथ्य यह है कि · को फ़ैक्टर होना आवश्यक है- वर्तमान स्थिति में, जहां निम्नलिखित से अधिक कुछ नहीं c प्रीऑर्डर है-:
-:अगर <math>c_1\to c_1'</math> और <math>c_2\to c_2'</math> तब <math>(c_1\cdot c_2)\to (c_1'\cdot c_2')</math>.
+:यदि <math>c_1\to c_1'</math> और <math>c_2\to c_2'</math> तब <math>(c_1\cdot c_2)\to (c_1'\cdot c_2')</math>.
-मोनोइडल श्रेणियों के लिए अतिरिक्त समेकन की स्थिति इस मामले में खाली है क्योंकि प्रत्येक आरेख   प्रीऑर्डर में यात्रा करता है।
+मोनोइडल श्रेणियों के लिए अतिरिक्त समेकन की स्थिति इस स्थिति में खाली है क्योंकि प्रत्येक आरेख प्रीऑर्डर में यात्रा करता है।
-ध्यान दें कि यदि C   आंशिक क्रम है, तो उपरोक्त विवरण और भी सरल हो जाता है, क्योंकि साहचर्य और इकाई समरूपता समानता बन जाती है। एक और सरलीकरण तब होता है जब हम मानते हैं कि वस्तुओं का सेट जनरेटिंग सेट पर [[मुक्त मोनोइड]] है <math>\Sigma</math>. इस मामले में हम लिख सकते हैं <math>\mathrm{Ob}(\mathbf{C})=\Sigma^*</math>, जहां * [[क्लेन स्टार]] को दर्शाता है और मोनोइडल यूनिट I खाली स्ट्रिंग के लिए खड़ा है। यदि हम morphisms (≤ के बारे में तथ्य) उत्पन्न करने के   सेट आर के साथ शुरू करते हैं, तो हम अर्ध-थू सिस्टम की सामान्य धारणा को पुनर्प्राप्त करते हैं, जहां आर को पुनर्लेखन नियम कहा जाता है।
+ध्यान दें कि यदि C आंशिक क्रम है, तो उपरोक्त विवरण और भी सरल हो जाता है, क्योंकि साहचर्य और इकाई समरूपता समानता बन जाती है। एक और सरलीकरण तब होता है जब हम मानते हैं कि वस्तुओं का समुच्चय जनरेटिंग समुच्चय पर [[मुक्त मोनोइड|मुक्त मोनोइड <math>\Sigma</math>]] है . इस स्थिति में हम <math>\mathrm{Ob}(\mathbf{C})=\Sigma^*</math> लिख सकते हैं , जहां * [[क्लेन स्टार]] को दर्शाता है और मोनोइडल इकाई है I खाली स्ट्रिंग के लिए खड़ा है। यदि हम रूपवाद (≤ के बारे में तथ्य) उत्पन्न करने के समुच्चय R के साथ शुरू करते हैं, तो हम अर्ध-थू प्रणाली की सामान्य धारणा को पुनर्प्राप्त करते हैं, जहां R को पुनर्लेखन नियम कहा जाता है।
-हमारे उदाहरण पर लौटने के लिए, 'N' को वह श्रेणी मान लें जिसकी वस्तुएँ प्राकृतिक संख्याएँ 0, 1, 2, ... हैं,   आकारिकी के साथ <math>i\to j</math> अगर <math>i\leq j</math> सामान्य क्रम में (और i से j अन्यथा कोई आकारिकी नहीं), और 0 द्वारा दी गई मोनोइडल इकाई के साथ   मोनोइडल संरचना और सामान्य जोड़ द्वारा दिए गए मोनोइडल गुणन, <math>i\cdot j := i+j</math>. फिर N   मोनोइडल प्रीऑर्डर है; वास्तव में यह एक एकल वस्तु 1 द्वारा स्वतंत्र रूप से उत्पन्न होता है, और   आकारिकी 0 ≤ 1, जहां फिर से 0 मोनोइडल इकाई है।
+हमारे उदाहरण पर लौटने के लिए, 'N' को वह श्रेणी मान लें जिसकी वस्तुएँ प्राकृतिक संख्याएँ 0, 1, 2, ... हैं, आकारिकी के साथ <math>i\to j</math> यदि <math>i\leq j</math> सामान्य क्रम में (और i से j अन्यथा कोई आकारिकी नहीं), और 0 द्वारा दी गई मोनोइडल इकाई के साथ मोनोइडल संरचना और सामान्य जोड़ द्वारा दिए गए मोनोइडल गुणन, <math>i\cdot j := i+j</math>. फिर N मोनोइडल प्रीऑर्डर है; वास्तव में यह एक एकल वस्तु 1 द्वारा स्वतंत्र रूप से उत्पन्न होता है, और आकारिकी 0 ≤ 1, जहां फिर से 0 मोनोइडल इकाई है।
 == गुण और संबंधित धारणाएँ ==
-यह तीन परिभाषित सुसंगतता स्थितियों से अनुसरण करता है कि आरेखों का   बड़ा वर्ग (अर्थात आरेख जिनके आकारिकी का उपयोग करके बनाया गया है <math>\alpha</math>, <math>\lambda</math>, <math>\rho</math>, सर्वसमिकाएं और टेन्सर उत्पाद) आवागमन: यह सॉन्डर्स मैक लेन | मैक लेन की [[सुसंगतता प्रमेय]] है। यह कभी-कभी गलत तरीके से कहा जाता है कि ऐसे सभी आरेख चलते हैं।
+यह तीन परिभाषित सुसंगतता स्थितियों से अनुसरण करता है कि आरेखों का बड़ा वर्ग (अर्थात आरेख जिनके आकारिकी का उपयोग करके बनाया गया है <math>\alpha</math>, <math>\lambda</math>, <math>\rho</math>, सर्वसमिकाएं और टेन्सर उत्पाद) आवागमन: यह सॉन्डर्स मैक लेन है | मैक लेन की [[सुसंगतता प्रमेय]] है। यह कभी-कभी गलत विधि से कहा जाता है कि ऐसे सभी आरेख चलते हैं।
-मोनोइडल श्रेणी में मोनोइड वस्तु की   सामान्य धारणा है, जो अमूर्त बीजगणित से मोनोइड की सामान्य धारणा को सामान्यीकृत करती है। साधारण मोनोइड्स कार्तीय मोनोइडल श्रेणी 'सेट' में सटीक रूप से मोनोइड ऑब्जेक्ट हैं। इसके अलावा, किसी भी (छोटी) सख्त मोनोइडल श्रेणी को 'कैट' श्रेणियों की श्रेणी में   मोनोइड ऑब्जेक्ट के रूप में देखा जा सकता है (कार्टेशियन उत्पाद द्वारा प्रेरित मोनोइडल संरचना से लैस)।
+मोनोइडल श्रेणी में मोनोइड वस्तु की सामान्य धारणा है, जो अमूर्त बीजगणित से मोनोइड की सामान्य धारणा को सामान्यीकृत करती है। साधारण मोनोइड्स कार्तीय मोनोइडल श्रेणी 'समुच्चय' में स्पष्ट रूप से मोनोइड ऑब्जेक्ट हैं। इसके अतिरिक्त, किसी भी (छोटी) सख्त मोनोइडल श्रेणी को 'कैट' श्रेणियों की श्रेणी में मोनोइड ऑब्जेक्ट के रूप में देखा जा सकता है (कार्टेशियन उत्पाद द्वारा प्रेरित मोनोइडल संरचना से लैस)।
 [[मोनोइडल फ़ैक्टर]] मोनोइडल श्रेणियों के बीच फ़ैक्टर हैं जो टेंसर उत्पाद को संरक्षित करते हैं और [[मोनोइडल प्राकृतिक परिवर्तन]] प्राकृतिक परिवर्तन हैं, उन फ़ंक्शंस के बीच, जो टेंसर उत्पाद के अनुकूल हैं।
-प्रत्येक मोनोइडल श्रेणी को श्रेणी 'बी' (∗, ∗) के रूप में देखा जा सकता है, जिसमें केवल   वस्तु के साथ 'बी' श्रेणी होती है, जिसे ∗ दर्शाया जाता है।
+प्रत्येक मोनोइडल श्रेणी को श्रेणी 'B' (∗, ∗) के रूप में देखा जा सकता है, जिसमें केवल वस्तु के साथ 'B' श्रेणी होती है, जिसे ∗ दर्शाया जाता है।
-मोनोइडल श्रेणी 'एम' में एक श्रेणी 'सी' समृद्ध श्रेणी की अवधारणा 'सी' में वस्तुओं के जोड़े के बीच आकारिकी के   सेट की धारणा को हर दो वस्तुओं के बीच   'एम'-वस्तु के आकारिकी की धारणा के साथ बदल देती है। 'सी'।
+मोनोइडल श्रेणी 'M' में एक श्रेणी 'सी' समृद्ध श्रेणी की अवधारणा 'c' में वस्तुओं के जोड़े के बीच आकारिकी के समुच्चय की धारणा को हर दो वस्तुओं के बीच 'M'-वस्तु के आकारिकी की धारणा c के साथ बदल देती है।
 === मुक्त सख्त मोनोइडल श्रेणी ===
-प्रत्येक श्रेणी सी के लिए, नि: शुल्क श्रेणी सख्त मोनोइडल श्रेणी Σ(सी) का निर्माण निम्नानुसार किया जा सकता है:
+प्रत्येक श्रेणी c के लिए, नि: शुल्क श्रेणी सख्त मोनोइडल श्रेणी Σ(सी) का निर्माण निम्नानुसार किया जा सकता है:
-* इसकी वस्तुएं सूचियां हैं (परिमित अनुक्रम) ''ए''<sub>1</sub>, ..., ए<sub>''n''</sub> सी की वस्तुओं की;
+*इसकी वस्तुएँ C की वस्तुओं की सूचियाँ (परिमित क्रम) A1, ..., An हैं;
-* दो वस्तुओं ''ए'' के बीच तीर हैं<sub>1</sub>, ..., ए<sub>''m''</sub> और बी<sub>1</sub>, ..., बी<sub>''n''</sub> केवल अगर एम = एन, और फिर तीर तीर एफ की सूचियां (सीमित अनुक्रम) हैं<sub>1</sub>: ए<sub>1</sub> → बी<sub>1</sub>, ..., एफ<sub>''n''</sub>: ए<sub>''n''</sub> → बी<sub>''n''</sub> सी का;
+*दो वस्तुओं के बीच तीर हैं ''A''<sub>1</sub>, ...,A<sub>''m''</sub> और B<sub>1</sub>, ..., B<sub>''n''</sub> केवल यदि m = n, और फिर तीर तीरों की सूचियाँ (परिमित क्रम) हैं f<sub>1</sub>: A<sub>1</sub> → B<sub>1</sub>, ..., f<sub>''n''</sub> : A → c का b<sub>''n''</sub>; है |
-* दो वस्तुओं 'ए' का टेंसर उत्पाद<sub>1</sub>, ..., ए<sub>''n''</sub> और बी<sub>1</sub>, ..., बी<sub>''m''</sub> संयोजन ए है<sub>1</sub>, ..., ए<sub>''n''</sub>, बी<sub>1</sub>, ..., बी<sub>''m''</sub> दो सूचियों का, और, इसी तरह, दो आकारिकी का टेन्सर गुणनफल सूचियों के संयोजन द्वारा दिया जाता है। पहचान वस्तु खाली सूची है।
+* दो वस्तुओं 'का टेंसर उत्पाद ''A''<sub>1</sub>, ..., ''A''<sub>''n''</sub> और B<sub>1</sub>, ..., B<sub>''m''</sub> संयोजन ''A''<sub>1</sub>, ..., ''A''<sub>''n''</sub>, B<sub>1</sub>, ..., B<sub>''m''</sub> दो सूचियों का, है और, इसी तरह, दो आकारिकी का टेन्सर गुणनफल सूचियों के संयोजन द्वारा दिया जाता है। पहचान वस्तु खाली सूची है।
 यह ऑपरेशन Σ मैपिंग श्रेणी सी से Σ (सी) को कैट पर सख्त 2-[[मोनाड (श्रेणी सिद्धांत)]] तक बढ़ाया जा सकता है।
 == विशेषज्ञता ==
-* यदि,   मोनोइडल श्रेणी में, <math>A\otimes B</math> और <math>B\otimes A</math> स्वाभाविक रूप से आइसोमॉर्फिक हैं जो सुसंगतता की स्थिति के अनुकूल हैं, हम   लट मोनोइडल श्रेणी की बात करते हैं। इसके अलावा, यदि यह प्राकृतिक तुल्याकारिता अपनी ही व्युत्क्रम है, तो हमारे पास   सममित मोनोइडल श्रेणी है।
+* यदि, मोनोइडल श्रेणी में, <math>A\otimes B</math> और <math>B\otimes A</math> स्वाभाविक रूप से आइसोमॉर्फिक हैं जो सुसंगतता की स्थिति के अनुकूल हैं, हम लट मोनोइडल श्रेणी की बात करते हैं। इसके अतिरिक्त, यदि यह प्राकृतिक तुल्याकारिता अपनी ही व्युत्क्रम है, तो हमारे पास सममित मोनोइडल श्रेणी है।
-* बंद monoidal श्रेणी एक monoidal श्रेणी है जहाँ functor <math>X \mapsto X \otimes A</math>   [[सहायक कारक]] है, जिसे आंतरिक होम-फ़ंक्टर कहा जाता है <math>X \mapsto \mathrm{Hom}_{\mathbf C}(A , X)</math>. उदाहरणों में [[कार्टेशियन बंद श्रेणी]] जैसे सेट, सेट की श्रेणी, और [[कॉम्पैक्ट बंद श्रेणी]] जैसे FdVect, परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी शामिल है।
+* बंद मोनोइडल श्रेणी एक मोनोइडल श्रेणी है जहाँ प्रकार्यक <math>X \mapsto X \otimes A</math> [[सहायक कारक]] है, जिसे आंतरिक होम-फ़ंक्टर <math>X \mapsto \mathrm{Hom}_{\mathbf C}(A , X)</math> कहा जाता है . उदाहरणों में [[कार्टेशियन बंद श्रेणी]] जैसे समुच्चय, समुच्चय की श्रेणी, और [[कॉम्पैक्ट बंद श्रेणी]] है | जैसे एफडीवेक्ट, परिमित-आयामी सदिश रिक्त स्थान की श्रेणी सम्मिलित है।
-* [[स्वायत्त श्रेणी]] (या कॉम्पैक्ट बंद श्रेणी या [[कठोर श्रेणी]]) मोनोइडल श्रेणियां हैं जिनमें अच्छे गुणों वाले दोहरे मौजूद हैं; वे FdVect के विचार को अमूर्त करते हैं।
+* [[स्वायत्त श्रेणी]] (या कॉम्पैक्ट बंद श्रेणी या [[कठोर श्रेणी]]) मोनोइडल श्रेणियां हैं | जिनमें अच्छे गुणों वाले दोहरे उपस्थित हैं; वे एफडीवेक्ट के विचार को अमूर्त करते हैं।
-* [[डैगर सममित मोनोइडल श्रेणी]],   अतिरिक्त डैगर फंक्टर से सुसज्जित, FdHilb, परिमित-आयामी हिल्बर्ट रिक्त स्थान के विचार को अमूर्त करता है। इनमें [[डैगर कॉम्पैक्ट श्रेणी]] शामिल है।
+* [[डैगर सममित मोनोइडल श्रेणी]], अतिरिक्त डैगर फंक्टर से सुसज्जित, एफडीहिल्ब, परिमित-आयामी हिल्बर्ट रिक्त स्थान के विचार को अमूर्त करता है। इनमें [[डैगर कॉम्पैक्ट श्रेणी]] सम्मिलित है।
-* [[तन्नाकियन श्रेणी]]   क्षेत्र में समृद्ध मोनोइडल श्रेणियां हैं, जो [[रैखिक बीजगणितीय समूह]]ों की प्रतिनिधित्व श्रेणियों के समान हैं।
+* [[तन्नाकियन श्रेणी]] क्षेत्र में समृद्ध मोनोइडल श्रेणियां हैं, जो [[रैखिक बीजगणितीय समूह]] की प्रतिनिधित्व श्रेणियों के समान हैं।
 == यह भी देखें ==
@@ Line 117: / Line 114: @@
 {{Category theory}}
-[[Category: मोनोइडल श्रेणियां | मोनोइडल श्रेणियां ]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with redirect hatnotes needing review]]
+[[Category:Collapse templates]]
 [[Category:Created On 24/04/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:मोनोइडल श्रेणियां| मोनोइडल श्रेणियां ]]

Anonymous

Search

मोनोइडल श्रेणी: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 18:29, 1 May 2023

Contents

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

उदाहरण

मोनॉयडल प्रीऑर्डर

गुण और संबंधित धारणाएँ

मुक्त सख्त मोनोइडल श्रेणी

विशेषज्ञता

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

मोनोइडल श्रेणी: Difference between revisions

Latest revision as of 18:29, 1 May 2023

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

उदाहरण

मोनॉयडल प्रीऑर्डर

गुण और संबंधित धारणाएँ

मुक्त सख्त मोनोइडल श्रेणी

विशेषज्ञता

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories