Often in category theory, requirements that certain things “be isomorphic” are more precisely stated as saying that a certain “canonical” morphism is invertible. However, in certain situations, it happens that the existence of a non-canonical isomorphism automatically entails the “correct” stronger property that the canonical morphism is invertible.
For now, see the references for details.
Stephen Lack, Non-canonical isomorphisms, (arXiv:0912.2126).
Fernando Lucatelli Nunes, Pseudoalgebras and non-canonical isomorphisms, arxiv
Created on August 27, 2018 at 21:00:56. See the history of this page for a list of all contributions to it.