事情不一样了——在幺半群范畴里单位元是个对象，但在幺半群里单位元是个态射，一个幺半群被定义为...
函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的约束。 自函子是一类比较特殊的函子,它是一种将范畴映射到自身的函子 (A functor that maps a category to itself)。 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论,...
单子本身不是幺半群，但是它对应一个幺半群，即从恒等函子Id到这个单子M（自函子）的所有自然变换的...
简介:起初本瓜看到【单子】说白了不过就是【自函子范畴】上的一个【幺半群】而已?这句话的时候,还以为自己在看量子力学的量子纠缠相关内容,单子、函子、粒子、玻色子、费米子、绝绝子。。。 起初本瓜看到【单子】说白了不过就是【自函子范畴】上的一个【幺半群】而已?这句话的时候,还以为自己在看量子力学...
不过是自函子范畴上的一个幺半群,一个无情的 Monad。不过是自函子范畴上的一个幺半群的微博主页、个人资料、相册。新浪微博,随时随地分享身边的新鲜事儿。
范畴论-⼀个单⼦（Monad）说⽩了不过就是⾃函⼦范畴上的⼀ 个⼳半群⽽已 范畴即为结构：包含要素和转化。范畴为⾼阶类型。函⼦为⾼阶函数。函⼦的输⼊为态射。函⼦为建⽴在态射基础上的⾼阶函数。函⼦⽤于保持范畴间映射的结构。态射⽤于范畴内部的转换。群为运算规则的约束。
封闭群就是函子组成的范畴，幺元就是return
不行
“自函子范畴上的幺半群”就是对Monad的“一句话解释”啊，而且这句话已经很明白了不用再解释了。
当有一天理解了他，你会觉得这句话真的md对极了。