1 result found Sort:

jwiegley
category-theory jwiegley
71
761
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,548 commits to master branch, last one 24 days ago