It’s actually much more interesting. Category Theory is one of a number of systems that can underpin regular mathematics. The root of the tree, if you will. The

It’s actually much more interesting. Category Theory is one of a number of systems that can underpin regular mathematics. The root of the tree, if you will. There exist proofs that these systems are equivalent and they’re not that hard to follow. But there’s a lot of branches of the tree of mathematics involving extremely different constructions. What is proven here is that two branches of mathematics have a logical equivalence. Between this and other work, it’s looking increasingly like large numbers of the branches of the tree are effectively the same. This is insanely hard to understand right now, but hopefully in the future this will lead to a whole new understanding of mathematics where these correspondences are natural.