2-cells in bicategories as bivectors

The "pentagonator" for the tensor product in a monoidal bicategory has edges that are all equivalences. There's a six-sided version of the pentagonator that goes from the identity on ((AB)C)D to the composition of five associators: ((AB)C)D -> ((AB)C)D || V ((AB)C)D -> (AB)(CD) -> A(B(CD)) -> A((BC)D) -> (A(BC))D -> ((AB)C)D Has anyone treated the pentagonator as having five edges that all run counterclockwise, and composition involves something like Stokes' theorem or bound current, where oppositely directed edges cancel out? 2-cells as bivectors? -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]