Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2025-01-03T10:28:39.600Z Has data issue: false hasContentIssue false
  • English
  • Français

Associativity as commutativity

Published online by Cambridge University Press:  12 March 2014

Kosta Dǒsen  and
Zoran Petrić
Kosta Dǒsen
Affiliation:
Mathematical Institute, Sanu, Knez Mihailova 35, P.F. 367, 11001 Belgrade, Serbia. E-mail: [email protected]
Zoran Petrić
Affiliation:
Mathematical Institute, Sanu, Knez Mihailova 35, P.F. 367, 11001 Belgrade, Serbia. E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric 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.

Keywords

monoidal categoriessymmetric monoidal categoriescoherenceMac Lane's pentagonMac Lane's hexagoninsertion
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 71 , Issue 1 , March 2006 , pp. 217 - 226
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Došen, K., Tortuous application, The Mathematical Intelligencer, vol. 20 (1998), p. 72.CrossRefGoogle Scholar
[2]Došen, K. and Petrić, Z., Proof-Theoretical Coherence, KCL Publications (College Publications), London, 2004.Google Scholar
[3]Laplaza, M. L., Coherence for associativity not an isomorphism, Journal of Pure and Applied Algebra, vol. 2 (1972), pp. 107–120.CrossRefGoogle Scholar
[4]Loday, J.-L., Arithmetree, Journal of Algebra, vol. 258 (2002), pp. 275–309.CrossRefGoogle Scholar
[5]Loday, J.-L.et al. (editors), Operads: Proceedings of Renaissance Conferences, Contemporary Mathematics, vol. 202, American Mathematical Society, Providence, 1997.CrossRefGoogle Scholar
[6]Lane, S. Mac, Natural associativity and commutativity, Rice University Studies, Papers in Mathematics, vol. 49 (1963), pp. 28–46.Google Scholar
[7]Lane, S. Mac, Categories for the working mathematician, Springer, Berlin, 1971, (expanded second edition, 1998).CrossRefGoogle Scholar
[8]Stasheff, J. D., The pre-history of operads, in [5] pp. 9–14.CrossRefGoogle Scholar
[9]Tonks, A., Relating the associahedron and the permutohedron, in [5] pp. 33–36.CrossRefGoogle Scholar