Edward Kmett的Lens包中使用的词汇解释资源

Question

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

有什么好资源可以学习一些这个库中使用的词汇？

- John F. Miller

---

如果你用不同的措辞来提问，询问某个词汇的起源或含义，这样就不会被误解为要求提供外部资源了。请注意，翻译后不包括本身的解释或额外的内容。 - Cirdec

我一直很喜欢Bartosz的系列文章，http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/。 - Justin L.

我发现麻省理工学院公开课中的“科学类别论”讲义非常有用。该教材（稍有更新）也可在印刷版中获取，包含习题解答。 - Sam van Herwaarden

Answer 1

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

- Rein Henrichs

---

它们相对于《概念数学》更为高级，但是Catsters视频可以很好地补充《概念数学》和《范畴论》。 - David Young

Catsters的视频非常棒！ - Rein Henrichs

绝对同意！我一直在阅读程博士的最新著作（《如何烘焙π》），尽管它是为主要非数学受众编写的，但确实谈到了范畴论的一些通用思想和术语（以及一些不错的烘焙食谱），并以她富有娱乐性和热情洋溢的风格书写。这可能是另一个潜在的资源，可以从中获取一些关于范畴论的看法和一些范畴论主题的想法，但它在技术方面稍微少一些。此外，它还有我认为非常有效和清晰的（应用和纯）数学辩护。 - David Young

@DavidYoung 她关于n-范畴的书也很棒。 - Rein Henrichs