Non-canonical isomorphisms

Many categorical axioms assert that a particular canonically defined natural transformation between certain functors is invertible. We give two examples of such axioms where the existence of any natural isomorphism between the functors implies the invertibility of the canonical natural transformation. The first example is distributive categories, the second (semi-)additive ones. We show that each follows from a general result about monoidal functors.