范畴为高阶类型。 函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的约束。 自函子是一类比较特殊的函子,它是一种将范畴映射到自身的函子 (A functor that maps a category to itself)。 范畴论是抽象地处理数学...
结合gtm5里面这几页的文字看你就明白确实monad就是自函子范畴上的monoid了 为什么你觉得对应不上或者说...
单子本身不是幺半群，但是它对应一个幺半群，即从恒等函子Id到这个单子M（自函子）的所有自然变换的...
范畴论-⼀个单⼦（Monad）说⽩了不过就是⾃函⼦范畴上的⼀ 个⼳半群⽽已 范畴即为结构：包含要素和转化。范畴为⾼阶类型。函⼦为⾼阶函数。函⼦的输⼊为态射。函⼦为建⽴在态射基础上的⾼阶函数。函⼦⽤于保持范畴间映射的结构。态射⽤于范畴内部的转换。群为运算规则的约束。
封闭群就是函子组成的范畴，幺元就是return
当有一天理解了他，你会觉得这句话真的md对极了。
先别管需要满足的条件，看 Monad 由什么构成：一个自函子F:C→C.一个单位态射η:1C→F. 其中1C...
join）和从1到M上的一个morphismη（return），我们就完成了自函子范畴上monoid的定义，也就是monad。