Stream: math-comp users

Topic: MathComp as an "evolving foundational text"


view this post on Zulip 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?

view this post on Zulip 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.)

view this post on Zulip 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,

view this post on Zulip 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

view this post on Zulip 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: Jan 29 2023 at 19:02 UTC