nLab associahedron > K4

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
Pentagon Identity ( 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 April 30, 2018 at 01:03:58. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionChanges from previous revisionHistory (1 revision) Cite Print Source