A formalization of category theory in Coq for personal study - View it on GitHub