[Agda] Another library question: categories

[Clarissa Littler]

Hi all,
Thanks for the pointers on my last question about domain theory libraries,
and I have a bit of a followup: is there a standard library people have
settled on for category theory? I found a few searching (particularly the
list here
http://mathoverflow.net/questions/152497/formalizations-of-category-theory-in-proof-assistants)
but I wasn't sure which, if any, was The Chosen One by the community.

Thanks,
Clarissa
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140514/f9959cd1/attachment.html