Distributive law between monads
ವರ್ಗ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಗಣಿತಶಾಸ್ತ್ರದ ಒಂದು ಅಮೂರ್ತ ಶಾಖೆ, ಮೊನಾಡ್ಗಳ ನಡುವಿನ ವಿತರಣಾ ನಿಯಮಗಳು ಎರಡು ಬೀಜಗಣಿತದ ರಚನೆಗಳು ಒಂದನ್ನು ಇನ್ನೊಂದರ ಮೇಲೆ ವಿತರಿಸುತ್ತವೆ ಎಂದು ಅಮೂರ್ತವಾಗಿ ವ್ಯಕ್ತಪಡಿಸುವ ಒಂದು ಮಾರ್ಗವಾಗಿದೆ. ಸಿ ವರ್ಗದ ಎರಡು ಮೊನಾಡ್ಗಳು ಎಂದು ಭಾವಿಸೋಣ. ಸಾಮಾನ್ಯವಾಗಿ, ಸಂಯೋಜಿತ ಫಂಕ್ಟರ್ ಎಸ್. ಟಿ. ಯಲ್ಲಿ ಯಾವುದೇ ನೈಸರ್ಗಿಕ ಮೊನಾಡ್ ರಚನೆಯಿಲ್ಲ. ಆದಾಗ್ಯೂ, ಮೊನಾಡ್ ಟಿ ಮೇಲೆ ಮೊನಾಡ್ ಎಸ್ನ ವಿತರಣಾ ನಿಯಮವಿದ್ದರೆ ಫಂಕ್ಟರ್ ಎಸ್ಟಿ ಮೇಲೆ ನೈಸರ್ಗಿಕ ಮೊನಾಡ್ ರಚನೆಯಿದೆ. ಔಪಚಾರಿಕವಾಗಿ, ಮೊನಾಡ್ ಟಿ ಮೇಲೆ ಮೊನಾಡ್ ಎಸ್ನ ವಿತರಣಾ ನಿಯಮವು ರೇಖಾಚಿತ್ರಗಳು ಸಂಚರಿಸುವಂತಹ ನೈಸರ್ಗಿಕ ರೂಪಾಂತರವಾಗಿದೆ. ಈ ನಿಯಮವು ಸಂಯುಕ್ತ ಮೊನಾಡ್ ಎಸ್. ಟಿ. ಯನ್ನು ಗುಣಾಕಾರವಾಗಿಃ, ಘಟಕವಾಗಿಃ ಪ್ರಚೋದಿಸುತ್ತದೆ. ಡಿಸ್ಟ್ರಿಬ್ಯೂಟಿವ್ ಲಾ ರೆಫೆರೆನ್ಸಸ್ ಅಡ್ಜಾಯಿಂಟ್ ಫಂಕ್ಟರ್ಸ್ ಅನ್ನು ಸಹ ನೋಡಿ