Image:CategoryBraiding-03.png

[edit] Summary

Commuative diagram defining a braided monoidal category.

[edit] Licensing

I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide. In case this is not legally possible: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. Afrikaans | Alemannisch | Aragonés | العربية | Asturianu | Български | Català | Česky | Cymraeg | Dansk | Deutsch | Eʋegbe | Ελληνικά | English | Español | Esperanto | Euskara | Estremeñu | فارسی | Français | Galego | 한국어 | हिन्दी | Hrvatski | Ido | Bahasa Indonesia | Íslenska | Italiano | עברית | Kurdî / كوردی | Latina | Lietuvių | Latviešu | Magyar | Македонски | Bahasa Melayu | Nederlands | ‪Norsk (bokmål)‬ | ‪Norsk (nynorsk)‬ | 日本語 | Polski | Português | Ripoarisch | Română | Русский | Shqip | Slovenčina | Slovenščina | Српски / Srpski | Svenska | ไทย | Tagalog | Türkçe | Українська | Tiếng Việt | Walon | ‪中文(简体)‬ | ‪中文(繁體)‬ | zh-yue-hant | +/-

[edit] TeX source

\begin{diagram}[vtrianglewidth=2.1em,tight]
& & (A\otimes B)\otimes C & & \rTo^{\scriptstyle\gamma} & & C\otimes(A\otimes B) \\
& \ruTo^{\scriptstyle\alpha^{-1}} & & & & & & \rdTo>{\scriptstyle\alpha^{-1}} \\
A\otimes (B\otimes C) & & & & & & & & (C\otimes A)\otimes B \\
& \rdTo<{\scriptstyle 1\otimes\gamma} & & & & & & \ruTo>{\scriptstyle\gamma\otimes 1} \\
& & A\otimes (C\otimes B) & & \rTo_{\scriptstyle\alpha^{-1}} & & (A\otimes C)\otimes B \\
\end{diagram}

• Braided monoidal category