category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
746 stars
20 watching
69 forks
Language: Coq
last commit: 17 days ago
Linked from 2 awesome lists
cartesiancartesian-closed-categorycategoriescategorycategory-theorycomonadsconstructioncoqfunctormonadmonoidprofunctorprofunctor-composition