Associativity as commutativity

DOI10.2178/JSL/1140641170MaRDI QIDQ5477631zbMATH OpenOpenAlexFDO

Authors Kosta Došen, Zoran Petrić

Publication date 5 July 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

associativity constraintmonoidal categorysymmetry

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15)

Abstract: It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane's pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degenerate case of Mac Lane's hexagonal condition for commutativity. This decomposition is analogous to the derivation of the Yang-Baxter equation from Mac Lane's hexagon and the naturality of commutativity. The pentagon is reduced to an inductive definition of a kind of commutativity.

Recommendations

• Medial commutativity
• Coherence of associativity in categories with multiplication
• Obstructions to coherence: Natural noncoherent associativity
• Braided premonoidal Mac Lane coherence
• scientific article; zbMATH DE number 426312

Cites work

• Arithmetree.
• Coherence for associativity not an isomorphism
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Proof-theoretical coherence
• The Mathematical Intelligencer cumulative index

Cited in

(14)

• Braided premonoidal Mac Lane coherence
• On stretching the interval simplex-permutohedron
• Around associators
• Associative-Commutative Deducibility Constraints
• scientific article; zbMATH DE number 4025325 (Why is no real title available?)
• scientific article; zbMATH DE number 3512192 (Why is no real title available?)
• scientific article; zbMATH DE number 3558026 (Why is no real title available?)
• Shuffles and concatenations in the construction of graphs
• scientific article; zbMATH DE number 7549714 (Why is no real title available?)
• Associativity and integrability
• Hypergraph polytopes
• Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
• The syntax of polytopal projections: from permutohedra to associahedra
• Medial commutativity

This page was built for publication: Associativity as commutativity

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