Algebras for Monads

Prev: F-Algebras Next: Ends and Coends

Prev: F-Algebras Next: Ends and Coends

Exercises

1. What is the action of the free functor $F^T:C\to C^T$ on morphisms. Hint: use the naturality condition for monadic $\mu$.
2. Define the adjunction:

$$U^W⊣F^W$$

3. Prove that the above adjunction reproduces the original comonad.