I thought that notation with the named 2-arrows in the middle of the loop meant “this loop almost commutes up the...
meganomaly reblogged this from twocubes
meganomaly liked this
monsterpotion liked this almost! in this case, the first three diagrams are actually (old-style) 2-category diagrams; you can see it in the αs...
quantum mechanics also does this to people, check out this bookit also leads to stuff like this (Rammer, Quantum...