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
https://github.com/jwiegley/category-theory
cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition
Last synced: about 1 month ago
JSON representation
An axiom-free formalization of category theory in Coq for personal study and practical work
- Host: GitHub
- URL: https://github.com/jwiegley/category-theory
- Owner: jwiegley
- License: bsd-3-clause
- Created: 2014-07-04T08:13:37.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2024-07-11T22:20:49.000Z (about 2 months ago)
- Last Synced: 2024-07-12T23:43:02.722Z (about 2 months ago)
- Topics: cartesian, cartesian-closed-category, categories, category, category-theory, comonads, construction, coq, functor, monad, monoid, profunctor, profunctor-composition
- Language: Coq
- Homepage:
- Size: 3.21 MB
- Stars: 740
- Watchers: 19
- Forks: 67
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- License: LICENSE