Sign in now to see your channels and recommendations!
String diagrams for functors and natural transformations are introduced, then we show how adjunctions and monads have a very simple and natural description in this language.
A first look at the string diagram notation for representing categories, functors and natural transformations.
The interchange law and whiskering. The last dull bits before getting onto adjunctions. (Apologies for the drastic editing at the end.)
The definition of adjunctions in string diagram language - the snake/zig-zag relation.
Monads in the string diagram notation. The unit and associativity identities as topological moves.
Adjunctions give rise to monads.