https://stringdiagram.com/2026/07/11/distributing-over-the-powerset/Dan Marsdenen2026-07-11T14:02:46+00:00Distributing over the powersetmathematics, math, category-theoryhttps://stringdiagram.com/2026/07/11/lifting-the-powerset-monad/Dan Marsdenen2026-07-11T13:49:05+00:00Lifting the Powerset Monadmathematics, math, category-theory