“One way to think of category theory is as a framework in which the idea is formalized that every kind of equality is really secretly a choice of isomorphism or equivalence. In some sense the notion of identity potentially breaks the principle of equivalence.” -nLab

“One way to think of category theory is as a framework in which the idea is formalized that every kind of equality is really secretly a choice of isomorphism or equivalence. In some sense the notion of identity potentially breaks the principle of equivalence.”

-nLab

Leave a comment

Your email address will not be published. Required fields are marked *


8 + six =

Leave a Reply