Upload
2,122

Subscription preferences

Loading...

Loading icon Loading...

Working...

TheCatsters

Adjunctions

Loading...
  1. 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. 2

    Adjunctions 2

    by TheCatsters 5,024 views

    Definition of adjunction via natural isomorphism between hom-sets. Getting the unit and counit from this.

  3. 3

    Adjunctions 3

    by TheCatsters 3,744 views

    Adjunctions give rise to monads.

  4. 4

    Adjunctions 4

    by TheCatsters 2,788 views

    The two notions of adjunction coincide.

  5. 5

    Adjunctions 5

    by TheCatsters 2,875 views

    Every monad comes from an adjunction via its category of algebras.

  6. 6

    Adjunctions 6

    by TheCatsters 2,151 views

    Definition of the Kleisli category

  7. 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.

Loading...
Working...
Sign in to add this to Watch Later