There is a question on MathOverflow on what are the current
online, evolving, collaborative "foundational text" projects for research mathematicians
I would argue that MathComp fits into this category, or what do people here think?
(yes, this is a nudge for someone with actual math credentials to answer the question and point this out.)
I think HoTT classifies, but the aims of mathcomp seem different. However, @Assia Mahboubi @Enrico Tassi and @Cyril Cohen may disagree,
given that the answers so far are along the lines of "two mathematicians wrote a book about 2-categories and put it on arXiv", the bar is seemingly not high
Bas Spitters said:
I think HoTT classifies, but the aims of mathcomp seem different. However, Assia Mahboubi Enrico Tassi and Cyril Cohen may disagree,
I will speak for my self, but I do see mathcomp as such a thing.
Last updated: Dec 05 2023 at 05:01 UTC