Given a presentable Cartesian symmetric monoidal $\infty$-category $C$, every object is a cocommutative comonoid and for a fixed $Z\in C$ there is an equivalence $C_{/Z}\simeq LCoMod_{Z}(C)$ where the coaction associated to $X→Z$ is $X\to X\times X\to Z\times X$. If we further assume that $Z$ is ...