Distributive law between monads
زمرہ نظریہ میں، ریاضی کی ایک تجریدی شاخ، موناڈز کے درمیان تقسیم کے قوانین تجریدی طور پر اظہار کرنے کا ایک طریقہ ہے کہ دو الجبرائی ڈھانچے ایک دوسرے پر تقسیم کرتے ہیں۔ فرض کریں کہ اور زمرہ سی پر دو موناڈ ہیں۔ عام طور پر، جامع فنکٹر ایس ٹی پر کوئی قدرتی موناڈ ڈھانچہ نہیں ہے۔ تاہم، فنکٹر ایس ٹی پر ایک قدرتی موناڈ ڈھانچہ موجود ہے اگر موناڈ ٹی پر موناڈ ایس کا تقسیم قانون موجود ہو۔ رسمی طور پر، موناڈ ٹی پر موناڈ ایس کا تقسیم قانون ایک قدرتی تبدیلی ہے جس سے خاکے منتقل ہوتے ہیں۔ یہ قانون ایک جامع موناڈ ایس ٹی کو ضرب کے طور پر شامل کرتا ہے:، بطور اکائی:۔ تقسیم کے قانون کے حوالہ جات ایڈجوائنٹ فنکٹرز بھی دیکھیں