4 problems

A polynomial monad is a monad arising from polynomial data in the sense of Gambino and Kock. Let $\mathfrak{Cnt}$ denote the context construction, and let $\mathfrak{Ctx}$ denote t…

Let $\mathsf{Rezk}(\mathsf{List})$ denote the Rezk completion of the list polynomial, and let $\triangleleft$ denote polynomial substitution. Since $\mathsf{Rezk}(\mathsf{List})$ p…

Let $P$ be a polynomial monad, and suppose that a transferred model structure on its category of algebras is under consideration. A polynomial monad is quasi-tame when its canonica…

Let $T$ be a polynomial monad, let $\mathcal{E}$ be a monoidal model category fulfilling the hypotheses of Theorem, and let $cAss^T_{\mathcal{E}}\to Ass^T_{\mathcal{E}}$ be a cofib…