解释爱德华·凯梅特镜头包中使用的词汇的资源

Question

我正在尝试阅读Edward Kmett的Lens包中的文档。我不熟悉很多术语(profunctor, isomorphism, monoomorphic，逆变，双分子等)

学习本库中使用的一些词汇的好资源是什么?

Answer 1

这些都是范畴论中的术语。关于资源，Ed自己也有一些建议。就我个人而言，我赞同他推荐的Lawvere的概念数学和Awodey的范畴理论。