Subscription preferences
TheCatsters
Adjunctions
-
1
Adjunctions 1
by TheCatsters 11,499 views
The notion of an adjunction. Definition via unit and counit natural transformations and the triangle identities.
-
2
Adjunctions 2
by TheCatsters 5,024 views
Definition of adjunction via natural isomorphism between hom-sets. Getting the unit and counit from this.
-
5
Adjunctions 5
by TheCatsters 2,875 views
Every monad comes from an adjunction via its category of algebras.
-
7
Adjunctions 7
by TheCatsters 2,186 views
The adjunction coming from the Kleisli category. The category of adjunctions for a monad: the Eilenberg-Moore and Kleisli categories as terminal and initial objects.
