nLab monoidal category > pentagon

Layer 1 ( w x ) ( y z ) (w\otimes x)\otimes(y\otimes z) ( ( w x ) y ) z ((w\otimes x)\otimes y)\otimes z w ( x ( y z ) ) w\otimes (x\otimes(y\otimes z)) ( w ( x y ) ) z (w\otimes (x\otimes y))\otimes z w ( ( x y ) z ) w\otimes ((x\otimes y)\otimes z) a w x , y , z a_{w\otimes x,y,z} a w , x , y z a_{w,x,y\otimes z} a w , x , y 1 z a_{w,x,y}\otimes 1_{z} 1 w a x , y , z 1_w\otimes a_{x,y,z} a w , x y , z a_{w,x\otimes y,z}

Last revised on December 27, 2018 at 21:38:43. See the history of this page for a list of all contributions to it.