All Questions

The assignment $X\mapsto\mathcal{P}(X)$ and $f\mapsto f_*$ (direct images) defines a functor $\mathcal{P}\colon\mathsf{Sets}\to\mathsf{Sets}$. This functor has a monad structure whose multiplication $\...