The List Object Endofunctor is Polynomial

In this paper, we study the list object functor $L:\mathcal{C}\to \mathcal{C}$ for a general category $\mathcal{C}$ with finite limits and parametrized list objects. We show that $L$ is polynomial as long as $\mathcal{C}$ is extensive.