I propose to merge stable-homotopy and stable-homotopy-category. The latter is used for the same types of questions as the former, and most questions with the latter have little to do with the stable homotopy category per se, as opposed to the model category or ∞-category of spectra.

I am facing the following problem. I have a function which is defined through a discrete sum of Gaussians $$F_M(t) = 2\sum\limits_{n=1}^{M}e^{-t^2 \sigma^2 n^2}\times \sum\limits_{k=n}^{M}p_k p_{k-n} + \sum\limits_{k=0}^{M}p_k^2$$ where $\sigma$ is just a real parameter and $p_k$ are weights $$\s...