Braided premonoidal Mac Lane coherence

From MaRDI portal




Abstract: Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe a version of coherence that is weaker than the usual notion of monoidal coherence.











This page was built for publication: Braided premonoidal Mac Lane coherence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878453)