Two monumental works have led many mathematicians to avoid the equal sign. The process has not always gone smoothly.

Steven Strogatz
108d ago

New article in @QuantaMagazine by Kevin Hartnett @KSHartnett, on what higher category theory is and how it has been shaking up many parts of mathematics.

2

A community of mathematicians say the equal sign is too rigid to capture many mathematical complexities. They're replacing equality with a new mathematics of equivalence.

"There is a growing community of mathematicians who regard the equal sign as math’s original error." @KSHartnett reports in @QuantaMagazine on the movement toward category theory in mathematics.

“It’s the real goal of knowledge to become the knowledge of the community, not the knowledge of one or two persons.”
H/t @paulmatusz

With Category Theory, Mathematics Escapes From Equality quantamagazine.org/with-category-… via @QuantaMagazine

With Category Theory, Mathematics Escapes From Equality
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.”