2025-11-15T04:07:11.766494

Instances of models of double-categorical theories

Carlson, Patterson

We contribute a chapter in common to categorical database theory and to the study of higher morphisms between double categories. The common thread here is the notion of instance, or right module, which we generalize from functors from a plain category into Set to the models of a (cartesian) double theory. This provides a concept of instance for such objects as a category equipped with a monad, or a (symmetric) multicategory, recovering the multifunctors into Set in the latter case. We also show that instances of models are equivalent to an appropriate concept of discrete opfibration over that model, not recoverable as the representable discrete opfibrations in the 2-category of models. Finally, we give comprehensive factorization systems with these discrete opfibrations as the right class.

academic

दोहरी-श्रेणीबद्ध सिद्धांतों के मॉडलों के उदाहरण

मूल जानकारी

पेपर ID: 2510.08861
शीर्षक: दोहरी-श्रेणीबद्ध सिद्धांतों के मॉडलों के उदाहरण
लेखक: केविन कार्लसन, इवान पैटर्सन (टोपोस संस्थान)
वर्गीकरण: math.CT (श्रेणी सिद्धांत)
प्रस्तुति समय: 9 अक्टूबर 2025
पेपर लिंक: https://arxiv.org/abs/2510.08861

सारांश

यह पेपर वर्गीकृत डेटाबेस सिद्धांत और दोहरी-श्रेणियों के बीच उच्च-क्रम आकारिकी के अध्ययन में संयुक्त योगदान देता है। सामान्य विषय-वस्तु उदाहरण (instance) या दाहिनी मॉड्यूल की अवधारणा है, जिसे लेखकों ने सामान्य श्रेणियों से Set तक के फंक्टर से (कार्तीय) दोहरी सिद्धांतों के मॉडलों तक सामान्यीकृत किया है। यह मोनैड्स वाली श्रेणियों या (सममित) बहु-श्रेणियों जैसी वस्तुओं के लिए उदाहरण की अवधारणा प्रदान करता है, बाद की स्थिति में Set तक बहु-फंक्टर को पुनः प्राप्त करता है। लेखकों ने यह भी प्रमाणित किया है कि मॉडल के उदाहरण उस मॉडल पर असतत ऊपरी तंतुओं की उपयुक्त अवधारणा के बराबर हैं, जिसे मॉडल 2-श्रेणी में प्रतिनिधित्वशील असतत ऊपरी तंतुओं के रूप में पुनः प्राप्त नहीं किया जा सकता। अंत में, इन असतत ऊपरी तंतुओं को दाहिनी श्रेणी के रूप में लेते हुए एक संश्लेषित विघटन प्रणाली दी गई है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

दोहरी-श्रेणी सिद्धांत के विकास की आवश्यकता: आधुनिक कमजोर दोहरी-श्रेणी सिद्धांत पारे और ग्रैंडिस के सहयोग से शुरू हुआ, जिसका "मुख्य विचार" बहुत ढीले (जैसे profunctors, spans, संबंध) या बहुत कठोर (जैसे सहायक) आकारिकी को छद्म-दोहरी-श्रेणियों में अध्ययन करना है, जिन्हें अधिक सामान्य (क्षैतिज) आकारिकी के साथ जोड़ा जाता है।
वर्गीकृत डेटाबेस सिद्धांत की आवश्यकता: स्पिवक और केंट ने वर्गीकृत डेटाबेस सिद्धांत की स्थापना की, छोटी श्रेणी C को ऑन्टोलॉजी या डेटाबेस स्कीमा के रूप में देखते हुए, ठोस डेटाबेस को C-set के रूप में देखते हुए। यह विचार अनुप्रयुक्त श्रेणी सिद्धांत में विस्तारित किया गया है, जिसमें बीजगणितीय डेटाबेस और विशेषता C-sets शामिल हैं।
सॉफ्टवेयर अनुप्रयोग द्वारा संचालित: लेखकों द्वारा टोपोस संस्थान में विकसित CatColab एप्लिकेशन पारे के Span तक ढीले दोहरी-फंक्टर सिद्धांत पर आधारित है, छोटी दोहरी-श्रेणियों को दोहरी (लॉवेयर) सिद्धांतों के रूप में व्याख्या करता है, संरचना-संरक्षण ढीले फंक्टर को सिद्धांत के मॉडलों के रूप में व्याख्या करता है।

मुख्य समस्या

पारंपरिक उदाहरण की अवधारणा (जैसे C-sets मॉड्यूल I 7→ C के अनुरूप) सामान्य दोहरी सिद्धांत में सीधे सामान्यीकृत नहीं हो सकती। जब X एक दोहरी सिद्धांत मॉडल है जो गैर-तुच्छ proarrows को स्वीकार करता है, तो मॉडल 1 मॉडल के कॉम्पैक्ट आकारिकी के संबंध में टर्मिनल होते हुए, मॉड्यूल के बाईं ओर गैर-तुच्छ रूप से कार्य करने के लिए पर्याप्त समृद्ध है।

अनुसंधान प्रेरणा

दोहरी सिद्धांत मॉडलों की सही उदाहरण अवधारणा खोजने की आवश्यकता है, जो निम्नलिखित को सक्षम करे:

सामान्य श्रेणियों की copresheaf अवधारणा को सामान्यीकृत करना
मोनैड्स वाली श्रेणियों, बहु-श्रेणियों आदि जटिल संरचनाओं पर लागू होना
बहु-श्रेणी स्थिति में Set तक बहु-फंक्टर को पुनः प्राप्त करना
असतत ऊपरी तंतुओं के साथ समानता प्रदान करना

मुख्य योगदान

दोहरी सिद्धांत मॉडलों के लिए उदाहरण की अवधारणा को परिभाषित किया: सामान्य श्रेणियों से सामान्य दोहरी सिद्धांतों तक उदाहरण की अवधारणा को सामान्यीकृत किया, "I बाईं ओर तुच्छ रूप से कार्य करता है" की आवश्यकता के माध्यम से तकनीकी कठिनाई को हल किया।
उदाहरणों का presheaf-प्रकार प्रतिनिधित्व स्थापित किया: प्रमाणित किया कि किसी भी मॉडल X के उदाहरण श्रेणी फंक्टर κ(X) → Set की श्रेणी के बराबर है, जहां κ(X) X का "collage" है।
उदाहरणों और असतत ऊपरी तंतुओं के बीच समानता स्थापित की: मुख्य प्रमेय प्रमाणित करता है कि मॉडल के उदाहरणों और उस मॉडल पर असतत ऊपरी तंतुओं के बीच समानता, श्रेणियों पर copresheaves और असतत ऊपरी तंतुओं की शास्त्रीय समानता को सामान्यीकृत करता है।
संश्लेषित विघटन प्रणाली का निर्माण: मॉडल श्रेणी के स्थानीय प्रतिनिधित्वशीलता का उपयोग करके, असतत ऊपरी तंतुओं को दाहिनी श्रेणी के रूप में लेते हुए एक संश्लेषित विघटन प्रणाली का निर्माण किया।
कार्तीय स्थिति तक सामान्यीकरण: सभी परिणामों को कार्तीय दोहरी सिद्धांतों तक सामान्यीकृत किया, लॉवेयर सिद्धांत और सममित बहु-श्रेणियों जैसे महत्वपूर्ण उदाहरणों को शामिल करता है।

विधि विवरण

कार्य परिभाषा

इस पेपर में अध्ययन किया गया मुख्य कार्य दोहरी सिद्धांत D के मॉडल X के लिए उपयुक्त उदाहरण अवधारणा को परिभाषित करना है, जो निम्नलिखित को संतुष्ट करे:

सामान्य श्रेणियों की copresheaf अवधारणा को सामान्यीकृत करना
असतत ऊपरी तंतु अवधारणा के साथ समानता
presheaf-प्रकार श्रेणी का निर्माण

उदाहरणों की परिभाषा

प्रारंभिक परिभाषा (Definition 2.1)

मान लीजिए D एक दोहरी सिद्धांत है, E एक टर्मिनल वस्तु I वाली दोहरी-श्रेणी है। D का E में एक टर्मिनल मॉडल I है। मॉडल X का एक उदाहरण एक मॉड्यूल H: I 7→ X है, जो "I बाईं ओर तुच्छ रूप से कार्य करता है" को संतुष्ट करता है, अर्थात् निम्नलिखित रूप के सभी laxator पहचान हैं:

I    I    X(z)
 \   |   /
  \  |  /
   \ | /
I ---+--- X(z)

सरलीकृत परिभाषा (Definition 2.3)

संरचनात्मक सरलीकरण के बाद, उदाहरण H निम्नलिखित डेटा से बना है:

प्रत्येक वस्तु d∈D के लिए, एक proarrow Hd: I 7→ Xd
प्रत्येक कॉम्पैक्ट आकारिकी f: d→d' के लिए, एक सेल Hf
प्रत्येक proarrow m: d 7→ d' के लिए, एक क्रिया सेल Hm

फंक्टरिएलिटी, प्राकृतिकता, सहयोगिता और इकाई स्वयंसिद्धों को संतुष्ट करता है।

Collage निर्माण (Construction 2.7)

span-मूल्य मॉडल X: D → Span के लिए, इसके collage κ(X) को श्रेणी के रूप में परिभाषित करें:

वस्तुएं: प्रत्येक d∈D और x∈X(d) के लिए, वस्तु x प्राप्त करें
आकारिकी: कॉम्पैक्ट आकारिकी और ढीली आकारिकी द्वारा उत्पन्न
संबंध: संरचना, प्राकृतिकता आदि को संरक्षित करें

असतत ऊपरी तंतु

परिभाषा (Definition 3.2)

मॉडल आकारिकी p: E → B एक असतत ऊपरी तंतु है, यदि प्रत्येक proarrow m: x 7→ y के लिए, वर्ग

⊤(Em) → Ex
  ↓      ↓
⊤(Bm) → Bx

एक पुलबैक है।

मुख्य समानता प्रमेय

Theorem 3.7

समानता ∇: Dopf(B) ⇄ Inst(B): ∫ मौजूद है, जहां:

Dopf(B) B पर असतत ऊपरी तंतु श्रेणी है
Inst(B) B की उदाहरण श्रेणी है
∫H को उदाहरण H का तत्व मॉडल कहा जाता है

तकनीकी नवाचार बिंदु

1. उदाहरण अवधारणा का सामान्यीकरण

"बाईं ओर तुच्छ क्रिया" शर्त के माध्यम से सामान्य दोहरी सिद्धांत में उदाहरण परिभाषा की तकनीकी कठिनाई को चतुराई से हल किया, गैर-तुच्छ proarrows स्थिति में सीधे सामान्यीकरण की समस्याओं से बचा।

2. Collage निर्माण का नवाचार

κ निर्माण दोहरी-श्रेणी संरचना को सामान्य श्रेणी में "समतल" करने की व्यवस्थित विधि प्रदान करता है, जिससे शास्त्रीय presheaf सिद्धांत का उपयोग किया जा सकता है।

3. असतत ऊपरी तंतु अवधारणा का सामान्यीकरण

शास्त्रीय असतत ऊपरी तंतु अवधारणा को दोहरी सिद्धांत मॉडलों तक सामान्यीकृत किया, प्रत्येक proarrow पर पुलबैक शर्त की आवश्यकता होती है।

4. संश्लेषित विघटन प्रणाली

स्थानीय प्रतिनिधित्वशीलता का उपयोग करके निर्मित विघटन प्रणाली मॉडल आकारिकी के अध्ययन के लिए एक शक्तिशाली उपकरण प्रदान करती है।

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

यह पेपर मुख्य रूप से शुद्ध गणित सैद्धांतिक कार्य है, निम्नलिखित तरीकों से सिद्धांत की सही्ता को सत्यापित करता है:

मुख्य उदाहरण सत्यापन

श्रेणियों के उदाहरण: टर्मिनल दोहरी सिद्धांत स्थिति में शास्त्रीय C-sets को पुनः प्राप्त करने का सत्यापन
मोनैड्स के उदाहरण: प्रमाणित करता है कि मोनैड T: X → X वाली श्रेणी के उदाहरण X-sets H और प्राकृतिक रूपांतरण Hη: H → H∘T हैं
बहु-श्रेणियों के उदाहरण: कार्तीय स्थिति में Set तक बहु-श्रेणी बहु-फंक्टर को पुनः प्राप्त करता है

निर्माण सत्यापन

विस्तृत आरेख ट्रेसिंग और स्वयंसिद्ध सत्यापन के माध्यम से प्रमाणित:

κ निर्माण की फंक्टरिएलिटी
समानता ∇ और ∫ की पारस्परिक व्युत्क्रमता
विघटन प्रणाली की ऑर्थोगोनलिटी

प्रायोगिक परिणाम

मुख्य परिणाम

Proposition 2.8

सरल दोहरी सिद्धांत के मॉडल X: D → Span के लिए, उदाहरण श्रेणी Inst(X) फंक्टर श्रेणी Cat(κX, Set) के बराबर है।

Theorem 3.7 (मुख्य प्रमेय)

सरल दोहरी सिद्धांत D के मॉडल B को ठीक करते हुए, समानता ∇: Dopf(B) ⇄ Inst(B): ∫ B पर असतत ऊपरी तंतु श्रेणी और B की उदाहरण श्रेणी के बीच मौजूद है।

Proposition A.2

सरल दोहरी सिद्धांत D की मॉडल श्रेणी Lax(D, Span) स्थानीय रूप से प्रतिनिधित्वशील है।

सामान्यीकरण परिणाम

Theorem 4.5

कार्तीय दोहरी सिद्धांत के लिए, समानता कार्तीय उदाहरणों और कार्तीय असतत ऊपरी तंतुओं के बीच सीमित है।

Corollary 4.6

कार्तीय मॉडल श्रेणी असतत ऊपरी तंतुओं को दाहिनी श्रेणी के रूप में लेते हुए एक ऑर्थोगोनल विघटन प्रणाली को स्वीकार करती है।

अनुप्रयोग परिणाम

ठोस उदाहरणों के माध्यम से सिद्धांत की प्रयोज्यता को सत्यापित किया:

बहु-श्रेणी उदाहरण बहु-फंक्टर M → Set को पुनः प्राप्त करते हैं
बीजगणितीय profunctors modal सिद्धांतों के उदाहरण के रूप में
सममित और सह-कार्तीय बहु-श्रेणियों का एकीकृत उपचार

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

सामान्य दोहरी सिद्धांत मॉडलों तक उदाहरण अवधारणा को सफलतापूर्वक सामान्यीकृत किया
उदाहरणों और असतत ऊपरी तंतुओं के बीच मौलिक समानता स्थापित की
दोहरी सिद्धांत मॉडल आकारिकी के अध्ययन के लिए एक संश्लेषित ढांचा प्रदान किया
CatColab जैसे अनुप्रयोग सॉफ्टवेयर के लिए सैद्धांतिक आधार प्रदान किया

सीमाएं

κ निर्माण न तो पूर्ण है न ही विश्वस्त है न ही संरक्षणशील है, जो Lax(D, Span) के गुणों के अध्ययन में इसके उपयोग को सीमित करता है
उदाहरण श्रेणी मॉडल के लगभग सभी डेटा पर निर्भर नहीं करती है
वर्तमान में मुख्य रूप से Span-मूल्य मॉडलों पर केंद्रित है, अन्य स्थितियों के लिए आगे के अनुसंधान की आवश्यकता है

भविष्य की दिशाएं

Modal सिद्धांत: लेख modal आभासी दोहरी सिद्धांतों को गैर-सरल दोहरी लॉवेयर सिद्धांतों को एन्कोड करने के अधिक सुविधाजनक आधार के रूप में पूर्वानुमान देता है
आभासी उपकरण: सिद्धांत को आभासी उपकरण सेटिंग तक सामान्यीकृत करने पर विचार करना
उच्च-क्रम संरचना: उच्च-क्रम दोहरी-श्रेणी संरचना और उनके उदाहरण सिद्धांत का अध्ययन

गहन मूल्यांकन

लाभ

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

कमियां

तकनीकी प्रवेश द्वार उच्च है: गहन श्रेणी सिद्धांत पृष्ठभूमि की आवश्यकता है, जो पाठकों के समूह को सीमित करता है
κ निर्माण की सीमाएं: κ न तो पूर्ण है न ही विश्वस्त है की सीमा को स्वीकार करता है, जो कुछ अनुप्रयोगों को प्रभावित कर सकता है
उदाहरण अपेक्षाकृत कम हैं: हालांकि मुख्य उदाहरण हैं, लेकिन अधिक ठोस अनुप्रयोग परिदृश्यों का प्रदर्शन आवश्यक हो सकता है

प्रभाव

सैद्धांतिक योगदान: दोहरी-श्रेणी सिद्धांत और वर्गीकृत डेटाबेस सिद्धांत के अंतर-अनुशासनात्मक अनुसंधान के लिए नई दिशा खोलता है
व्यावहारिक मूल्य: CatColab जैसे वैज्ञानिक मॉडलिंग सॉफ्टवेयर के विकास को सीधे समर्थन करता है
पुनरुत्पादनीयता: गणितीय प्रमाण विस्तृत हैं, सैद्धांतिक परिणाम सत्यापन योग्य हैं

प्रयोज्य परिदृश्य

औपचारिक विज्ञान मॉडलिंग सॉफ्टवेयर विकास
वर्गीकृत डेटाबेस सिद्धांत अनुसंधान
दोहरी-श्रेणी सिद्धांत का आगे विकास
सामान्यीकृत बहु-श्रेणी और operads सिद्धांत का अनुप्रयोग

संदर्भ

यह पेपर 51 महत्वपूर्ण संदर्भों को उद्धृत करता है, जिसमें शामिल हैं:

दोहरी-श्रेणी सिद्धांत आधार साहित्य (ग्रैंडिस और पारे, वेरिटी आदि)
वर्गीकृत डेटाबेस सिद्धांत (स्पिवक और केंट आदि)
स्थानीय प्रतिनिधित्वशील श्रेणी सिद्धांत (अदामेक और रोसिकी आदि)
ऊपरी तंतु और विघटन प्रणाली सिद्धांत (स्ट्रीट और वाल्टर्स आदि)

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