Timeline for On $\mathbb{E}_{n-k}$-monoidal structures on $\mathbb{E}_{n-m}$-algebras in $\mathbb{E}_{n}$-monoidal $\infty$-categories
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2021 at 3:44 | comment | added | Dylan Wilson | I think there are two separate things going on: (i) If C is E_n-monoidal then Alg_{E_k}(C) has a canonical E_{n-k}-monoidal structure (it can be characterized by a universal property- see HA.3.4.2.3), (ii) if D is any E_m-monoidal infty-category, then any element in the orthogonal group O(m) gives a way to alter the E_m-monoidal structure to a new one (coming from the action of O(m) on the E_m-operad itself). (So this applies when D=Alg_{E_k}(C) and m=n-k as well). | |
| Jun 15, 2021 at 2:41 | history | asked | Emily | CC BY-SA 4.0 |