With Category Theory, Mathematics Escapes From Equality
October 10, 2019
Two monumental works have led many mathematicians to avoid
the equal sign. Their goal: Rebuild the foundations of the discipline upon the
looser relationship of “equivalence.” The process has not always gone smoothly.