Amintimany Categories Versions Save

A formalization of category theory in the Coq proof assistant.

FSCD16

8 years ago

DOI

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