Assertion: isomorphism | /r/HasProperty | canonical
Facets:
value: so completely
type: DEGREE
value: canonically
type: DEGREE
Source sentences:
text: IMO, when one says that an isomorphism is canonical, there is always some kind of uniqueness.
text: The isomorphism between a finite dimensional vector space and its double dual is canonical — we all know that.
text: There is however a second issue, which I began thinking about when preparing my Big Proof talk, and this is when mathematicians see an isomorphism which is “canonical” in a sense which can definitely be made completely precise, and then decides that the isomorphism is so completely canonically canonical that it will not cause any problem to simply use the notation for it.