<p>For people landing here in the future: the 'new' <a href="https://github.com/agda/agda-categories" rel="noreferrer">agda-categories</a> has some documentation in its readme about the choices, and also there is a <a href="https://arxiv.org/abs/2005.07059" rel="noreferrer">published paper</a> about it that goes into a lot more details regarding the design choices.</p>
Background on Agda Categories library?
<p>I'm trying to understand the Categories library, but I'm fairly new to Agda, so I'm looking for some sort of document explaining the choices that were made in the implementation of the library. There's a link to such a thing in the readme, but it's broken. </p>