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,445 views TheCatsters
Videos: 5
Sort by: Title Duration Date Added Views Comments Unsorted
A first look at the string diagram notation for representing categories, functors ...
2 years ago 3,883 views
TheCatsters
The interchange law and whiskering. The last dull bits before getting onto adjunc...
2 years ago 1,558 views
TheCatsters
The definition of adjunctions in string diagram language - the snake/zig-zag relat...
2 years ago 1,330 views
TheCatsters
Monads in the string diagram notation. The unit and associativity identities as t...
2 years ago 1,124 views
TheCatsters
Adjunctions give rise to monads.
2 years ago 1,296 views
TheCatsters