category-theory
-
Prolog 中的术语 "Functor" 与范畴论中的术语有任何关系吗？
-
从根本上说，为什么遍历是在应用程序上定义的？
-
作为自由 monad 的 identity monad
-
monad 连接的数学理论或定理是什么？
-
如何在没有可变性的情况下在 Scala 中实现记忆？
-
GADT 的索引初始代数
-
list monad 不是一个免费的 monad，而是……
-
态射、乘积、余积运算符优先级和结合性
-
codatatypes真的是终端代数吗？
-
Haskell Monad 法则如何从 Monoid 法则推导出来？
-
Haskell 的 `Const` 函子是否类似于范畴论中的常数函子？
-
每个类型构造函数（`Type -> Type`）都是某种函子吗
-
递归方案允许递归调用之间的依赖关系（有序的变形？）
-
范畴论基础
-
从程序员的范畴论中理解双函子 - Ch。 8个
-
我们如何在 Haskell 中构建明确的类别？
-
类别中初始对象和终端对象之间的区别
-
如果 Either 可以是 Left 或 Right 而不是两者，那么为什么它对应于 OR 而不是 Curry-Howard 对应关系中的 XOR？
-
什么类型对应于类型论中的 a xor b？
-
等价关系对于组，就像偏序关系对于...？