Braided premonoidal Mac Lane coherence

DOI10.1016/J.JPAA.2003.11.003MaRDI QIDQ1878453zbMATH OpenOpenAlexFDO

Authors William P. Joyce

Publication date 19 August 2004

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0306371

zbMATH Keywords

coherencemonoidal categoryrecouplingtree

Mathematics Subject Classification ID

Trees (05C05) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

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.

Review text

The author studies premonoidal categories; that is, categories \(\mathcal{C}\) with a functor \(\otimes : \mathcal{C} \times \mathcal{C} \rightarrow \mathcal{C}\) and a natural associativity isomorphism \(a_{A,B,C} : (A \otimes B) \otimes C \cong A \otimes (B \otimes C)\) called the recoupling for associativity. The Stasheff-Mac Lane pentagon is not required to commute, leading the author to study the automorphism \(q_{A,B,C,D}\) of \((A \otimes B) \otimes (C \otimes D)\), obtained from the pentagon's five sides, called the recoupling deformativity. He uses the term pseudomonoidal when two dodecahedra involving rebracketings of 5-fold tensor products are required to commute. Coherence for these structures, and richer ones involving units and commutativities, is studied in terms of combinatorial objects called coupling trees.

Recommendations

• scientific article; zbMATH DE number 426312
• Coherence of associativity in categories with multiplication
• Coherence theorems via knot theory
• Associativity as commutativity
• Loop spaces, and coherence for monoidal and braided monoidal bicategories

Cites work

• Braided tensor categories
• Diagram projection rules for recoupling diagrams in the Racah-Wigner category
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 706259 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• Obstructions to coherence: Natural noncoherent associativity
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Quark state confinement as a consequence of the extension of the Bose–Fermi recoupling toSU(3) colour

Cited in

(7)

• The structure group for the associativity identity
• Braided distributivity
• AN ALGEBRAIC APPROACH TO SYMMETRIC PRE-MONOIDAL STATISTICS
• scientific article; zbMATH DE number 3558026 (Why is no real title available?)
• Recoupling Lie algebra and universal ω-algebra
• The next step beyond graded Lie algebra: recoupling Lie algebra
• Associativity as commutativity

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)