क्या सभी मोनैड मोनोइड्स हैं?
क्या सभी मोनैड मोनोइड्स हैं?

वीडियो: क्या सभी मोनैड मोनोइड्स हैं?

वीडियो: क्या सभी मोनैड मोनोइड्स हैं?
वीडियो: एक मोनड एंडोफंक्टर की श्रेणी में एक मोनॉइड है। समस्या क्या है? #सोमी2 2024, मई
Anonim

एक अच्छी तरह से कहा गया, शायद अब तक का सबसे संक्षिप्त उत्तर है: ए इकाई बस एक है मोनोइड एंडोफंक्टर की श्रेणी में। संतुष्ट मोनोइड अभिगृहीत (i. और ii.), a इकाई एक के रूप में देखा जा सकता है मोनोइड जो दो प्राकृतिक परिवर्तनों के साथ एक एंडोफंक्टर है।

यहाँ, एक मोनाड एंडोफंक्टर क्या है?

श्रेणी सिद्धांत में, गणित की एक शाखा, a इकाई (भी ट्रिपल, ट्रायड, मानक निर्माण और मौलिक निर्माण) एक है एंडोफंक्टर (एक फ़ैक्टर अपने आप को एक श्रेणी का मानचित्रण करता है), साथ में दो प्राकृतिक परिवर्तनों के साथ कुछ सुसंगतता शर्तों को पूरा करने की आवश्यकता होती है।

इसके बाद, सवाल यह है कि बिफंक्टर क्या है? ए द्विभाजक (बाइनरी फ़नकार के रूप में भी जाना जाता है) एक फ़नकार है जिसका डोमेन एक उत्पाद श्रेणी है। इसे दो तर्कों में एक फ़नकार के रूप में देखा जा सकता है। होम फ़नकार एक प्राकृतिक उदाहरण है; यह एक तर्क में विरोधाभासी है, दूसरे में सहसंयोजक। एक मल्टीफ़ंक्टर n चर के लिए फ़नकार अवधारणा का एक सामान्यीकरण है।

फिर, प्रोग्रामिंग में मोनाड क्या है?

विकिपीडिया से: कार्यात्मक में प्रोग्रामिंग , ए इकाई एक प्रकार का सार डेटा प्रकार है जिसका उपयोग गणनाओं (डोमेन मॉडल में डेटा के बजाय) का प्रतिनिधित्व करने के लिए किया जाता है। मोनाड्स अनुमति दें प्रोग्रामर एक पाइपलाइन बनाने के लिए एक साथ श्रृंखला क्रियाओं के लिए, जिसमें प्रत्येक क्रिया को अतिरिक्त प्रसंस्करण नियमों द्वारा प्रदान किया गया है इकाई.

मोनाड हास्केल क्या है?

में हास्केल ए इकाई एक प्रकार के निर्माता के रूप में दर्शाया गया है (इसे एम कहते हैं), एक फ़ंक्शन जो उस प्रकार के मूल्यों का निर्माण करता है (ए -> एमए), और एक फ़ंक्शन जो उस प्रकार के मूल्यों को कंप्यूटेशंस के साथ जोड़ता है जो उस प्रकार के मूल्यों को उत्पन्न करने के लिए एक नई गणना उत्पन्न करता है उस प्रकार के मान (ma -> (a -> mb) -> mb)।

सिफारिश की: