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.
|
|
9:54
3:56
9:40
8:45
9:48