标签： 范畴论-一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已

范畴即为结构：包含要素和转化。 范畴为高阶类型。 函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的约束。 自函 … Continue reading 范畴论-一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已