Distributive law between monads
श्रेणी सिद्धांत में, गणित की एक अमूर्त शाखा, मोनाड के बीच वितरण नियम अमूर्त रूप से व्यक्त करने का एक तरीका है कि दो बीजगणितीय संरचनाएं एक को दूसरे पर वितरित करती हैं। मान लीजिए कि और एक श्रेणी सी पर दो मोनाड हैं। सामान्य रूप से, समग्र फंक्टर एसटी पर कोई प्राकृतिक मोनाड संरचना नहीं है। हालांकि, फंक्टर एसटी पर एक प्राकृतिक मोनाड संरचना है यदि मोनाड टी पर मोनाड एस का एक वितरण नियम है। औपचारिक रूप से, मोनाड टी पर मोनाड एस का एक वितरण नियम एक प्राकृतिक परिवर्तन है जैसे कि आरेख आवागमन करते हैं। यह नियम एक समग्र मोनाड एसटी को गुणा के रूप में प्रेरित करता हैः, इकाई के रूप मेंः। वितरण कानून संदर्भ एडजॉईंट फ़ंक्टर्स भी देखें।