में इकाई बनाम monoid मैं हाल ही में monads और monoids बीच के अंतर पर एक अच्छा स्रोत खोजने के लिए कोशिश की है।स्काला
कोई इस पर एक अच्छा संसाधन लिए एक लिंक प्रदान या शायद समानता/मतभेदों पर विस्तृत करने के एक के समय लेने के लिए कर सकते हैं?
Monads are monoids in the category of endofunctors. इसलिए, एक इकाई monoid का केवल एक उदाहरण है, जो एक अधिक सामान्य अवधारणा है।
और, हालांकि यह तकनीकी रूप से सच हो सकता है, सबसे सरल जवाब यह है कि मोनैड और मोनोइड्स वास्तव में एक दूसरे की तरह कुछ भी नहीं हैं, और आपको उनके बीच अंतर जानने की कोशिश नहीं करनी चाहिए, लेकिन उन्हें जानें। इंटरनेट पर इसके बारे में बहुत सारी सामग्री है, आसानी से googled।
मुझे आश्चर्य है (और डराता है) प्रोग्रामिंग भाषाओं पर लागू होने पर गणितीय रूप से अपेक्षाकृत संबंधित विचार सभी व्यावहारिक शर्तों में मूल रूप से अलग कैसे हो सकते हैं। –
समुदाय विकी द्वारा किसी अन्य प्रश्न में यह उत्तर सबसे अच्छा और सबसे संक्षिप्त http://stackoverflow.com/a/7829607/541202 – Traveler
अधिक सटीक है "किसी भी श्रेणी सी के लिए, श्रेणी [सी, सी] इसके एंडोफंक्टरों की श्रेणी संरचना द्वारा प्रेरित एक monoidal संरचना है। [सी, सी] में एक monoid वस्तु सी पर एक monad है " - https://en.wikipedia.org/wiki/Monoid_%28category_theory%29 से। श्रेणी सिद्धांत में मोनैड की परिभाषा के लिए https://en.wikipedia.org/wiki/Monad_%28category_theory%29 देखें। –
वहाँ monads और monoids के बारे में इतनी सारी सामग्री मैं लगता है कि हर कोई अपने स्वयं के "अच्छा स्रोत" है। मेरे Triade है: यह [तो सवाल] (http://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem) , [मोनाड्स नॉट मेटाफर्स] (http://www.codecommit.com/blog/ruby/monads-are-not-metaphors) डैनियल स्पिवाक द्वारा और [मोनाड्स डोमिनोज़ हैं] (http://apocalisp.wordpress.com/ 2011/07/01/monads-are-dominoes /) रूनर ओली – blouerat
श्रेणी सिद्धांत में "किसी भी श्रेणी सी के लिए, इसके एंडोफंक्टरों की श्रेणी [सी, सी] में संरचना द्वारा प्रेरित एक monoidal संरचना है। एक monoid वस्तु [ सी, सी] सी पर एक मोनड है " - https://en.wikipedia.org/wiki/Monoid_%28category_theory%29 से। श्रेणी सिद्धांत में मोनैड की परिभाषा के लिए https://en.wikipedia.org/wiki/Monad_%28category_theory%29 देखें। –