Distributive law between monads
શ્રેણી સિદ્ધાંતમાં, ગણિતની અમૂર્ત શાખા, મોનાડ્સ વચ્ચેના વિતરણ નિયમો એ અમૂર્ત રીતે વ્યક્ત કરવાનો એક માર્ગ છે કે બે બીજગણિત રચનાઓ એક બીજાની ઉપર એકનું વિતરણ કરે છે. ધારો કે તે અને શ્રેણી સી પર બે મોનાડ છે. સામાન્ય રીતે, સંયુક્ત ફંકટર એસટી પર કોઈ કુદરતી મોનાડ માળખું નથી. જો કે, જો મોનાડ ટી પર મોનાડ એસનો વિતરણ નિયમ હોય તો ફંક્ટર એસટી પર એક કુદરતી મોનાડ માળખું હોય છે. ઔપચારિક રીતે, મોનાડ ટી પર મોનાડ એસનો વિતરણ નિયમ એ એક કુદરતી પરિવર્તન છે જેમ કે આકૃતિઓ પરિવર્તિત થાય છે. આ નિયમ ગુણાકાર સાથે સંયુક્ત મોનાડ ST ને પ્રેરિત કરે છેઃ, એકમ તરીકેઃ. વિતરણ કાયદાના સંદર્ભો એડજોઈન્ટ ફંકટર પણ જુઓ