1 problem

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…