With Category Theory, Mathematics Escapes from Equality (2019)
One thing I did not find in thr article is what the improvement here is.<p>If I read it (and some of the comments here) correctly the idea is to replace equality from ZFC (so isomorphic sets) with equality in categories (so isomorphic objects in a k-category).
The article says something about better describing all the isomorphisms, but doesn&#x27;t explain why that is better.<p>A comment here suggested to me that this system might make it easier to rigorously &#x27;compose&#x27; different types of equivalence relationships. Something like &quot;this field extension has a galois group &#x27;equivalent&#x27; to A. And field extensions of A have this other property so this field extensions must also have this property&quot;.<p>Am I on the right track as to what improvements this system offers?