Polynomial functors and interaction systems Based on the cubical-mini library. References: https://github.com/agda/agda-stdlib/tree/master/src/Data/Container/Indexed https://github.com/aspiwack/cosa/tree/master/Interaction https://pierre-hyvernat.apps.math.cnrs.fr/data/Files/Infinite/browse/PAPER.html