搜索结果
查询Tags标签： 范畴，共有 5条记录-
Hask 范畴上的函子
Hask 范畴上的函子 Functor 对应的是 Haskell 中的 typeclass (类型类) 例 class Functor (f :: * -> *) wherefmap :: (a -> b) -> f a -> f b这是 Haskell 中 Functor 的定义，Functor 映射态射的函数 fmap 没有定义。 用户自己给出 Functor instance 的 fm…
2022/6/11 23:52:11 人评论 次浏览 -
同调代数笔记6
极限与余极限 极限与余极限的概念是反向极限和正向极限概念的扩展。设\(\mathcal{I}\)是指标范畴，\(i \to A_i\)是\(\mathcal{I} \to \mathcal{C}\)的函子，\(A_i\)的极限\(L = \lim A_i\)是满足如下条件的对象：设\(i<j\)对任意\(\phi_{ij}: A_j \to A_i\)，都存在\(…
2021/9/19 6:05:12 人评论 次浏览 -
同调代数笔记6
极限与余极限 极限与余极限的概念是反向极限和正向极限概念的扩展。设\(\mathcal{I}\)是指标范畴，\(i \to A_i\)是\(\mathcal{I} \to \mathcal{C}\)的函子，\(A_i\)的极限\(L = \lim A_i\)是满足如下条件的对象：设\(i<j\)对任意\(\phi_{ij}: A_j \to A_i\)，都存在\(…
2021/9/19 6:05:12 人评论 次浏览 -
范畴论记录
“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？” 看了一点点书，终于能够理解这句话中的：Monad：这是个“函子” “自函子范畴”，勉强能够理解“自函子”和”范畴“ 幺半群：知道群，幺半群意思差不多？印象中就是群少了个零元…
2021/8/28 6:06:22 人评论 次浏览 -
范畴论记录
“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？” 看了一点点书，终于能够理解这句话中的：Monad：这是个“函子” “自函子范畴”，勉强能够理解“自函子”和”范畴“ 幺半群：知道群，幺半群意思差不多？印象中就是群少了个零元…
2021/8/28 6:06:22 人评论 次浏览
