The notion of an adjunction. Definition via unit and counit natural transformatio...
Playlist
Adjunctions
Some videos introducting adjunctions and their relationship to monads.
Videos: 7
|
|
9:45
Definition of adjunction via natural isomorphism between hom-sets. Getting the un...
8:17
The two notions of adjunction coincide.
9:47
Every monad comes from an adjunction via its category of algebras.
9:50
The adjunction coming from the Kleisli category. The category of adjunctions for ...
© 2009 YouTube, LLC