Medial commutativity

DOI10.1016/J.APAL.2007.03.002MaRDI QIDQ882124zbMATH OpenOpenAlexFDO

Authors Kosta Došen, Zoran Petrić

Publication date 23 May 2007

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

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

zbMATH Keywords

binomial coefficientscoherence condtionsmedial commutativitysymmetric groupssymmetric monoidal categoriesYang-Baxter equations

Mathematics Subject Classification ID

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$.

Review text

The object of this paper is to give an alternative language for symmetric monoidal categories. This is achieved by showing that there is a unifying principle, called medial commutativity (or middle-four interchange in categorical terminology), from which all the assumptions for symmetric monoidal categories follow. This principle involves natural isomorphisms of the type \[ (A\wedge B)\wedge (C\wedge D)\rightarrow (A\wedge C)\wedge (B\wedge D) \] whose preservation, in presence of the unit object, by the functor \(\wedge\) implies Mac Lane's pentagonal and hexagonal coherence conditions for associativity and commutativity. Analogous results are discussed in the absence of symmetry and also of the unit object.

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

Cites work

• A Brauerian representation of split preorders
• Associativity as commutativity
• Braided tensor categories
• Generality of proofs and its Brauerian representation
• Group-like structures in general categories. I. Multiplications and comultiplications
• scientific article; zbMATH DE number 3125737 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 970060 (Why is no real title available?)
• scientific article; zbMATH DE number 970632 (Why is no real title available?)
• Iterated monoidal categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Proof-theoretical coherence
• Symmetric self-adjunctions: a justification of Brauer's representation of Brauer's algebras

Cited in

(3)

• Intermutation
• Associativity as commutativity
• An alternative description of symmetric monoidal categories, and symmetric 2-groups

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)