Containers for effects and contexts

• Lecture slides:
• Lecture 1: Monads, compatible compositions of monads
• Additional material: strength
• Lecture 2: Containers, containers $\cap$ monads
• Lecture 3a: Monoidal functors, containers $\cap$ monoidal functors
• Lecture 3b: Comonads, containers $\cap$ comonads (= directed containers); compatible compositions of comonads/directed containers
• Some background reading:
• D. Ahman, T. Uustalu. Update monads: cointerpreting directed containers. In TYPES 2013, LIPIcs, v. 26, 2014.
• M. Abbott, T. Altenkirch, N. Ghani. Containers: constructing strictly positive types. TCS, v. 342, n. 1, 2005.
• D. Ahman, J. Chapman, T. Uustalu. When is a container a comonad? LMCS, v. 10, n. 3, 2014.
• D. Ahman, T. Uustalu. Distributive laws of directed containers. Progress in Inform., v. 10, 2013.
• More background: Check the literature on polynomial functors.