|
|
|
|
|
|
by AnimalMuppet
1734 days ago
|
|
|
> HoTT makes homotopy theory relevant to the foundations of mathematics. OK. > So every mathematician encounters this stuff in some way. I doubt that. First, not every mathematician cares all that much about foundations. If you're using differential equations in mathematical biology, how much do you actually care about foundations? And second, even if you do care about foundations, HoTT isn't the only possible foundation, nor is it the most common one. You could care about foundations and base those foundations on ZFC without giving a rip about HoTT. So... I don't buy it. (Unless by "encounters in some way" you mean "hears it in hallway conversations" or "skims journal articles about it now and then".) |
|
|