A formalization of category theory in the Coq proof assistant.
This is the version of the category theory development corresponding to the FSCD 2016 paper:
Category Theory in Coq 8.5 By Amin Timany and Bart Jacobs (to appear) in FSCD 2016, 22-26 of June 2016, Porto, Portugal