单子(Moand)是自函子的Monoidal范畴上的一个幺半群，该Monoidal范畴的张量积（tensor product，⊗:M×...
范畴为高阶类型。 函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的约束。 自函子是一类比较特殊的函子,它是一种将范畴映射到自身的函子 (A functor that maps a category to itself)。 范畴论是抽象地处理数学...
结合gtm5里面这几页的文字看你就明白确实monad就是自函子范畴上的monoid了 为什么你觉得对应不上或者说...
范畴论-⼀个单⼦（Monad）说⽩了不过就是⾃函⼦范畴上的⼀ 个⼳半群⽽已 范畴即为结构：包含要素和转化。范畴为⾼阶类型。函⼦为⾼阶函数。函⼦的输⼊为态射。函⼦为建⽴在态射基础上的⾼阶函数。函⼦⽤于保持范畴间映射的结构。态射⽤于范畴内部的转换。群为运算规则的约束。
monad 就是自函子范畴上的一个"幺半群" (?) 我们来尝试理解一下这句话在说什么, 首先这里的"幺半群"是在通常意义上的幺半群的一个推广, 也就是说知道什么是幺半群的同学可以先忘掉原有概念 一个范畴categoryCC是指下述资料: 一些对象, 构成集合Ob(C)Ob(C); ...
Monad 是一个自函子范畴上的幺半群 鉴于本人数学基础实在太差, 一直没能理解. 其实撇开这些数学概念来说, Monad 本身是一个非常简 单的东西, 像是 Rust 中的 Option 一样, 一旦理解, 就发现再也回不去之前没有他的世界了. Monad 并不仅局限于函数式编程语言, 也可以用其他的语言来表示. ...
Monad 是一个自函子范畴上的幺半群 鉴于本人数学基础实在太差, 一直没能理解. 其实撇开这些数学概念来说, Monad 本身是一个非常简 单的东西, 像是 Rust 中的 Option 一样, 一旦理解, 就发现再也回不去之前没有他的世界了. Monad 并不仅局限于函数式编程语言, 也可以用其他的语言来表示. ...
通常来说,这个东西应该叫 Kleisli triple,为了区分我们之后也用这个名字。更常见的对 monad 的定义是“自函子范畴上的幺半群”,所以后面的内容就是证明这两个定义是一回事。 Remark.看名字就知道这个东西跟 Kleisli category 有关系,看定义这个关系就更显然了。这也是我第一次知道 Kleisli category 可以这么看,以前...
我们分析一下Philip这句话:一个单子(Monad)说白了不过就是自函子范畴上的一个幺半群而已。这句话涉及到了几个概念:单子(Monad),自函子(Endo-Functor),幺半群(Monoid),范畴(category)。首先,我们先来把这些概念搞清楚。 范畴 范畴的定义 范畴由三部分组成: ...
Monad 是一个自函子范畴上的幺半群 鉴于本人数学基础实在太差, 一直没能理解. 其实撇开这些数学概念来说, Monad 本身是一个非常简 单的东西, 像是 Rust 中的 Option 一样, 一旦理解, 就发现再也回不去之前没有他的世界了. Monad 并不仅局限于函数式编程语言, 也可以用其他的语言来表示. ...