Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
stub for suspension spectrum
added mentioning of the strong monoidalness of the suspension spectrum functor (here) with pointer to the proof at the level of model categories from Introduction to Stable homotopy theory – 1-2
below the argument for strong monoidalness via model categories, I added pointer to the more abstract argument:
More abstractly this follows from general properties of stabilization when regarding stable homotopy theory as the result of inverting smash product with the circle, via Robalo 12, last clause of Prop. 4.1 with last clause of Prop. 4.10 (1) . For emphasis see also Hoyois 15, section 6.1, specifically Hoyois 15, Def. 6.1.
Is it monoidalness or monoidality?
I think both are reasonable according to the rules of English. “Monoidality” sounds a bit more euphonious to me, but perhaps also a little less obvious in its meaning, so I figure it’s a toss-up.
If anyone feels it should be changed after all, please feel free to do so, I am not sold on it, just needed a word.
1 to 6 of 6