Timeline for answer to In what respect are univalent foundations "better" than set theory? by Harry Gindi
Current License: CC BY-SA 3.0
Post Revisions
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 22, 2024 at 7:26 | comment | added | Peter Gerdes | Thanks, that's interesting. However, I don't think anyone doubts it's interesting mathematics and like most interesting math it can help motivate/understand proofs in other areas but I think that's different than answering the question of whether it's offering something valuable as an alternate foundations or if it's just another one of the many interesting mathematical areas of study. | |
| Feb 21, 2024 at 22:25 | comment | added | Alec Rhea | Just as an aside for any future readers, ~7 years late to the party, by a theorem of Kučera we have that all categories can be obtained as a quotient of a concrete category by an appropriate congruence relation, including Freydʼs category of weak homotopy types; see Section 6B of Theory of Mathematical Structures by Adámek. | |
| Nov 25, 2017 at 3:52 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Nov 24, 2017 at 20:54 | history | answered | Harry Gindi | CC BY-SA 3.0 |