Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition
Last synced: 31 Jul 2024
