Agda 類別庫的背景？

Question

我正在嘗試了解 Categories 庫，但我對 Agda 還很陌生，所以我正在尋找某種文檔來解釋在該庫的實現中所做的選擇。 在自述文件中有一個鏈接到這樣的東西，但它壞了。

Answer 1

對於將來登陸這里的人：“新” agda 類別在其自述文件中有一些關於選擇的文檔，並且還有一篇關於它的已發表論文，其中詳細介紹了有關設計選擇的更多細節。