Non-canonical isomorphisms

2009/12/10 by Stephen Lack · 6 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #math.CT #msc:18A35 #msc:18D10

paper · pdf · doi:10.1016/j.jpaa.2011.07.012

published as Journal of Pure and Applied Algebra, 216(3):593-597 (2012) · 6 pages

arxiv created 2009/12/10 · arxiv updated 2012/05/03

Abstract

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.

Cited by

• Intrinsic tensor products and a Ganea-type extension of the five-term exact sequence
• Endomorphisms of the symmetric 2-rig of finite sets
• Cartesian Linearly Distributive Categories: Revisited
• Homological Algebra of Heyting modules
• Some remarks on multicategories and additive categories
• The groupoid of finite sets is biinitial in the 2-category of rig\n categories