On Tuesday, November 26, 2019 at 4:18:49 PM UTC-6, Michael Shulman wrote:
Personally, I'm doubtful that one can ascribe any precise meaning to
"canonical isomorphism",
One standard example of a non-canonical isomorphism is that between a finite dimensional
vector space V and its dual V', so perhaps one may define a non-canonical isomorphism
to be one that one merely has, and a canonical isomorphism is one that one actually has.