Файл:Моноидальная категория пентагон.svg

% Используйте LaTeX, PDF2SVG и Inkscape для создания этого изображения SVG. % Автор: FRR, Smimram, Ika % Дата: 11/04/2014\documentclass { amsart } \usepackage [ширина бумаги=26 см, высота бумаги=4 см, верх=0 см, лево=0 см, право=0 см, низ=0 см] { геометрия } \usepackage { amsmath, amssymb, nopageno } \usepackage [все] { xy } \begin { документ } \thispagestyle { пусто } \Огромный \begin { уравнение* } \xymatrix @C=5em { ((A \otimes B) \otimes C) \otimes D \ar [d] _{ \alpha _{ A \otimes B,C,D }} \ar [r] ^{ \alpha _{ A,B,C } \otimes  { 1 _ D }}  & (A \otimes (B \otimes C)) \otimes D \ar [r] ^{ \alpha _{ A,B \otimes C,D }}  & A \otimes ((B \otimes C) \otimes D) \ar [d] ^{{ 1 _ A } \otimes\alpha _{ B,C,D }} \\ (A \otimes B) \otimes (C \otimes D) \ar [rr] _{ \alpha _{ A,B,C \otimes D }}&& A \otimes (B \otimes (C \otimes D)) } \end { уравнение* } \end { документ }