Upload
2,123

Subscription preferences

Loading...

Loading icon Loading...

Working...

TheCatsters

Monads

Loading...
  1. 1

    Monads 1

    by TheCatsters 48,770 views

    An introduction to monads including the definition and a look at the monoid monad.

  2. 2

    Monads 2

    by TheCatsters 10,947 views

    Continuation of the monoid monad example and introduction of the category monad.

  3. 3

    Monads 3

    by TheCatsters 5,537 views

    The definition of algebras for monads. The example of monoids as algebras for the monoid monad.

  4. 4

    Monads 3A

    by TheCatsters 5,015 views

    An appendix to Monads 3: more on monoids as algebras for the monoid monad.

  5. 5

    Monads 4

    by TheCatsters 4,835 views

    Morphisms between algebras and the category of algebras. A first look at the question of monadicity.

  6. 6

    Distributive laws 3 and/or Monads 6 [29]

    by TheCatsters 1,816 views

    We introduce the idea of monads *in* a general 2-category C (where putting C = Cat gives the usual notion of monad *on* a category), and define the 2-category Mnd(C) of monads, monad functors and monad transformations in C as in Street, The formal theory of monads.

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