Medial commutativity

DOI10.1016/J.APAL.2007.03.002zbMATH Open1120.18005arXivmath/0610934OpenAlexW4212930317MaRDI QIDQ882124FDOQ882124

Kosta Došen, Zoran Petrić

Publication date: 23 May 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type $(AotimesB)otimes(CotimesD)o(AotimesC)otimes(BotimesD)$, called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane's pentagonal and hexagonal coherence conditions for associativity and commutativity are derived from the preservation up to a natural isomorphism of medial commutativity by the biendofunctor $otimes$. This preservation boils down to an isomorphic representation of the Yang-Baxter equation of symmetric and braid groups. The assumptions of monoidal categories, and in particular Mac Lane's pentagonal coherence condition, are explained in the absence of commutativity, and also of the unit object, by a similar preservation of associativity by the biendofunctor $otimes$. In the final section one finds coherence conditions for medial commutativity in the absence of the unit object. These conditions are obtained by taking the direct product of the symmetric groups $S_{nchoosei}$ for $0leqileqn$.

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

Recommendations

• scientific article; zbMATH DE number 4029843
• Commutativity
• Commutativity preserving maps
• Commutative medial ternary groupoids.
• Medial quasigroups and geometry
• scientific article; zbMATH DE number 1107772
• scientific article; zbMATH DE number 4193945
• scientific article; zbMATH DE number 3917210
• scientific article; zbMATH DE number 4042170

zbMATH Keywords

symmetric groupsbinomial coefficientssymmetric monoidal categoriesYang-Baxter equationscoherence condtionsmedial commutativity

Mathematics Subject Classification ID

Cites Work

• Braided tensor categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Group-like structures in general categories. I. Multiplications and comultiplications
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Title not available (Why is that?)
• Title not available (Why is that?)
• Iterated monoidal categories
• Title not available (Why is that?)
• Generality of proofs and its Brauerian representation
• Proof-theoretical coherence
• A Brauerian representation of split preorders
• Associativity as commutativity
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Intermutation
• Associativity as commutativity

This page was built for publication: Medial commutativity

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