1 result found Sort:

jwiegley
category-theory jwiegley
69
748
bsd-3-clause
20
An axiom-free formalization of category theory in Coq for personal study and practical work
coq monad monoid functor category comonads cartesian categories profunctor construction category-theory profunctor-composition cartesian-closed-category
Created 2014-07-04
1,539 commits to master branch, last one 11 days ago