Skip to main content
1 of 6

Online, evolving, collaborative foundational text projects

There are two online, evolving, collaborative "foundational text" projects for research mathematicians that I am aware of:

(1) The Stacks Project for algebraic geometry

(2) Kerodon for categorical homotopy theory

I find their intentions and execution utterly admirable, valuable and suited to our times - sort of Bourbaki for the internet age. I'd like to know if there are others of the same nature that are ongoing or in the offing.

(Please note that I am not looking for textbooks or monographs available online which is why I have highlighted the adjectives in the first line.)