jwiegley/category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

↗ Open on GitHub

Stars

808

Forks

83

Language

Rocq Prover

License

BSD-3-Clause

Last push

2 days ago

Rocq Prover coq category-theory construction monad categories category cartesian cartesian-closed-category comonads functor monoid profunctor profunctor-composition

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.