polynomial-comonad Implements a correspondence Polynomial Comonads on Set ↔ Small Category, shown in https://arxiv.org/abs/1604.01187