Combinatorics of Trees via Derivatives of Polynomial Functors in Homotopy Type Theory

Polynomial functors are, essentially, polynomials whose variables take values in sets, groupoids, or some other suitable category, rather than in numbers. In this thesis, we will explore three related aspects of polynomial functors over $\infty$-groupoids in the framework of homotopy type theory: fi