ScalingStacks

0NKD

Proof. Certainly essential surjectivity is determined on the level of the homotopy category, so it suffices to show that, for all pairs of objects aa and bb of π’œ{\mathcal{A}}, Ο€n​Map​(a,b)β†’Ο€n​Map​(f​a,f​b)\pi_{n}\mathrm{Map}(a,b)\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\pi_{n}\mathrm{Map}(fa,fb) for all integers nn whenever this is the case for n=0n=0. Since π’œ{\mathcal{A}} and ℬ{\mathcal{B}} are stable,

Ο€0​Map​(Ξ£n​a,b)β‰…Ο€n​Map​(a,b)βŸΆΟ€n​Map​(f​a,f​b)β‰…Ο€0​Map​(Ξ£n​f​a,f​b),\pi_{0}\mathrm{Map}(\Sigma^{n}a,b)\cong\pi_{n}\mathrm{Map}(a,b)\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\pi_{n}\mathrm{Map}(fa,fb)\cong\pi_{0}\mathrm{Map}(\Sigma^{n}fa,fb),

so this is immediate. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4