News for hackers. Stuff that matters.
Re:With Category Theory, Mathematics Escapes from Equality (... by macrolocal on Saturday March 26, 2022 @08:11PM (#30816525)
Two maybe helpful examples:

- Objects are equal to themselves canonically, but they can be equivalent to themselves in many ways, often called "symmetries."

- Bool is equivalent to a single bit in two ways, depending on whether 0 or 1 means True.

There are no comments on this comment yet.