Image:Monoidal-category-triangle.png

Triangle coherence condition for a monoidal category.

This image is ineligible for copyright and therefore in the public domain, because it consists entirely of information that is common property and contains no original authorship. العربية | Afrikaans | Български | Bosanski | Česky | Dansk | Deutsch | English | Esperanto | Español | Français | हिन्दी | Italiano | 日本語 | 한국어 | Magyar | Nederlands | ‪Norsk (nynorsk)‬ | Polski | Português | Русский | Svenska | Türkçe | ‪中文(繁體)‬ | ‪中文(简体)‬ | +/-

[edit] LaTeX source

\documentclass{article}
\usepackage{xy}
\xyoption{all}

\begin{document}
\thispagestyle{empty}
\[
\xymatrix@C=1em{
    (A\otimes I)\otimes B\ar[dr]_{\rho_A\otimes B}\ar[rr]^{\alpha_{A,I,B}}&&\ar[dl]^{A\otimes\lambda_B}A\otimes(I\otimes B)\\
    &A\otimes B&
}
\]
\end{document}

• Monoidal category