1. Containers: constructing strictly positive types;Abbott;Theor. Comput. Sci.,2005
2. When is a container a comonad?;Ahman;Log. Methods in Comput. Sci.,2014
3. Update monads: cointerpreting directed containers;Ahman,2014
4. Toposes, Triples and Theories;Barr,1984
5. Distributive laws;Beck,1969