Файл:Lax моноидальный функтор ассоциативный.svg

% Для генерации графика SVG необходим PDF2SVG. % Автор: Smimram, Danneks, Ika % Дата обновления: 22.11.2014\documentclass { amsart } \usepackage [ширина бумаги = 350 пикселей, высота бумаги = 190 пикселей, верх = -12 пикселей, лево = 0 пикселей, право = 0 пикселей, низ = 0 пикселей] { геометрия } \usepackage { amsmath, amssymb, nopageno } \usepackage [все] { xy } \begin { документ } \Огромный \[ \xymatrix @C + 1 em@R + 1 em{ ( FA \bullet FB ) \bullet FC \ar [ d ] _{ \phi _{A,B} \bullet 1 } \ar [ r ] ^{ \alpha _{ \mathcal {D}}} & FA \bullet ( FB \bullet FC ) \ar [ d ] ^{ 1 \bullet \phi _{B,C}} \\  F ( A \otimes B ) \bullet FC \ar [ d ] _ { \phi _ {A \otimes B,C}} & FA \bullet F ( B \otimes C ) \ar [ d ] ^{ \phi _{A,B \otimes C}} \\  F (( A \otimes B ) \otimes C ) \ar [ r ] _{F \alpha _{ \mathcal {C}}} & F ( A \otimes ( B \otimes C )) } \] \end { document }