Non-canonical isomorphisms

Idea

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.

References

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