Braided premonoidal Mac Lane coherence

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 versions of coherence that are weaker than the usual notion of Mac Laneʹs monoidal coherence.