Non-canonical isomorphisms

作者：Lack Stephen^*

来源：Journal of Pure and Applied Algebra, 2012, 216(3): 593-597.

DOI：10.1016/j.jpaa.2011.07.012

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.

• 出版日期2012-3