alright just for fun: AMA but only about math, will attempt to speed-explain stuff with as few symbols and equations as possible and see what happens
(esp happy to field questions about stuff that seems basic to you and that you feel like you should've gotten a long time ago!)
Conversation
So what's this category theory thing? Should I* Care? Is it the second coming of Euler?
*I care about physics and math. modeling, am fine with linear algebra and calculus
1
12
the sort of minimalist case for it is that category theory is a really handy toolbox of ways to organize similar kinds of arguments that come up repeatedly in different branches of math. it was invented to be used in algebraic topology and is used heavily in algebraic geometry
1
8
a tiny example from linear algebra: the determinant has the multiplicative property that det(AB) = det(A) det(B). it turns out to be a special case of what's called a functor (called "exterior power"), and this turns out to be a special case of what's called functoriality
functoriality of the exterior power generalizes to an interesting statement about what's called the minors of a matrix, which it would be very difficult to guess is true if you didn't know that they came from exterior powers
1
6
unfortunately the vast majority of people who use linear algebra will probably never need to think about minors, as far as i know. they have theoretical applications in various branches of pure math, e.g. algebraic geometry again, but mostly nobody else needs em i think
2
6
Show replies