New article in by Kevin Hartnett , on what higher category theory is and how it has been shaking up many parts of mathematics.
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.
The equal sign is the bedrock of mathematics. But there is a growing community of mathematicians who regard the equal sign as math’s original error.
"There is a growing community of mathematicians who regard the equal sign as math’s original error." reports in 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
With Category Theory, Mathematics Escapes From Equality via
Intriguing discussion in the mathematics community
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.”
This is strange and cool
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.