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

Question

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

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

Answer 1

这些是来自category theory的字词。至于资源，Ed自己有some suggestions。就个人而言，我接受了Lawvere和Awodey Conceptual Mathematics提出的Category Theory的建议。