Эту математическую иллюстрацию желательно воссоздать или аккуратно преобразовать в векторный формат SVG. Это даёт несколько преимуществ, прочитать о которых подробнее вы можете на странице Commons:Media for cleanup. Если вам уже сейчас доступна векторная версия данного изображения, загрузите её, пожалуйста, а затем замените этот шаблон на следующий: {{Vector version available|Имя загруженного файла.svg}}.

Краткое описание

Commuative diagram defining a braided monoidal category.

Лицензирование

Я, владелец авторских прав на это произведение, передаю его в общественное достояние. Это разрешение действует по всему миру. В некоторых странах это не может быть возможно юридически, в таком случае: Я даю право кому угодно использовать данное произведение в любых целях без каких-либо условий, за исключением таких условий, которые требуются по закону.

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}