| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4596679 | Journal of Pure and Applied Algebra | 2012 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
