Graph explorer

Non-canonical isomorphisms

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

3 nodes2 linksoverview previewNon-canonical isomorphisms
3 nodes2 links
Non-canonical isomorphisms3 visible / 3 total nodes / 2 links
AuthorshipTopic signalWNon-canonical isomorphismspreprint / 2009AStephen LackResearcherTmath.CT1150 works
PaperSignal 102 links

Non-canonical isomorphisms

preprint / 2009

Open