Agda 类别库的背景？
Background on Agda Categories library?
我想了解 Categories 库，但我对 Agda 还很陌生，所以我正在寻找某种文档来解释在库的实现中所做的选择。自述文件中有一个 link 这样的东西，但它已经坏了。
对于将来登陆这里的人：'new' agda-categories has some documentation in its readme about the choices, and also there is a published paper 关于它的更多关于设计选择的细节。
我想了解 Categories 库，但我对 Agda 还很陌生，所以我正在寻找某种文档来解释在库的实现中所做的选择。自述文件中有一个 link 这样的东西，但它已经坏了。
对于将来登陆这里的人：'new' agda-categories has some documentation in its readme about the choices, and also there is a published paper 关于它的更多关于设计选择的细节。