jwiegley/category-theory

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

Rocq Prover819 stars85 forksBSD-3-Clause

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

Momentum

jwiegley/category-theory has 819 GitHub stars.

It currently ranks #9937 daily, #11066 weekly, #8046 monthly by momentum on Trending Repos; its best-ever rank is #7854.

Trending Repos first recorded it on Jun 18, 2026.

Rankings

PeriodRankScore

Daily

#99370.0

Weekly

#110660.0

Monthly

#80460.1

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #7854

Format

Markdown

[![jwiegley/category-theory badge](https://trending-repos.com/badge/jwiegley/category-theory.svg?v=3)](https://trending-repos.com/repositories/jwiegley/category-theory?utm_source=github&utm_medium=badge)