<div dir="ltr">Hi all,<div>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 <a href="http://mathoverflow.net/questions/152497/formalizations-of-category-theory-in-proof-assistants">http://mathoverflow.net/questions/152497/formalizations-of-category-theory-in-proof-assistants</a> ) but I wasn&#39;t sure which, if any, was The Chosen One by the community.</div>
<div><br></div><div>Thanks,</div><div>Clarissa</div></div>