🔢 mathematics

The $\infty$ -category of $\infty$ -categories in simplicial type theory

यह शोधपत्र क्यूबिकल टाइप थ्योरी (cubical type theory) की तकनीकों को अनुकूलित करके सिमपलीशियल टाइप थ्योरी (simplicial type theory) के भीतर $\infty$ -कैटेगरीज की $\infty$ -कैटेगरी का निर्माण करता है, जिससे स्ट्रेटनिंग-अनस्ट्रेटनिंग (straightening–unstraightening) प्रमेय का विशुद्ध रूप से टाइप-थ्योरेटिक प्रमाण सक्षम होता है और स्ट्रक्चर होमोमोर्फिज्म सिद्धांत (structure homomorphism principle) के नए अनुप्रयोगों का प्रदर्शन होता है।

मूल लेखक: Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

प्रकाशित 2026-02-03

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

CC BY 4.0

मूल लेखक: Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

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

मुख्य चित्र: "पुस्तकालयों का पुस्तकालय" बनाना

कल्पना कीजिए कि आप एक लाइब्रेरियन (पुस्तकालयाध्यक्ष) हैं। आपके पास एक विशाल इमारत (ब्रह्मांड/Universe) है जो किताबों से भरी हुई है। प्रत्येक पुस्तक एक अलग प्रकार की गणितीय संरचना का प्रतिनिधित्व करती है।

लंबे समय से, गणितज्ञ जो सिम्प्लिशियल टाइप थ्योरी (Simplicial Type Theory - STT) नामक एक विशिष्ट प्रणाली का उपयोग करते थे, वे इन पुस्तकों को "पुस्तकालयों" (जिन्हें वे कैटेगरी/categories कहते हैं) में व्यवस्थित करने के नियम लिख सकते थे। वे यह सिद्ध कर सकते थे कि एक विशिष्ट पुस्तक एक पुस्तकालय थी, या दो पुस्तकालय समान थे।

हालाँकि, वहाँ फर्नीचर का एक हिस्सा गायब था: कैटलॉग (सूची)।

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

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

उपकरण: एक नए प्रकार का पैमाना

इसे बनाने के लिए, उन्हें चीजों को मापने का एक नया तरीका आविष्कार करना पड़ा।

मानक गणित में, यदि आपके पास दो बिंदु A और B हैं, तो उनके बीच का पथ आमतौर पर केवल एक रेखा होता है। लेकिन इस "निर्देशित" (directed) गणित में, पथों की एक दिशा होती है (जैसे एकतरफा सड़क)। आप A से B तक जा सकते हैं, लेकिन जरूरी नहीं कि वापस आ सकें।

लेखकों ने एक विशेष उपकरण का उपयोग किया जिसे "मोडल ऑपरेटर" (एक जादुई फिल्टर या लेंस की तरह सोचें) कहा जाता है।

समस्या: जब उन्होंने "पुस्तकालयों के पुस्तकालय" को परिभाषित करने की कोशिश की, तो नियम जटिल हो गए क्योंकि पथों की "दिशा" पुस्तकालयों के "आकार" के साथ भ्रमित हो गई थी।
समाधान: उन्होंने एक विशेष लेंस (जिसे $\flat$ कहा जाता है) का उपयोग किया जो उन्हें किसी पुस्तकालय के भीतर के छोटे, टेढ़े-मेढ़े पथों से विचलित हुए बिना उसके "वैश्विक" आकार को देखने की अनुमति देता है। इसने उन्हें अपने सिस्टम को ध्वस्त किए बिना "पुस्तकालयों के पुस्तकालय" के नियमों को परिभाषित करने में सक्षम बनाया।

मुख्य उपलब्धि: "निर्देशित यूनिवैलेंस" (Directed Univalence)

मानक गणित में, एक प्रसिद्ध नियम है जिसे यूनिवैलेंस (Univalence) कहा जाता है। यह कहता है: "यदि दो चीजें समतुल्य (मूल रूप से एक जैसी) हैं, तो आप उन्हें समान मान सकते हैं।"

लेखकों ने अपने नए "पुस्तकालयों के पुस्तकालय" के लिए एक "निर्देशित यूनिवैलेंस" नियम की खोज की।

उपमा: कल्पना कीजिए कि आपके पास घर का दो अलग-अलग ब्लूप्रिंट (नक्शा) है। सामान्य गणित में, यदि ब्लूप्रिंट एक ही घर का परिणाम देते हैं, तो वे एक ही ब्लूप्रिंट हैं।
ट्विस्ट: इस निर्देशित दुनिया में, "पुस्तकालयों के पुस्तकालय" का एक विशेष नियम है: दो पुस्तकालयों के बीच सभी संभावित "मैप्स" (फंक्टर्स) का स्थान ठीक वही है जो उनके बीच सभी संभावित "दिशात्मक पथों" का स्थान है।

यह एक बहुत बड़ी बात है क्योंकि यह सिद्ध करता है कि उनका "पुस्तकालयों का पुस्तकालय" केवल वस्तुओं का एक यादृच्छिक संग्रह नहीं है; यह एक पूर्णतः संरचित, आत्म-सुसंगत गणितीय वस्तु है।

"स्ट्रेटनिंग" (सीधा करने का) तरीका

इस क्षेत्र के सबसे प्रसिद्ध परिणामों में से एक को "स्ट्रेटनिंग एंड अनस्ट्रेटनिंग" (Straightening and Unstraightening) कहा जाता है।

रूपक: कल्पना कीजिए कि आपके पास ऊन का एक उलझा हुआ गोला (एक जटिल संरचना) है और आप उसे एक मेज पर सपाट बिछाना चाहते हैं (नियमों की एक सरल सूची)।
- अनस्ट्रेटनिंग (Unstraightening): नियमों की एक सपाट सूची लेना और उसे एक 3D आकार में लपेटना।
- स्ट्रेटनिंग (Straightening): एक 3D आकार लेना और उसे नियमों की एक सरल सूची में सपाट करना।

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

यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

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

सारांश

लेखकों को एक वास्तुकार के रूप में देखें जिन्होंने अंततः गणितीय संरचनाओं के एक विशाल शहर के लिए केंद्रीय केंद्र (central hub) बनाया है। इससे पहले, वे घर (categories) और पड़ोस बना सकते थे, लेकिन वे वह शहर केंद्र नहीं बना सकते थे जो सभी पड़ोसों को एक साथ रखता है।

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

तकनीकी सारांश: सिम्प्लिशियल टाइप थ्योरी में $\infty$ -कैटेगरीज़ की $\infty$ -कैटेगरी

समस्या विवरण
रीहल और शुलमैन द्वारा प्रस्तुत सिम्प्लिशियल टाइप थ्योरी (STT), एक निर्देशित अंतराल (directed interval) $I$ के साथ होमोटॉपी टाइप थ्योरी (HoTT) का विस्तार करके $(\infty, 1)$ -कैटेगरी थ्योरी के लिए एक सिंथेटिक ढांचा प्रदान करती है। जबकि STT $\infty$ -कैटेगरीज़ को विशिष्ट गुणों (Segal और Rezk स्थितियाँ) को संतुष्ट करने वाले प्रकारों के रूप में सफलतापूर्वक परिभाषित करता है और लिमिट्स, कोलिमिट्स और फाइबर्ड कैटेगरीज़ जैसे निर्माणों का समर्थन करता है, एक मौलिक अंतराल बना रहा: यूनिवर्स ऑफ टाइप्स $U$ स्वयं STT के भीतर एक $\infty$ -कैटेगरी नहीं है। विशेष रूप से, $\infty$ -कैटेगरी प्रेडिकेट ( $\text{isCat}$ ) को संतुष्ट करने वाले प्रकारों का सबटाइप एक कैटेगरी बनाने में विफल रहता है क्योंकि सिंथेटिक मोर्फिज्म (फंक्शंस $I \to \sum_{A:U} \text{isCat}(A)$ ) कंपोज़ नहीं होते या फनक्टर्स का निष्ठापूर्वक प्रतिनिधित्व नहीं करते हैं। फलस्वरूप, "कैटेगरी ऑफ कैटेगरीज़" ( $\text{Cat}$ ) के अस्तित्व की संभावना एक निर्मित सबटाइप के रूप में जताई गई थी, लेकिन इसे साकार नहीं किया जा सका था। इस अनुपस्थिति ने स्ट्रेटनिंग–अनस्ट्रेटनिंग (straightening–unstraightening) प्रमेय जैसे मूलभूत परिणामों के आंतरिककरण (internalization) को बाधित किया और निर्देशित उच्च बीजगणितीय संरचनाओं (higher algebraic structures) के अनुप्रयोग को रोका।

कार्यप्रणाली
लेखक सिम्प्लिशियल टाइप थ्योरी के संदर्भ में क्यूबिकल टाइप थ्योरी और मोडल डिपेंडेंट टाइप थ्योरी (MTT) की तकनीकों को अनुकूलित करके $\text{Cat}$ का निर्माण करते हैं। कार्यप्रणाली निम्नलिखित प्रमुख चरणों के माध्यम से आगे बढ़ती है:

ट्राइएंगुलेटेड टाइप थ्योरी ( $TT^\triangle$ ): लेखक $TT^\triangle$ के भीतर कार्य करते हैं, जो STT का एक शिथिल रूप है जहाँ निर्देशित अंतराल $I$ एक टोटली ऑर्डर्ड सेट के बजाय एक बाउंडेड डिस्ट्रिब्यूटिव लैटिस है। यह मॉडल (डेडेकिंड क्यूबिकल स्पेस) एक्सपोनेंशियल फंकटर $I \to (-)$ के लिए एक "अमेजिंग राइट एडजॉइंट" (amazing right adjoint) को स्वीकार करता है, जो एक ऐसी विशेषता है जो मानक सिम्प्लिशियल स्पेस में अनुपस्थित है लेकिन यूनिवर्सल फाइब्रेशन्स को परिभाषित करने के लिए महत्वपूर्ण है।
मोडालिटीज (Modalities): इसे मोडालिटीज के साथ विस्तारित किया गया है, विशेष रूप से $\flat$ मोडालिटी (डिस्क्रीट फंकटर) और $\sharp$ मोडालिटी (को-डिस्क्रीट फंकटर)। ये ग्लोबल एलिमेंट्स को आंतरिक बनाने और डिस्क्रीट ग्रुपॉइड्स तथा सामान्य कैटेगरीज़ के बीच अंतर करने की अनुमति देते हैं।
यूनिवर्सल कोकार्टेसियन फैमिली (Universal Cocartesian Family): लिकाटा एट अल. और वीवर और लिकाटा का अनुसरण करते हुए, लेखक $\text{Cat}$ को प्रकारों पर एक प्रत्यक्ष प्रेडिकेट के बजाय, एक यूनिवर्सल कोकार्टेसियन फैमिली के बेस के रूप में परिभाषित करते हैं। वे $I^n$ पर परिभाषित प्रेडिकेट्स (जैसे कि एक इनर फाइब्रेशन होना या स्थानीय रूप से कोकार्टेसियन लिफ्ट्स होना) को यूनिवर्स $U$ पर प्रेडिकेट्स में ट्रांसपोज़ करने के लिए लेम्मा 2.9 का उपयोग करते हैं।
$\text{Cat}$ की परिभाषा: $\text{Cat}$ को $U$ के उस सबटाइप के रूप में परिभाषित किया गया है जो रेज़क (Rezk), इनर (inner - सापेक्ष सेगल स्थिति को संतुष्ट करना) है, और जिसमें कंपोज़ होने वाले लोकली कोकार्टेसियन लिफ्ट्स मौजूद हैं।
निर्देशित यूनिवैलेंस (Directed Univalence): लेखक यह सिद्ध करते हैं कि $\text{Cat}$ एक "निर्देशित यूनिवैलेंस" सिद्धांत को संतुष्ट करता है, जो सिंथेटिक मोर्फिज्म और उनके अंतर्निहित प्रकारों के बीच के फंक्शंस के बीच एक तुल्यता स्थापित करता है, जो $\flat$ मोडालिटी द्वारा मध्यस्थता की जाती है।

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

$\text{Cat}$ का निर्माण: प्राथमिक योगदान STT के भीतर $\infty$ -कैटेगरीज़ की $\infty$ -कैटेगरी का पहला निर्माण है। लेखक $\text{Cat}$ को यूनिवर्स के एक सबटाइप के रूप में परिभाषित करते हैं और सिद्ध करते हैं कि यह स्वयं एक कैटेगरी है (अर्थात, यह सिम्प्लिशियल, सेगल और रेज़क है)।
यूनिवर्सल प्रॉपर्टी (प्रमेय 4.2): पेपर यह स्थापित करता है कि $\text{Cat}$ यूनिवर्सल कोकार्टेसियन फैमिली का बेस है। किसी भी कैटेगरी (विशेष रूप से $\flat$ -एनोटेटेड) $C$ के लिए, एक तुल्यता है:
$\langle \flat \mid C \to \text{Cat} \rangle \simeq \langle \flat \mid \sum_{E: C \to U} \text{isCocart}(E) \rangle$
यह ग्रोटेंडिक पत्राचार (straightening–unstraightening) के माध्यम से $\text{Cat}$ को विशुद्ध रूप से टाइप-थ्योरेटिक रूप से अभिलक्षित (characterize) करता है।
निर्देशित यूनिवैलेंस (कोरोलरी 5.5): लेखक सिद्ध करते हैं कि $\text{Cat}$ के $\flat$ -एलिमेंट्स $A, B$ के लिए, सिंथेटिक मोर्फिज्म का प्रकार उनके बीच के फंक्शंस के प्रकार के तुल्य है:
$\text{hom}_{\text{Cat}}(A, B) \simeq \langle \flat \mid A \to B \rangle$
यह परिणाम $\text{Cat}$ को स्पेस की कैटेगरी (डिस्क्रीट कैटेगरीज़) से अलग करता है, जहाँ यह तुल्यता $\flat$ मोडालिटी के बिना ही लागू होती है।
सिंथेटिक स्ट्रेटनिंग–अनस्ट्रेटनिंग: अनस्ट्रेटनिंग मैप $U: (C \to \text{Cat}) \to \text{Cat}/C$ के फाइबर्स का विश्लेषण करके, लेखक लुरी के स्ट्रेटनिंग–अनस्ट्रेटनिंग प्रमेय का पूर्णतः सिंथेटिक प्रमाण प्रदान करते हैं। वे दिखाते हैं कि इस मैप का इमेज सटीक रूप से कोकार्टेसियन फैमिलीज़ और कोकार्टेसियन फंकटर्स का समूह है।
स्ट्रक्चर होमोमोर्फिज्म प्रिंसिपल (SHP): यह निर्माण निर्देशित संस्करण के स्ट्रक्चर आइडेंटिटी प्रिंसिपल के नए उदाहरणों को सक्षम बनाता है। लेखक यह प्रदर्शित करते हैं कि कैसे $\text{Cat}$ को टाइप-थ्योरेटिक कनेक्टिव्स और मोडालिटीज के साथ जोड़कर जटिल कैटेगरीज़, जैसे कि मोनॉयडल कैटेगरीज़ और मार्क की गई कैटेगरीज़ का निर्माण किया जा सकता है।

महत्व और दावे
पेपर दावा करता है कि यह सिम्प्लिशियल टाइप थ्योरी के एक बड़े अंतराल को भरता है। $\text{Cat}$ का निर्माण करके, लेखक सक्षम बनाते हैं:

हायर कैटेगरी थ्योरी का आंतरिककरण: प्रमुख मूलभूत परिणाम, जिन्हें पहले बाहरी मॉडल-कैटेगोरिकल तर्कों की आवश्यकता थी, अब सिंथेटिक रूप से टाइप थ्योरी के भीतर सिद्ध किए जा सकते हैं।
निर्देशित टाइप थ्योरी के लिए सिमेंटिक्स: $\text{Cat}$ का अस्तित्व "पूर्णतः निर्देशित" (fully directed) टाइप थ्योरीज के लिए STT में एक सिंथेटिक अनुवाद को सक्षम बनाता है, जो एक मॉडल प्रदान करता है जो $\infty$ -कैटेगरीज़ को पर्याप्त रूप से कैप्चर करता है।
नए निर्माण: यह ढांचा जटिल बीजगणितीय संरचनाओं (जैसे $E_1$ -मोनॉइड्स, मोनॉयडल कैटेगरीज़) को परिभाषित करने और सिंथेटिक सेटिंग के भीतर एलजेब्रिक K-थ्योरी अवधारणाओं (क्विलेन की K-ग्रुप्स की परिभाषा के माध्यम से) के अनुप्रयोग को सुगम बनाता है।

लेखक जोर देते हैं कि उनका दृष्टिकोण अपने व्युत्पत्ति ( $TT^\triangle$ के एक्सिओम्स पर निर्भर करते हुए) में मॉडल-स्वतंत्र है, जबकि क्यूबिकल स्पेस के एक मॉडल द्वारा मान्य है। वे इस कार्य को सिंथेटिक रूप से हायर अल्जेब्रा और ऑपरैड थ्योरी को साकार करने की दिशा में एक कदम मानते हैं, यह नोट करते हुए कि जबकि $\text{Cat}$ का निर्माण पूर्ण है, एलजेब्रिक K-थ्योरी में इसके अनुप्रयोगों को पूरी तरह से तलाशने और सिद्धांत का कम्प्यूटेशनल लेखा-जोखा विकसित करने के लिए आगे के कार्य की आवश्यकता है।