मैं Applicative
श्रेणी सिद्धांत के संदर्भ में समझना चाहूंगा ।
के लिए प्रलेखन का Applicative
कहना है कि यह एक मजबूत लक्ष्मण monoidal functor है ।
पहला, विकिपीडिया पृष्ठ मोनोइडल फ़ंक्शनलर्स के बारे में कहता है कि एक मोनोइडल फ़ंक्टर या तो ढीला या मजबूत है । इसलिए मुझे ऐसा लगता है कि या तो कोई एक स्रोत गलत है, या वे अलग-अलग शब्दों का उपयोग करते हैं। क्या कोई इसकी व्याख्या कर सकता है?
दूसरा, मोनोएडल श्रेणी कौन से Applicative
हैं जो मोनोएडल फ़ंक्शनलर्स हैं? मुझे लगता है कि फंक्शनलर्स स्टैंडर्ड हास्केल श्रेणी (ऑब्जेक्ट्स = प्रकार, आकारिकी = फ़ंक्शन) पर एंडो-फंक्शनलर्स हैं, लेकिन मुझे नहीं पता कि इस श्रेणी पर मोनोएडल संरचना क्या है।
मदद के लिए शुक्रिया।
Functor
एक शक्ति (WRT उत्पाद) है, बस इसलिए कि वेfmap
भाषा के अंदर उपयोग करने से परिभाषित होते हैं ? इसके अलावा, मुझे कौन सी पहेलियां हैं जो आपके ब्लॉग पोस्ट और विकिपीडिया लेख दोनों की तुलना में और की आपकी परिभाषा उलटी है - क्या यह एक टाइपो है? मैं परिभाषित करने की कोशिश की का उपयोग कर के रूप में , जो स्पष्ट रूप की जरूरत है ।pure
i
pure' = \v -> fmap (\() -> v) (i ())
i :: (Applicative f) => () -> f ()