A formalization of category theory in the Coq proof assistant.
library
coq
proof-assistant
category-theory
coq-formalization
categories
adjunctions
kan-extensions
topos
-
Updated
Oct 28, 2020 - Coq