Эту математическую иллюстрацию желательно воссоздать или аккуратно преобразовать в векторный формат 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} & & (B\otimes C)\otimes A \\
& \ruTo^{\scriptstyle\alpha} & & & & & & \rdTo>{\scriptstyle\alpha} \\
(A\otimes B)\otimes C & & & & & & & & B\otimes (C\otimes A) \\
& \rdTo<{\scriptstyle\gamma\otimes 1} & & & & & & \ruTo>{\scriptstyle 1\otimes\gamma} \\
& & (B\otimes A)\otimes C & & \rTo_{\scriptstyle\alpha} & & B\otimes (A\otimes C) \\
\end{diagram}