🔢 mathematics

Relative tensor products and Koszul duality in monoidal oo-categories

यह अर्ध-व्याख्यात्मक शोधपत्र मॉनॉयडल $\infty$ -कैटेगरीज़ में रिलेटिव टेंसर प्रोडक्ट्स के सिद्धांत का विस्तार करते हुए मॉड्यूल पर बाइमॉड्यूल्स की एक एक्सटर्नल एक्शन का निर्माण करता है और मॉड्यूल को सम्मिलित करने के लिए कोशुल ड्यूअलिटी का सामान्यीकरण करता है, जबकि यह भी उल्लेख करता है कि टेंसर प्रोडक्ट्स और लिमिट्स के संबंध में कुछ तकनीकी धारणाएँ अब अनावश्यक सिद्ध हो चुकी हैं।

मूल लेखक: Ishai Dan-Cohen, Asaf Horev

प्रकाशित 2026-07-30

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Ishai Dan-Cohen, Asaf Horev

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

गणितीय दुनिया का अदृश्य गोंद

कल्पना कीजिए कि आप यह समझने की कोशिश कर रहे हैं कि विभिन्न आकार एक साथ कैसे फिट होते हैं। गणित की दुनिया में, विशेष रूप से 'बीजगणितीय टोपोलॉजी' (algebraic topology) नामक एक शाखा में, वैज्ञानिक उन "स्थानों" (spaces) का अध्ययन करते हैं जिन्हें खींचा, मरोड़ा या मोड़ा जा सकता है। इन आकारों को समझने के लिए, वे "बीजगणित" (algebras) और "सह-बीजगणित" (coalgebras) नामक उपकरणों का उपयोग करते हैं। एक बीजगणित को कुछ बनाने के निर्देशों के एक सेट के रूप में सोचें, जैसे कि एक मीनार बनाने के लिए ब्लॉक को एक के ऊपर एक रखना। सह-बीजगणित इसका उल्टा है: यह उस मीनार को अलग करने, या उसे उसके सबसे छोटे टुकड़ों में तोड़ने के निर्देशों का एक सेट है।

लंबे समय से, गणितज्ञों को "कोशुल द्वैतता" (Koszul duality) नामक एक विशेष तकनीक पता है। यह एक जादू के आईने की तरह है जो "निर्माण" के निर्देश को "तोड़ने" के निर्देश में बदल देता है, और इसके विपरीत। यह आईना अविश्वसनीय रूप से उपयोगी है क्योंकि यह उन समस्याओं को हल करने में मदद करता है जिन्हें सीधे हल करना बहुत कठिन होता है। हालाँकि, यह जादुई आईना आमतौर पर मुख्य संरचनाओं पर ही काम करता है। बड़ा सवाल यह था: क्या होगा यदि हम इस जादुई आईने को उन चीजों पर लागू करना चाहें जो उन संरचनाओं से जुड़ी हुई हैं? कल्पना कीजिए कि आपके पास एक मीनार (बीजगणित) है और आपने उसके किनारे पर कुछ अतिरिक्त सजावट (मॉड्यूल) चिपका दी है। क्या आप अभी भी पूरे सजे हुए टॉवर को तोड़ने के निर्देश में बदलने के लिए इस जादुिक आईने का उपयोग कर सकते हैं? अब तक, ऐसा करने के नियम अस्पष्ट थे, विशेष रूप से गणित के सबसे उन्नत और लचीले संस्करणों में जहाँ चीजें जटिल तरीकों से हिल सकती हैं और आकार बदल सकती हैं। यह शोध पत्र उस कमी को दूर करने के लिए आता है, जो यह स्पष्ट रूप से बताता है कि कैसे इस जादुई आईने को उन अतिरिक्त सजावटों को शामिल करने के लिए विस्तारित किया जाए।

शोध पत्र का बड़ा विचार: मेल बिठाने का एक नया तरीका

यह शोध पत्र, जिसे इशाई डैन-कोहेन और असाफ होरेव द्वारा लिखा गया है, गणित के एक बहुत ही अमूर्त भाग के लिए एक विस्तृत मार्गदर्शिका है। लेखक "मोनॉइडल $\infty$ -कैटेगरीज" (monoidal $\infty$ -categories) नामक एक क्षेत्र में काम कर रहे हैं, जो एक फैंसी तरीका है यह कहने का कि वे ऐसे सिस्टम का अध्ययन कर रहे हैं जहाँ आप चीजों को मिला सकते हैं (जैसे संख्याओं को गुणा करना) और जहाँ उन संयोजनों में लचीलेपन की कई परतें हो सकती हैं।

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

वे इसे निम्नलिखित रचनात्मक रूपकों का उपयोग करके करते हैं:

1. "बाहरी" मेल-मिलाप (The "External" Mix-and-Match)
कल्पना कीजिए कि आपके पास एक फैक्ट्री (बीजगणित) है जो खिलौने बनाती है, और एक गोदाम (मॉड्यूल) है जो उन खिलौनों से भरा हुआ है। आमतौर पर, आप केवल एक ही फैक्ट्री के खिलौनों को मिला सकते हैं। लेकिन लेखक एक नई विधि का आविष्कार करते हैं जिसे "एक्सटर्नल रिलेटिव टेंसर प्रोडक्ट" (external relative tensor product) कहा जाता है। यह एक यूनिवर्सल अडैप्टर की तरह है जो आपको एक फैक्ट्री से पुर्जों की खेप लेने और उसे पूरी तरह से अलग गोदाम के खिलмौने पर जोड़ने की अनुमति देता है, भले ही उन्हें कभी एक साथ फिट होने के लिए डिज़ाइन न किया गया हो। वे सिद्ध करते हैं कि आप इस मिश्रण को एक बहुत ही संरचित और विश्वसनीय तरीके से कर सकते हैं, जिससे एक नया "एक्शन" बनता है जहाँ बाइमॉड्यूल्स (दो फैक्ट्रियों के पुर्जे) लेफ्ट मॉड्यूल्स (एक फैक्ट्री के खिलौने) पर कार्य कर सकते हैं।

2. "ट्विस्टेड एरो" मैप (The "Twisted Arrow" Map)
इसे सफल बनाने के लिए, लेखक "ट्विस्टेड एरो कैटेगरी" (twisted arrow category) की अवधारणा का उपयोग करते हैं। कल्पना कीजिए कि आप एक शहर के मानचित्र को देख रहे हैं। आमतौर पर, आप सड़कों (वस्तुओं) और यात्रा करने की दिशाओं (तीरों) को देखते हैं। इसका "ट्विस्टेड" संस्करण एक अजीब कोण से मानचित्र को देखने जैसा है जहाँ हर सड़क अपने स्वयं के विपरीत दिशा से जुड़ी होती है। यह विचित्र दृष्टिकोण लेखकों को निर्माण और तोड़ने के निर्देशों के बीच छिपे हुए संबंधों को देखने की अनुमति देता है। वे दिखाते हैं कि यदि आप अपने गणितीय ऑब्जेक्ट्स को इस "ट्विस्टेड" लेंस के माध्यम से देखते हैं, तो मिश्रण और मेल बिठाने के जटिल नियम बहुत स्पष्ट हो जाते हैं।

3. सार्वभौमिक अनुवादक (The Universal Translator)
शोध पत्र की सबसे बड़ी उपलब्धि एक फंक्टर (functor - एक गणितीय मशीन) का निर्माण करना है जो एक सार्वभौमिक अनुवादक के रूप में कार्य करता है। यदि आप इसमें एक "सजा हुआ" बीजगणित (एक बीजगणित जिसके साथ एक मॉड्यूल जुड़ा है) डालते हैं, तो यह एक "सजा हुआ" सह-बीजगणित बाहर निकालता है। लेखक सिद्ध करते हैं कि यह अनुवादक कुछ शर्तों के तहत पूरी तरह से काम करता है। विशेष रूप से, वे दिखाते हैं कि पूरे सजाए गए सिस्टम के लिए "तोड़ने का निर्देश" अनिवार्य रूप से बीजगणित के लिए "तोड़ने के निर्देश" को मॉड्यूल पर लागू करने के समान है।

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

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

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

तकनीकी सारांश: मोनॉइडल $\infty$ -कैटेगरीज में रिलेटिव टेंसर प्रोडक्ट्स और कोशल डुअलिटी

समस्या विवरण
यह शोध पत्र रिलेटिव टेंसर प्रोडक्ट्स के मूलभूत सिद्धांत और मोनॉइडल $\infty$ -कैटेगरीज के संदर्भ में कोशल डुअलिटी (Koszul duality) के अनुप्रयोग को संबोधित करता है। विशेष रूप से, यह लूरी के हायर अलजेब्रा [15] द्वारा स्थापित कोशल डुअलिटी ढांचे को मॉड्यूल (modules) को शामिल करने के लिए सामान्यीकृत करने का प्रयास करता है, न कि केवल अल्जेब्रा (algebras) को। जबकि लूरी का निर्माण संवर्धित अल्जेब्रा (augmented algebras) और संवर्धित को-अल्जेब्रा (augmented coalgebras) के बीच एक एडजंक्शन (adjunction) प्रदान करता है, (संवर्धित अल्जेब्रा, मॉड्यूल) के जोड़ों और (संवर्धित को-अल्जेब्रा, को-मॉड्यूल) के जोड़ों के बीच एक एडजंक्शन तक विस्तार करने के लिए बाहरी रिलेटिव टेंसर प्रोडक्ट के माध्यम से मॉड्यूल्स पर बाइमॉड्यूल्स (bimodules) के कार्य करने की एक सुदृढ़ समझ की आवश्यकता है।

लेखकों द्वारा पहचाना गया एक केंद्रीय तकनीकी अवरोध $A$ - $A$ -बाइमॉड्यूल्स की मोनॉइडल $\infty$ -कैटेगरी के लेफ्ट $A$ -मॉड्यूल्स की $\infty$ -कैटेगरी पर एक लेफ्ट एक्शन के निर्माण से संबंधित है। पिछला साहित्य (जिसमें [15] शामिल है) अक्सर यह मान लेता था कि यूनिट ऑब्जेक्ट टर्मिनल (terminal) है या व्यापक धारणाएँ बनाता था कि टेंसर प्रोडक्ट्स सभी ज्योमेट्रिक रियलाइजेशन के साथ कम्यूट करते हैं। लेखक इन निर्माणों को परिष्कृत करने का लक्ष्य रखते हैं ताकि उन मामलों को संभाला जा सके जहाँ यूनिट टर्मिनल नहीं है और जहाँ रियलाइजेशन के साथ अनुकूलता विशिष्ट वर्गों के अल्जेब्रा (जो "बार कम्पैटिबल" हैं) तक ही सीमित है।

कार्यप्रणाली
लेखक $\infty$ -ऑपरेटर्स और डबल $\infty$ -कैटेगरीज के सिद्धांत में निहित एक प्रत्यक्ष, रचनात्मक दृष्टिकोण अपनाते हैं। उनकी कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

बाइमॉड्यूल्स के डबल $\infty$ -कैटेगरीज का परिशोधन:
शोध पत्र लूरी के मोरीटा डबल $\infty$ -कैटेगरी के निर्माण को परिष्कृत करता है। इस धारणा के बजाय कि मोनॉइडल कैटेगरी $\mathcal{C}$ में टेंसर प्रोडक्ट के अनुकूल सभी ज्योमेट्रिक रियलाइजेशन मौजूद हैं, लेखक उन अल्जेब्रा $\mathcal{A}$ के वर्ग पर ध्यान केंद्रित करते हैं जो "बार कम्पैटिबल" हैं। वे एक डबल $\infty$ -कैटेगरी $\text{BMod}_{\mathcal{A}}(\mathcal{C})^{\boxtimes}$ का निर्माण करते हैं जिसके $[n]$ पर फाइबर्स $\mathcal{A}$ -मल्टीमॉड्यूल्स से बने होते हैं। यह निर्माण बिना वैश्विक अस्तित्व की आवश्यकता के रिलेटिव टेंसर प्रोडक्ट्स के निर्माण की अनुमति देता है।
LM-मोनॉइडल एक्शंस का निर्माण:
एक प्रमुख तकनीकी नवाचार एक LM-मोनॉइडल $\infty$ -कैटेगरी $\text{BLMod}_{\mathcal{A}}(\mathcal{C})^{\otimes}$ का निर्माण है। यह कैटेगरी $A$ - $A$ -बाइमॉड्यूल्स की मोनॉइडल $\infty$ -कैटेगरी ( $\text{BMod}_{A}^{A}(\mathcal{C})$ ) के लेफ्ट $A$ -मॉड्यूल्स ( $\text{LMod}_{A}(\mathcal{C})$ ) पर एक लेफ्ट एक्शन को प्रमाणित करती है। यह एक डबल $\infty$ -कैटेगरी में हॉरिजॉन्टल मॉर्फिज्म्स की $\infty$ -कैटेगरी को परिभाषित करके और इन मॉर्फिज्म्स पर हॉरिजॉन्टल एंडोमॉर्फिज्म्स के एक एक्शन का निर्माण करके प्राप्त किया जाता है। यह एक्शन स्पष्ट रूप से रिलेटिव टेंसर प्रोडक्ट $N \otimes_A M$ द्वारा दिया गया है।
BM-मोनॉइडल कैटेगरी में सामान्यीकरण:
उन मामलों को संभालने के लिए जहाँ यूनिट ऑब्जेक्ट टर्मिनल नहीं है, लेखक अधिक सामान्य BM-मोनॉइडल $\infty$ -कैटेगरीज (दो संभावित रूप से भिन्न मोनॉइडल कैटेगरीज़ पर बाइमॉड्यूल्स) के ढांचे के भीतर काम करते हैं। वे एक सामान्यीकृत $\infty$ -ऑपरेट $\text{Tens}^{\otimes}_{\vec{\nabla}}$ का निर्माण करते हैं और "एक्सटर्नल" रिलेटिव टेंसर प्रोडक्ट्स को परिभाषित करने के लिए इसका उपयोग करते हैं। यह उन्हें स्लाइस कैटेगरी $\mathcal{C}_{/1}$ के साथ काम करके, भले ही $\mathcal{C}$ की यूनिट टर्मिनल न हो, ट्विस्टेड एरो कैटेगरी $\text{TwArr}(\mathcal{C})$ को एक LM-मोनॉइडल कैटेगरी के रूप में उपचार करने की अनुमति देता है।
रिप्रेजेंटेबिलिटी के माध्यम से कोशल डुअलिटी:
कोशल डुअलिटी निर्माण का मुख्य हिस्सा "लेफ्ट रिप्रेजेंटेबल पेयरिंग्स" (left representable pairings) की अवधारणा पर निर्भर करता है। लेखक एक LM-मोनॉइडल पेयरिंग $\lambda$ को परिभाषित करते हैं और सिद्ध करते हैं कि विशिष्ट मान्यताओं (बार कंस्ट्रक्शन रियलाइजेशन का अस्तित्व, कुछ अल्जेब्रा की ट्रिवियलिटी, और टोटललाइजेशन क्षमताएं) के तहत, मॉड्यूल कैटेगरीज़ पर प्रेरित पेयरिंग लेफ्ट रिप्रेजेंटेबल है। यह एक डुअलिटी फलन $D_{\text{Ksz}}$ प्रदान करता है।

प्रमुख योगदान और परिणाम

एक्सटर्नल रिलेटिव टेंसर प्रोडक्ट्स: शोध पत्र एक एक्सटर्नल रिलेटive टेंसर प्रोडक्ट $N \otimes_A M$ के माध्यम से लेफ्ट $A$ -मॉड्यूल्स पर $A$ - $A$ -बाइमॉड्यूल्स के एक एक्शन का निर्माण करता है। लेखक नोट करते हैं कि यहाँ तक कि "इंटरनल" मामला ( $\mathcal{C} = \mathcal{M}$ ) भी इस कार्य से पहले साहित्य में अनुपस्थित प्रतीत होता है।
मॉड्यूल्स के लिए कोशल डुअलिटी: मुख्य परिणाम (थ्योरम 9.4.3) संवर्धित मॉड्यूल्स $\text{LMod}_{\text{aug}}(\mathcal{C})$ $LMod_{aug} (C)$ और संवर्धित को-मॉड्यूल्स $\text{coLMod}_{\text{aug}}(\mathcal{C})$ $coLMod_{aug} (C)$ के बीच एक एडजंक्शन स्थापित करता है।
- फलन $D_{\text{Ksz}}$ एक जोड़े $(A, X)$ (एक संवर्धित अल्जेब्रा और एक मॉड्यूल) को जोड़े $(1 \otimes_A 1, 1 \otimes_A X)$ में मैप करता है।
- ऑब्जेक्ट $1 \otimes_A 1$ को-अल्जेब्रा है, और $1 \otimes_A X$ ड्युअल को-मॉड्यूल का अंडरलिंग ऑब्जेक्ट है।
मान्यताओं का शिथिलन: यह निर्माण लूरी के परिणामों को सामान्यीकृत करता है:
- यूनिट ऑब्जेक्ट को नॉन-टर्मिनल होने की अनुमति देकर (स्लाइस $\mathcal{C}_{/1}$ से जुड़े LM-मोनॉइडल कैटेगरी में जाकर)।
- टेंसर प्रोडक्ट्स को रियलाइजेशन के साथ केवल एक विशिष्ट वर्ग के अल्जेब्रा (बार-कम्पैटिबल अल्जेब्रा) के लिए ही संगत होने की आवश्यकता देकर।
ट्विस्टेड एरो कैटेगरी का यथार्थ: शोध पत्र प्रदर्शित करता है कि यदि अंतर्निहित कैटेगरी ऐसा करती है, तो ट्विस्टेड एरो कैटेगरी $\text{TwArr}(\mathcal{C})$ में टेंसर प्रोडक्ट के अनुकूल बार कंस्ट्रक्शन के रियलाइजेशन मौजूद होते हैं। यह कोशल डुअलिटी फलन के लिए सेटिंग के रूप में ट्विस्टेड एरो कैटेगरी के उपयोग को मान्य करता है।

महत्व और दावे
लेखक इस कार्य को लूरी के हायर अलजेब्रा [15] के एक "सेमी-एक्सपोज़िटरी" विस्तार के रूप में देखते हैं, जो विशेष रूप से रिलेटिव टेंसर प्रोडक्ट्स और मॉड्यूल्स के अनुप्रयोग के "काफी संक्षिप्त विवरण" को संबोधित करता है।

वैचारिक स्पष्टता: शोध पत्र कोलमल ड्यूलिटी फॉर मॉड्यूल्स के लिए एक "सुसंगत और वैचारिक रूप से संतोषजनक चित्र" प्रदान करने का दावा करता है। बाइमॉड्यूल्स के मॉड्यूल्स पर एक्शन को स्पष्ट रूप से निर्मित करके, लेखक अल्जेब्रा डुअलिटी से मॉड्यूल डुअलिटी में अपग्रेड को स्पष्ट करने का लक्ष्य रखते हैं।
मौलिक उपयोगिता: लेखक कहते हैं कि डबल $\infty$ -कैटेगरीज में मॉर्फिज्म कैटेगरीज़ पर एंडोमॉर्फिज्म कैटेगरीज़ के एक्शन पर उनका मौलिक कार्य स्वतंत्र रुचि का है।
व्यापकता पर विनम्रता: लेखक स्वीकार करते हैं कि उनके "सरल दृष्टिकोण" के लिए टेंसर प्रोडक्ट्स के लिमिट्स के साथ संगतता के संबंध में कुछ धारणाओं की आवश्यकता होती है। वे नोट करते हैं कि बाद के कार्य (ब्रेंटनर-कैम्पोस-नुइटेन [4]) ने दिखाया है कि ये धारणाएं एक अधिक अप्रत्यक्ष दृष्टिकोण में अनावश्यक हैं। हालांकि, लेखक तर्क देते हैं कि उनका सीधा निर्माण मॉड्यूल्स के विशिष्ट मामले के लिए एक स्पष्ट वैचारिक ढांचा प्रदान करता है, भले ही यह तकनीकी मान्यताओं में कम सामान्य हो।
मोटिव्स में अनुप्रयोग: शोध पत्र मोटिव्स में कम्यूटेटिव अल्जेब्रा के अध्ययन से संबंधित अपने परिणामों के संभावित अनुप्रयोग को संक्षेप में चित्रित करता है, विशेष रूप से एक संवर्धित अल्जेब्रा के कोशल ड्यूल को यूनिपोटेंट फंडामेंटल ग्रुप और स्कीम के पाथ्स के टर्सर्स (torsors) से जोड़ते हुए। इसे पूर्ण किए गए अनुप्रयोग के बजाय भविष्य के कार्य के लिए एक दिशा के रूप में प्रस्तुत किया गया है।

संक्षेप में, शोध पत्र मोनॉइडल $\infty$ -कैटेगरीज में मॉड्यूल्स के लिए कोशल डुअलिटी का एक कठोर, चरण-दर-चरण निर्माण प्रदान करता है, जो बाइमॉड्यूल्स और मॉड्यूल्स के बीच की अंतःक्रिया के संबंध में साहित्य के अंतराल को भरता है, और नॉन-टर्मिनल यूनिट ऑब्जेक्ट्स को समायोजित करने के लिए आवश्यक तकनीकी मान्यताओं को परिष्कृत करता है।

गणितीय दुनिया का अदृश्य गोंद

शोध पत्र का बड़ा विचार: मेल बिठाने का एक नया तरीका

इसी तरह के और पेपर