2003/06/26 by W. P. Joyce, Joyce, W. P.
Mathematics · #18D10 #18D50(secondary) #19D23(primary) #Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.CT #math.QA #msc:18D10
paper · pdf · doi:10.48550/arxiv.math/0306371
28 pages, 7 figures
arxiv created 2003/06/26 · arxiv updated 2009/11/30
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.