解释 Edward Kmett 镜头包中使用的词汇的资源
resource that explains vocabulary used in Edward Kmett's lens package
我正在尝试阅读 Edward Kmett's Lens 包中的文档。我不熟悉很多使用的术语（profunctor、同构、单态、逆变、双函子等...）
学习本图书馆中使用的某些词汇的好资源是什么？
这些术语来自 category theory. As for resources, Ed himself has some suggestions. Personally, I second his recommendations of Conceptual Mathematics by Lawvere and Awodey's Category Theory。
我正在尝试阅读 Edward Kmett's Lens 包中的文档。我不熟悉很多使用的术语（profunctor、同构、单态、逆变、双函子等...）
学习本图书馆中使用的某些词汇的好资源是什么？
这些术语来自 category theory. As for resources, Ed himself has some suggestions. Personally, I second his recommendations of Conceptual Mathematics by Lawvere and Awodey's Category Theory。