Assertion: canonical isomorphism | /r/HasProperty | magic kind of equality
Facets:
Source sentences:
text: Canonical isomorphism is a magic kind of equality, apparently accessible to mathematicians who are “thinking about things in the right way”.