Timeline for Tensor products of $\mathbb{E}_\infty$-spaces
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 8, 2021 at 20:09 | vote | accept | Emily | ||
| Aug 7, 2021 at 20:53 | answer | added | Marc Hoyois | timeline score: 13 | |
| Aug 7, 2021 at 20:37 | history | edited | Emily | CC BY-SA 4.0 |
added more references
|
| Aug 7, 2021 at 20:37 | comment | added | Emily | @RuneHaugseng Thanks, this is excellent! | |
| Aug 7, 2021 at 10:48 | comment | added | Rune Haugseng | The unit is the free commutative monoid on the point, which is $\coprod_{n=0}^{\infty} B\Sigma_n$, or the groupoid of finite sets and bijections. More generally, Gepner-Groth-Nikolaus show that the free commutative monoid functor $F$ is symmetric monoidal (for the cartesian product of spaces), so for spaces $X,Y$ you have $F(X) \otimes F(Y) \simeq F(X \times Y)$. (In fact, since any commutative monoid is a (simplicial) colimit of free ones, this in a sense determines the tensor product, since it also preserves colimits in each variable.) | |
| Aug 6, 2021 at 23:13 | history | edited | Emily | CC BY-SA 4.0 |
deleted 167 characters in body
|
| Aug 6, 2021 at 22:36 | history | asked | Emily | CC BY-SA 4.0 |