Category theory is like putting types around mathematics. Like how dimensional analysis in physics points the way toward what operation to perform, category the

Category theory is like putting types around mathematics. Like how dimensional analysis in physics points the way toward what operation to perform, category theory helps to show what mathematics "makes sense". Another example: I've heard that Haskell's type system is so good that you can often find the function you need just by searching for the function signature (it's type). Category theory does that for mathematics.