Agda 类别库的背景？

Question

我正在尝试了解类别库，但我对 Agda 相当陌生，因此我正在寻找某种文档来解释在库的实现中所做的选择。自述文件中有一个指向此类内容的链接，但已损坏。

Answer 1

对于将来登陆这里的人们：“新” agda-categories在其自述文件中有一些关于选择的文档，并且还有一篇关于它的已发表论文，其中详细介绍了有关设计选择的更多细节。