Combining Semilattices and Semimodules

Filippo Bonchi, Alessio Santamaria

We describe the canonical weak distributive law $\delta :\mathcal{S}\mathcal{P}\to \mathcal{P}\mathcal{S}$ of the powerset monad $\mathcal{P}$ over the $S$-left-semimodule monad $\ma…