I've released today the Clowder Project, which aims to essentially become a Stacks Project for category theory.
I plan to eventually make it into a comprehensive resource for category theory, in the same way that the Stacks Project is a comprehensive resource for algebraic geometry.
As of writing, it consists of 578 pages, with around 4000 more pages of material on category theory being slowly polished and converted into a form that works with Gerby. There are also 6000 more pages of material on other subjects which might eventually also make their way into it, as they either serve as either illustrating examples or stepping stones.
Here are some links:
- The website: https://clowderproject.com
- The GitHub project with the source files: link
- Everything currently released in PDF form: link
- The Discord server for the project, for discussions and updates: link