# JasonGross/HoTT-categories

> A category theory library built on top of Homotopy Type Theory, based primarily on https://bitbucket.org/JasonGross/catdb, with some inspiration from https://github.com/benediktahrens/Foundations/tree/typesystems

- **Canonical URL**: https://githubrepo.cloud/repo/JasonGross/HoTT-categories
- **GitHub Repository**: https://github.com/JasonGross/HoTT-categories
- **Maintainer / Creator**: https://github.com/JasonGross
- **Discovered On**: Oct 28, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*