Danel Ahman: An overview of containers and their applications
Containers of Abbott, Altenkirch, and Ghani are a representation of a wide class of (polynomial) set functors (that one can use to model parameterised datatypes) in terms of shapes and positions. Morphisms of containers represent polymorphic functions between these datatypes.
In this talk I aim to give an accessible overview of the theory and uses of containers. I will recall basic definitions, discuss some of the natural structure present in the category of containers, take a look at some interesting specialisations of containers, and finally also give a taste of the many applications that containers have had over the years.