🔢 mathematics

Monads and Distributive Laws in Substructural Contexts (Extended Version)

यह शोध पत्र ट्रोनिन की वर्बल श्रेणियों (verbal categories) का उपयोग करते हुए एक एकीकृत श्रेणीगत ढांचे (categorical framework) को प्रस्तुत करता है ताकि सबस्ट्रक्चरल संदर्भों में मोनाड्स (monads) और डिस्ट्रीब्यूटिव लॉज़ (distributive laws) को औपचारिक रूप दिया जा सके, जिसमें मौजूदा परिणामों का सामान्यीकरण करने और इंडेक्स्ड वैल्युएशंस (indexed valuations) जैसे निर्माणों को समाहित करने के लिए $\mathbf W$ -ऑपेरेडिक (operadic) और $\mathbf W$ -कम्यूटेटिव मोनाड्स को पेश किया गया है।

मूल लेखक: Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo

प्रकाशित 2026-05-14

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

CC BY 4.0

मूल लेखक: Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo

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

यहाँ "Monads and Distributive Laws in Substructural Contexts" नामक शोध पत्र का सरल भाषा और रोज़मर्रा के उदाहरणों के साथ स्पष्टीकरण दिया गया है।

बड़ी तस्वीर: एक रेसिपी में सामग्री मिलाना

कल्पना कीजिए कि आप दो अलग-अलग प्रकार की सामग्रियों को मिलाकर एक नया व्यंजन बनाने की कोशिश कर रहे एक शेफ हैं: स्वाद (Flavorings) (जैसे नमक, काली मिर्च, या चीनी) और बनावट (Textures) (जैसे कुरकुरापन, चिकनापन, या फुलाव)।

कंप्यूटर विज्ञान की दुनिया में, इन "सामग्रियों" को मोनाड्स (Monads) कहा जाता है। ये प्रोग्राम के विभिन्न "प्रभावों" (effects) को दर्शाते हैं, जैसे:

नॉन-डिटरमिनिज्म (Non-determinism): प्रोग्राम कई संभावित रास्तों में से एक चुन सकता है (जैसे पासा फेंकना)।
प्रायिकता (Probability): प्रोग्राम संभावनाओं के आधार पर रास्ते चुनता है (जैसे बारिश की 70% संभावना)।
अपवाद (Exceptions): प्रोग्राम अचानक क्रैश हो सकता है या रुक सकता है।

यह शोध पत्र एक विशिष्ट प्रश्न पूछता है: हम इन दो सामग्रियों को मिलाकर एक एकल, सुसंगत व्यंजन कैसे बना सकते हैं?

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

समस्या: रसोई के "संरचनात्मक नियम" (Structural Rules)

यह समझने के लिए कि मिश्रण करना कठिन क्यों है, आपको रसोई के नियमों को समझना होगा। तर्क (logic) और गणित में, हमारे "वेरिएबल्स" (सामग्रियों) को संभालने के तीन मुख्य नियम हैं:

एक्सचेंज (Exchange - E): आप सामग्रियों का क्रम बदल सकते हैं। (पहले नमक फिर काली मिर्च, वही है जो काली मिर्च फिर नमक)।
वीकनिंग (Weakening - W): आप ऐसी अतिरिक्त सामग्रियाँ जोड़ सकते हैं जिनका आप वास्तव में उपयोग नहीं करते हैं। (एक ऐसा गार्निश जोड़ना जिसे आप कभी खाते ही नहीं)।
कॉन्ट्रैक्शन (Contraction - C): आप एक ही सामग्री का दो बार उपयोग कर सकते हैं। (एक अंडे से दो ऑमलेट बनाना)।

मानक खाना पकाने में, आप इन तीनों को कर सकते हैं। लेकिन "सबस्ट्रक्चरल" (substructural) खाना पकाने में, आपको इनमें से कुछ करने से मना किया जा सकता है।

शायद आप सामग्रियों का क्रम नहीं बदल सकते (क्रम मायने रखता है!)।
शायद आप अतिरिक्त अप्रयुक्त सामग्रियाँ नहीं जोड़ सकते (बर्बादी की अनुमति नहीं है!)।
शायद आप एक ही सामग्री का दो बार उपयोग नहीं कर सकते (एक अंडा, एक ऑमलेट)।

शोध पत्र इन प्रतिबंधों को वर्बल कैटेगरीज़ (Verbal Categories) कहता है। इन्हें अलग-अलग "रसोई के नियमपुस्तिका" के रूप में सोचें।

समाधान: दो नई अवधारणाएँ

लेखक इस मिश्रण की समस्या को हल करने के लिए दो नई अवधारणाएँ पेश करते हैं:

1. W-ऑपेरेडिक मोनाड्स (W-Operadic Monads - "नियमों का पालन करने वाला शेफ")

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

उदाहरण: एक शेफ जो केवल उस रसोई में खाना पकाता है जहाँ आप सामग्रियों का पुन: उपयोग नहीं कर सकते। उनके पास एकल-उपयोग वाली वस्तुओं को संभालने के लिए एक विशेष तकनीक है।

2. W-कम्यूटेटिव मोनाड्स (W-Commutative Monads - "लचीली सामग्री")

कल्प लीजिए कि एक ऐसी सामग्री जो रसोई के नियमों की परवाह नहीं करती। चाहे आप उसे बदलें, छोड़ दें, या पुन: उपयोग करें, सामग्री वैसी ही रहती है। यह इनवेरिएंट (invariant) है।

उदाहरण: "नमक" जैसा स्वाद जो एक ही रहता है चाहे आप इसे पहले छिड़कें, दूसरे, या दो बार उपयोग करें। यह नियमों को तोड़ता नहीं है; यह बस उनके साथ काम करता है।

मुख्य खोज: "कैनोनिकल मिक्सिंग लॉ" (The Canonical Mixing Law)

शोध पत्र की सबसे बड़ी उपलब्धि एक सार्वभौमिक मिश्रण सूत्र (Universal Mixing Formula) है।

लेखक सिद्ध करते हैं कि यदि आपके पास है:

एक शेफ जो नियमों का पालन करता है (W-Operadic), और
एक सामग्री जो लचीली है और नियमों की परवाह नहीं करती (W-Commutative),

...तो आप एक गारंटीड सटीक मिश्रण प्राप्त कर सकते हैं। आप उन्हें एक एकल, स्थिर व्यंजन में मिला सकते हैं बिना रेसिपी के बिगड़े।

वे इस मिश्रण को बनाने के लिए एक चरण-दर-चरण गणितीय विधि प्रदान करते हैं, जो नियमों और सामग्रियों के लगभग किसी भी संयोजन के लिए काम करती है।

क्या होगा यदि वे नहीं मिलते? ("रिफाइनमेंट" का तरीका)

कभी-कभी, आप एक शेफ और एक सामग्री को मिलाने की कोशिश करते हैं, और रेसिपी विफल हो जाती है। शायद शेफ बहुत कठोर है, या सामग्री बहुत संवेदनशील है।

अतीत में, लोग बस हार मान लेते थे और कहते थे, "इन दोनों को मिलाया नहीं जा सकता।"

लेखक एक चतुर वर्कअराउंड प्रस्तावित करते हैं जिसे W-ऑपेरेडिक रिफाइनमेंट (W-Operadic Refinement) कहा जाता है।

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

शोध पत्र में, वे दिखाते हैं कि कैसे एक "समस्याग्रस्त" शेफ (जो नियमों का अच्छी तरह पालन नहीं करता) को एक नए शेफ में गणितीय रूप से "रिफाइन" किया जा सकता है जो नियमों का पालन करता है। एक बार रिफाइन होने के बाद, मिश्रण का सूत्र काम करता है!

शोध पत्र के वास्तविक उदाहरण

यह शोध पत्र कंप्यूटर विज्ञान की समस्याओं को ठीक करने के लिए इस सिद्धांत का उपयोग करता है:

प्रायिकता बनाम नॉन-डिटरमिनिज्म (Probability vs. Non-Determinism):
- समस्या: "प्रायिकता" (संभावनाओं) को "नॉन-डिटरमिनिज्म" (कई संभावित पथों) के साथ मिलाना अत्यंत कठिन है। मानक गणित कहता है कि उन्हें मिलाया नहीं जा सकता।
- समाधान: लेखक दिखाते हैं कि यदि आप "प्रायिकता" वाले शेफ को रिफाइन करते हैं (अपने "इंडेक्स्ड वैल्यूएशन" तरीके का उपयोग करके), तो आप प्रायिकता का एक नया संस्करण बनाते है जो नॉन-डिटरमिनिज्म के साथ मिल सकता है। यह कंप्यूटर विज्ञान की एक पुरानी पहेली को हल करता है।
लिस्ट और रिंग्स (Lists and Rings):
- वे दिखाते हैं कि कैसे "लिस्ट" (क्रमबद्ध अनुक्रमों) को "एबेलियन ग्रुप्स" (योग के लिए गणितीय संरचनाएं) के साथ मिलाकर एक "रिंग" संरचना बनाई जा सकती है, जो बीजगणित (algebra) के लिए मौलिक है।

सारांश

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

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

तकनीकी सारांश: सबस्ट्रक्चरल संदर्भों में मोनाड्स और डिस्ट्रीब्यूटिव लॉज़ (Distributive Laws)

1. समस्या विवरण (Problem Statement)

प्रोग्राम सेमेंटिक्स और सिस्टम मॉडलिंग में, मोनाड्स (monads) कम्प्यूटेशनल प्रभावों (जैसे कि नॉन-डिटरमिनिज्म, प्रोबेबिलिटी, एक्सेप्शन्स) के लिए एक समान इंटरफेस के रूप में कार्य करते हैं। एक केंद्रीय चुनौती दो अलग-अलग प्रभावों को संयोजित करना है जिन्हें मोनाड्स $S$ और $T$ द्वारा मॉडल किया गया है। गणितीय रूप से, इसके लिए एक डिस्ट्रीब्यूटिव लॉ (distributive law) $\delta: ST \to TS$ की आवश्यकता होती है, जो संलग्नी फनक्टर (composite functor) $TS$ को मोनाड संरचना प्रदान करता है।

यद्यपि कई डिस्ट्रीब्यूटिव लॉ मौजूद हैं, "नो-गो" (no-go) प्रमेय (जैसे कि प्रोबेबिलिटी मोनाड $D$ और पॉवरसेट मोनाड $P$ के संबंध में प्लॉटकिन का अवलोकन) दर्शाते हैं कि डिस्ट्रीब्यूटिव लॉ हमेशा अस्तित्व में नहीं होते हैं। इस समस्या के प्रति पिछले दृष्टिकोणों में शामिल थे:

वीक डिस्ट्रीब्यूटिव लॉ (Weak distributive laws): यूनिट्स (units) के साथ अनुकूलता को शिथिल करना, अक्सर लक्ष्य मोनाड $T$ को संशोधित करना।
रिफाइनमेंट (Refinement): स्रोत मोनाड $S$ को उन "समस्याग्रस्त" समीकरणिक एक्सिओम्स (equational axioms) को हटाकर संशोधित करना जो $\delta$ के अस्तित्व को रोकते हैं।

इस शोध पत्र द्वारा संबोधित विशिष्ट समस्या "रिफाइनमेंट" दृष्टिकोण के लिए एक एकीकृत, श्रेणीगत (categorical), और प्रेजेंटेशन-स्वतंत्र फ्रेमवर्क का अभाव है। मौजूदा कार्यों ने डिस्ट्रीब्यूटिव लॉ के विफल होने या सफल होने में स्ट्रक्चरल रूल्स (exchange, weakening, contraction) की भूमिका की पहचान की है, लेकिन ये अवलोकन विशिष्ट संदर्भों तक सीमित थे न कि सामान्य रूप से औपचारिक।

2. कार्यप्रणाली (Methodology)

लेखक एक श्रेणीगत सिद्धांत विकसित करते हैं जो वर्बल कैटेगरीज (verbal categories) (ट्रोनिन द्वारा प्रस्तुत) द्वारा पैरामीटराइज्ड है, जो वेरिएबल कॉन्टेक्स्ट पर स्ट्रक्चरल रूल्स को प्रतिबंधित करके सबस्ट्रक्चरल कॉन्टेक्स्ट को मॉडल करती हैं।

2.1 वर्बल कैटेगरीज ( $W$ )

यह फ्रेमवर्क वर्बल कैटेगरीज का उपयोग करता है, जो $\mathcal{F}$ (परिमित ऑर्डिनल्स और फंक्शन्स की श्रेणी) के वाइड सबकैटेगरीज के रूप में परिभाषित हैं और "वर्बल सब्स्टीट्यूशन" ऑपरेशन के तहत बंद हैं। ये श्रेणियाँ स्ट्रक्चरल रूल्स के विशिष्ट संयोजनों के अनुरूप हैं:

$F_{id}$ : कोई स्ट्रक्चरल नियम नहीं।
$F_{bij}$ : केवल एक्सचेंज (सिमेट्रिक)।
$F_{surj}$ : एक्सचेंज और कॉन्ट्रैक्शन।
$F_{inj}$ : एक्सचेंज और वीकनिंग।
$F$ : सभी स्ट्रक्चरल नियम।

2.2 $W$ -ऑपेराडिक मोनाड्स ( $W$ -Operadic Monads)

शोध पत्र में $W$ -ऑपेराडिक मोनाड्स पेश किए गए हैं। एक मोनाड $S$ , $W$ -ऑपेराडिक है यदि वह समावेश $J: W \to \mathbf{Set}$ के साथ लेफ्ट कान एक्सटेंशन (left Kan extension) के माध्यम से प्रेरित एक $W$ -ऑपेराड द्वारा प्रेरित है।

सहज रूप से, एक $W$ -ऑपेराड एक ऐसे बीजगणितीय सिद्धांत (algebraic theory) को एनकोड करता है जहाँ टर्म्स केवल $W$ में अनुमत स्ट्रक्चरल रूल्स के अधीन होते हैं।
उदाहरणों में शामिल हैं:
- $F_{id}$ -ऑपेराडिक मोनाड्स नॉन-सिमेट्रिक ऑपेराड्स (जैसे लिस्ट मोनाड) के अनुरूप हैं।
- $F_{bij}$ -ऑपेराडिक मोनाड्स सिमेट्रिक ऑपेराड्स (जैसे मल्टीसेट मोनाड्स) के अनुरूप हैं।
- $F_{surj}$ -ऑपेराडिक मोनाड्स रेगुलर ऑपेराड्स (जैसे प्रोबेबिलिटी डिस्ट्रीब्यूशन मोनाड) के अनुरूप हैं।

2.3 $W$ -कम्यूटेटिव मोनाड्स ( $W$ -Commutative Monads)

एक डिस्ट्रीब्यूटिव लॉ का निर्माण करने के लिए, लक्ष्य मोनाड $T$ को $W$ के सापेक्ष एक स्थिति को संतुष्ट करना चाहिए। लेखक $T$ के यूनिक स्ट्रेंथ्स (unique strengths) से प्राप्त लैक्स मोनॉइडल स्ट्रक्चर का उपयोग करके $W$ -कम्यूटेटिव मोनाड्स को परिभाषित करते हैं।

एक मोनाड $T$ , $W$ -कम्यूटेटिव है यदि इसकी लैक्स मोनॉइडल संरचना $\psi$ , $W$ के मॉर्फिज्म के साथ संगत है।
यह ज्ञात गुणों को एकीकृत करता है:
- $F_{bij}$ -कम्यूटेटिव $\iff$ साधारण कम्यूटेटिविटी।
- $F_{inj}$ -कम्यूटेटिव $\iff$ कम्यूटेटिव और एफ़ाइन (Affine)।
- $F_{surj}$ -कम्यूटेटिव $\iff$ कम्यूटेटिव और रेलिवेंट (Relevant)।

2.4 निर्माण रणनीति (The Construction Strategy)

मुख्य रणनीति एक ऐसी वर्बल कैटेगरी $W$ खोजने में निहित है कि:

$S$ , $W$ -ऑपेराडिक हो ( $W$ में नियमों का उपयोग करके परिभाषित)।
$T$ , $W$ -कम्यूटेटिव हो ( $W$ में नियमों के तहत इनवेरिएंट)।

यदि $S$ के ऑपेराडिसिटी के "अपर सेट" (upper set) और $T$ की कम्यूटेटिविटी के "लोअर सेट" (lower set) का प्रतिच्छेदन (intersection) गैर-रिक्त है, तो एक कैनोनिकल डिस्ट्रीब्यूटिव लॉ बनाया जा सकता है। यदि प्रतिच्छेदन खाली है, तो लेखक $S$ को संशोधित करने के लिए $W$ -ऑपेराडिक रिफाइनमेंट का प्रस्ताव करते हैं।

3. प्रमुख योगदान (Key Contributions)

3.1 कैनोनिकल डिस्ट्रीब्यूटिव लॉ निर्माण (Theorem 42)

शोध पत्र निम्नलिखित के लिए एक सामान्य डिस्ट्रीब्यूटिव लॉ $\delta: ST \to TS$ का निर्माण प्रस्तुत करता है:

$S$ : एक $W$ -ऑपेराडिक मोनाड।
$T$ : एक $W$ -कम्यूटेटिव मोनाड।

निर्माण श्रेणीगत और कैनोनिकल है, जिसे $S$ को परिभाषित करने के लिए उपयोग किए गए लेफ्ट कान एक्सटेंशन के को-एंड (coend) विवरण के माध्यम से परिभाषित किया गया है।

संगतता (Compatibility): $\delta$ , $S$ के यूनिट और मल्टीप्लिकेशन के साथ बिना शर्त संगत है।
मल्टीप्लिकेशन संगतता: $\delta$ $δ$ , $T$ $T$ के मल्टीप्लिकेशन ( $\mu_T$ $μ_{T}$ ) के साथ संगत है यदि:
1. $T$ कम्यूटेटिव है (साधारण अर्थों में), या
2. $S$ अरिटी $\le 1$ के ऑपरेशन्स द्वारा जनरेट किया गया है (जैसे, $W = F_{id}$ )।

3.2 $W$ -ऑपेराडिक रिफाइनमेंट (Section 6)

जब एक मोनाड $S$ किसी आवश्यक $W$ के लिए $W$ -ऑपेराडिक होने में विफल रहता है, तो लेखक $W$ -ऑपेराडिक रिफाइनमेंट, जिसे $Rf_W(S)$ द्वारा दर्शाया जाता है, पेश करते हैं।

परिभाषा: $Rf_W(S) = \text{Mnd}(W\text{-Opd}(S))$ , जहाँ $W\text{-Opd}(S)$ , $S$ को $W$ तक प्रतिबंधित करके प्रेरित $W$ -ऑपेराड है।
गुण: यह एक यूनिवर्सल कंस्ट्रक्शन है (मोनाड्स की श्रेणी पर एक कोमोनाड) जो $S$ को $W$ के स्ट्रक्चरल रूल्स का उल्लंघन करने वाले समीकरणिक एक्सिओम्स को हटाकर $W$ -ऑपेराडिक बनने के लिए मजबूर करता है।
महत्व: यह उस "रिफाइनमेंट" दृष्टिकोण के लिए एक औपचारिक, प्रेजेंटेशन-स्वतंत्र तंत्र प्रदान करता है जो पहले एड-हॉक (ad-hoc) उपयोग किया जाता था।

3.3 ज्ञात परिणामों का एकीकरण

यह ढांचा विभिन्न विशिष्ट परिणामों को एक एकल ऑपेराडिक सिद्धांत के तहत एकीकृत करता है। यह स्पष्ट करता है कि क्यों कुछ प्रभावों (जैसे प्रोबेबिलिटी और नॉन-डिटरमिनिज्म) के संयोजन विफल होते हैं और उन्हें स्रोत मोनाड को रिफाइन करके कैसे ठीक किया जा सकता है।

4. परिणाम और अनुप्रयोग (Results and Applications)

4.1 इंडेक्स्ड वैल्यूएशन मोनाड का समाधान

यह शोध पत्र इंडेक्स्ड वैल्यूएशन मोनाड $IV$ का पुनरावलोकन करता है, जिसे प्रोबेबिलिटी और नॉन-डिटरमिनिज्म के संयोजन को मॉडल करने के लिए वारक्का और विंस्केल [68] द्वारा पेश किया गया था।

समस्या: मानक वैल्यूएशन मोनाड $V$ और नॉन-एम्प्टी फाइनाइट पॉवरसेट मोनाड $P^+_{fin}$ डिस्ट्रीब्यूटिव लॉ को स्वीकार नहीं करते हैं।
परिणाम: लेखक सिद्ध करते हैं कि $IV$, $V$ के $F_{inj}$ -ऑपेराडिक रिफाइनमेंट ( $Rf_{F_{inj}}(V)$ ) के आइसोमॉर्फिक है।
निहितार्थ: [68] में निर्मित डिस्ट्रीब्यूटिव लॉ $IV P^+_{fin} \to P^+_{fin} IV$ वही कैनोनिकल डिस्ट्रीब्यूटिव लॉ है जो थ्योरम 42 द्वारा प्रदान किया गया है जब $S = Rf_{F_{inj}}(V)$ और $T = P^+_{fin}$ हो।

4.2 नए डिस्ट्रीब्यूटिव लॉ

यह फ्रेमवर्क $W$ -ऑपेराडिसिटी को लागू करके नए डिस्ट्रीब्यूटिव लॉ उत्पन्न करता है:

उदाहरण 50: इंडेक्स्ड वैल्यूएशन मोनाड $IV $और प्रोबेबिलिटी डिस्ट्रीब्यूशन मोनाड$ D $के बीच एक डिस्ट्रीब्यूटिव लॉ ($ IV D \to DIV$)। यह [67] में MDP सेमेंटिक्स के लिए उपयोग किए गए मॉर्फिज्म $\lambda: DD \to DD$ के एक परिवार में श्रेणीगत रूप से खराब व्यवहार को हल करता है।
उदाहरण 66: रिफाइंड फाइनाइट पॉवरसेट मोनाड और एक राइटर (writer) मोनाड के बीच एक डिस्ट्रीब्यूटिव लॉ, जो उन प्रक्रियाओं को मॉडल करता है जहाँ साइड इफेक्ट्स को तब भी संचित किया जाता है जब आउटपुट का उपयोग नहीं किया जाता है।

4.3 "नो-गो" डिटेक्शन

यह ढांचा डिस्ट्रीब्यूटिव लॉ के संभावित गैर-अस्तित्व का पता लगाने के लिए एक व्यवस्थित तरीका प्रदान करता है। यदि सभी प्रासंगिक $W$ के लिए $S$ की ऑपेराडिसिटी और $T$ की कम्यूटेटिविटी का प्रतिच्छेदन खाली है, तो कैनोनिकल निर्माण विफल हो जाता है। हालांकि यह "नो-गो" प्रमेय (गैर-कैनोनिकल लॉ मौजूद हो सकते हैं) को सिद्ध नहीं करता है, फिर भी यह एक मजबूत "रेड फ्लैग" (जैसे $(D, P_{fin})$ के जोड़े के लिए) के रूप में कार्य करता है।

5. महत्व और दावे (Significance and Claims)

शोध पत्र का दावा है कि यह स्ट्रक्चरल रूल्स और डिस्ट्रीब्यूटिव लॉ के बीच परस्पर क्रिया के लिए एक एकीकृत श्रेणीगत चित्र प्रदान करता है।

एकरूपता (Uniformity): यह विशिष्ट उदाहरणों से आगे बढ़कर वर्बल कैटेगरीज द्वारा पैरामीटराइज्ड एक सिद्धांत की ओर बढ़ता है, जिससे एक्सचेंज, वीकनिंग और कॉन्ट्रैक्शन की भूमिका स्पष्ट और एकसमान हो जाती है।
प्रेजेंटेशन स्वतंत्रता (Presentation Independence): विशिष्ट समीकरणिक प्रस्तुतियों पर निर्भर रिफाइनमेंट दृष्टिकोणों के विपरीत, $W$ -ऑपेराडिक रिफाइनमेंट एक यूनिवर्सल कंस्ट्रक्शन है जो मोनाड की प्रस्तुति से स्वतंत्र है।
ऑपेराडिक आधार (Operadic Foundation): यह स्थापित करता है कि डिस्ट्रीब्यूटिव लॉ का अस्तित्व मौलिक रूप से उसी स्ट्रक्चरल कॉन्टेक्स्ट के सापेक्ष स्रोत मोनाड की ऑपेराडिक प्रकृति और लक्ष्य मोनाड की कम्यूटेटिविटी गुणों से जुड़ा हुआ है।

लेखक नोट करते हैं कि हालांकि सिद्धांत $\mathbf{Set}$ पर मोनाड्स के लिए विकसित किया गया है, अन्य बेस कैटेगरीज तक विस्तार और "मोडिफाई $T$ " दृष्टिकोणों को शामिल करना स्वाभाविक भविष्य की दिशाएं हैं। यह सिद्धांत प्रोग्राम सेमेंटिक्स और मॉडल चेकिंग में प्रभावों के संयोजन को समझने की दिशा में एक मौलिक कदम के रूप में प्रस्तुत किया गया है।