Subscription preferences
TheCatsters
Monads
-
1
Monads 1
by TheCatsters 48,770 views
An introduction to monads including the definition and a look at the monoid monad.
-
2
Monads 2
by TheCatsters 10,947 views
Continuation of the monoid monad example and introduction of the category monad.
-
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
Monads 3A
by TheCatsters 5,015 views
An appendix to Monads 3: more on monoids as algebras for the monoid monad.
-
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
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.
