nLab non-canonical isomorphism

Non-canonical isomorphisms

Non-canonical isomorphisms


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.


Created on August 27, 2018 at 21:00:56. See the history of this page for a list of all contributions to it.