Stream: math-comp users

Topic: MathComp as an "evolving foundational text"

Karl Palmskog (Aug 28 2020 at 23:57):

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?

Karl Palmskog (Aug 28 2020 at 23:59):

(yes, this is a nudge for someone with actual math credentials to answer the question and point this out.)

Bas Spitters (Aug 29 2020 at 08:25):

I think HoTT classifies, but the aims of mathcomp seem different. However, @Assia Mahboubi @Enrico Tassi and @Cyril Cohen may disagree,

Karl Palmskog (Aug 29 2020 at 12:26):

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

Cyril Cohen (Sep 02 2020 at 10:36):

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