1 result found Sort:

jwiegley
category-theory jwiegley
66
735
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,527 commits to master branch, last one 2 months ago