The List Object Endofunctor is Polynomial

Abstract

In this paper, we study the list object functor $L : \mathcal{C} \rightarrow \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.