A first look at the string diagram notation for representing categories, functors ...
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.
|
|