samtoth/agda-synthetic-categories
An agda library for developing synthetic category theory - and other synthetic mathematics
GitHub repository with 25 stars and 3 forks.
Language: Agda
Latest metric snapshot
2026-06-05: 25 stars and 3 forks.
An agda library for developing synthetic category theory - and other synthetic mathematics
GitHub repository with 25 stars and 3 forks.
Language: Agda
2026-06-05: 25 stars and 3 forks.