haskell - 解释 Edward Kmett 镜头包中使用的词汇的资源

Question

我正在尝试阅读 Edward Kmett的Lens包中的文档。我不熟悉很多使用的术语（profunctor、isomorphism、monomorphic、contravariant、bifunctor 等......）

什么是一个很好的资源来学习这个图书馆中使用的一些词汇。

Answer 1

这些是范畴论中的术语。至于资源，艾德本人也有一些建议。就个人而言，我赞同他对Lawvere 和 Awodey 的范畴论提出的概念数学的建议。