[PLT]和[数理逻辑、类型论、抽象代数及范畴论]的关系是什么？

如何理解 Free Monad？

应该如何理解Profunctor？

每一个 Haskell 中的「范畴论的」概念都可以去 co 吗？

该如何理解Monad？

如何理清 lens 这个库的各个组件，熟悉各种高级玩法？

如何理解笛卡尔闭范畴以及它与函数式编程的关系？

怎么理解“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已”?

怎样用简单的语言解释 monad？

type theory / category theory是做什么的？

在范畴论中有哪些范畴是等价的？

怎样学范畴论？