11:26 AM
@MartinSleziak Now there is a third question tagged .
2

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 ...

I will add that Mathematics has a tag called slice-category, at the moment with 29 questions.