4 ms·
I am somewhat familiar with the standard foundation of maths in set theory, and slightly less familiar with the program to ground maths in Category theory (alth
by eigenket 5y ago
I am somewhat familiar with the standard foundation of maths in set theory, and slightly less familiar with the program to ground maths in Category theory (although I do know a fair bit of category theory).
Maybe I am biased but I do not find the category theory foundations any less obtuse than the standard formulations. Like its pretty cool that you can do this stuff with category theory, but I think there is a reason the set theory was done first.
- reggieband 5y agoI didn't meant to imply that Category Theory addressed the obtuseness of Set Theory. Rather, I was alluding to work in Category Theory that helps to redefine our ideas of equality and equivalence. A discussion of that is available in Quanta Magazine [1]. 1. https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/ https://www.quantamagazine.org/with-category-theory-mathemat...