Haskell 解释Edward Kmett'中使用的词汇的资源；s透镜组件

我正在尝试阅读的软件包中的文档。我不熟悉使用的很多术语（profunctor、同构、单态、逆变、双Functor等）

---

在本库中使用这些词汇时，什么是学习这些词汇的好资源

这些是来自的术语。至于资源，埃德本人也有。就我个人而言，我赞同劳维尔和阿沃迪的建议。

如果你将这个问题改写为询问词汇的来源或意义，就不会被混淆为询问非现场资源。我一直喜欢巴托斯的系列，我发现他的课堂讲稿非常有用。这本（现在稍微更新）的教科书也可以在印刷版上找到练习解决方案。它们比概念数学更高级一些，但是可以很好地补充概念数学和范畴理论。Catsters的视频很棒！绝对同意！我一直在读程博士的最新著作《如何烘焙π》，尽管这本书主要是为非数学读者编写的，但它确实讲述了一些范畴理论的一般概念和术语（以及一些不错的烘焙食谱），这些都是以她有趣、热情的风格编写的。这可能是另一个潜在的资源，可以获得一些关于看待事物的分类方式和一些分类主题的想法，但在技术方面就少了一点。在我看来，它对（应用的和纯的）数学也有非常有效和明确的辩护。@davidyong她关于n-范畴的书也很棒。