Data types with symmetries and polynomial functors over groupoids

Joachim Kock

Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category th…