Graphical calculus for bicategories
Micah Blake McCurdy – 18 March 2009
We give a gentle and pretty introduction to the grapical calulus for bicategories and morphisms thereof. As an extended example, we'll look at the recent result of John Bourke that oplax natural transformations between lax morphisms can be whiskered with Frobenius morphisms. The graphical treatment of this result makes the calculations quite transparent.