Consider the functor $F: C \rightarrow D $ of $\infty$-groupoids. Is there any explicit proof somewhere in the literature that $\Sigma^{\infty}$ construction is functorial? I mean how do we define $\Sigma^{\infty} F$ and how does it respect the composition of maps between spaces?
Became Hot Network Question