Playlist

Subscribe

String diagrams, adjunctions and monads

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.

2 years ago 1,512 views TheCatsters
Videos: 5
Sort by: Title Duration Date Added Views Comments Unsorted
String diagrams 1 9:54
A first look at the string diagram notation for representing categories, functors ...
2 years ago 4,028 views
TheCatsters
String diagrams 2 3:56
The interchange law and whiskering. The last dull bits before getting onto adjunc...
2 years ago 1,611 views
TheCatsters
String diagrams 3 9:40
The definition of adjunctions in string diagram language - the snake/zig-zag relat...
2 years ago 1,392 views
TheCatsters
String diagrams 4 8:45
Monads in the string diagram notation. The unit and associativity identities as t...
2 years ago 1,165 views
TheCatsters
String diagrams 5 9:48
Adjunctions give rise to monads.
2 years ago 1,331 views
TheCatsters