OAI/CategoryTheory/
12359 declarations, 0 contain sorry, 0 declared as axioms; 312 files
Folders
- Globular/ 58 files, 1027 declarations
- Limits/ 1 files, 1 declarations
- ThickClosure/ 28 files, 349 declarations
- Thomason/ 225 files, 10982 declarations