* 2-cells in bicategories as bivectors
@ 2015-06-07 2:01 Mike Stay
0 siblings, 0 replies; only message in thread
From: Mike Stay @ 2015-06-07 2:01 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-06-07 2:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-06-07 2:01 2-cells in bicategories as bivectors Mike Stay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).