show/hide this revision's text 4 added 574 characters in body

I don't think the Seifert-van Kampen theorem follows from these kinds of considerations. Rather, it is the statement that the fundamental groupoid functor $\tau_{\leq 1}$ preserves homotopy colimits. That's because it is left adjoint to the inclusion of 1-groupoids in $\infty$-groupoids (a generalization to any $\infty$-category is in Higher Topos Theory, Prop. 5.5.6.18).

[Removed the part on cohomology because it got me confused!]

Added: I attempted to explain the long exact sequences in cohomology without using spectra, but that was wrong. Here's a correct explanation. The reduced cohomology of a pointed space $X$ depends only on its stabilization $\Sigma^\infty X$: it is given by $H^n(X;A)=[\Sigma^\infty X,\Sigma^n HA]$ where $HA$ is an infinite delooping of $K(A,0)$. The functor $\Sigma^\infty$ preserves cofiber sequences (being left adjoint). Now if you have a cofiber sequence in a stable category, you get long exact sequences of abelian groups when you apply functors like $[E,-]$ or $[-,E]$.

Added later: My original answer was correct, but like I said I got confused Here it is again. Let $A\to B\to C$ be a cofiber sequence of pointed spaces. As you say in your question, you get a fiber sequence of mapping spaces

$Map(C,X)\to Map(B,X)\to Map(A,X)$

for any $X$, because $Map$ transforms homotopy colimits in its first variable into homotopy limits. In its second variable it preserves homotopy limits, so $\Omega Map(A,X)=Map(A,\Omega X)$. Applying to $X=K(G,n)$ gives you the usual long exact sequence in cohomology, but only from $H^0$ to $H^n$.

show/hide this revision's text 3 added 581 characters in body; edited body

I don't think the Seifert-van Kampen theorem follows from these kinds of considerations. Rather, it is the statement that the fundamental groupoid functor $\tau_{\leq 1}$ preserves homotopy colimits. That's because it is left adjoint to the inclusion of 1-groupoids in $\infty$-groupoids (a generalization to any $\infty$-category is in Higher Topos Theory, Prop. 5.5.6.18).

[Removed the part on cohomology because it got me confused!]

Added: I attempted to explain the long exact sequences in cohomology without using spectra, but that was wrong. Here's a correct explanation. The reduced cohomology of a pointed space $X$ depends only on its stabilization $\Sigma^\infty X$: it is given by $H^n(X;A)=[\Sigma^\infty X,\Sigma^n HA]$ where $HA$ is an infinite delooping of $K(A,0)$. The functor $\Sigma^\infty$ preserves cofiber sequences (being left adjoint). Now if you have a cofiber sequence in a stable category, you get long exact sequences of abelian groups when you apply functors like $[E,-]$ or $[-,E]$.

show/hide this revision's text 2 deleted 348 characters in body

Starting from a cofiber sequence $A\to B\to C$ of pointed spaces, you get a fiber sequence of mapping spaces

$Map(C,X)\to Map(B,X)\to Map(A,X)$

for any $X$. That's because $Map(-,X)$ transforms homotopy colimits into homotopy limits. Similarly, $\Omega Map(A,X)=Map(A,\Omega X)$ because $Map(A,-)$ preserves homotopy limits. Applying to $X=K(G,n)$, you get the usual long exact sequence in cohomology.

I don't think the Seifert-van Kampen theorem follows from these kinds of considerations. Rather, it is the statement that the fundamental groupoid functor $\tau_{\leq 1}$ preserves homotopy colimits. That's because it is left adjoint to the inclusion of 1-groupoids in $\infty$-groupoids (a generalization to any $\infty$-category is in Higher Topos Theory, Prop. 5.5.6.18).

[Removed the part on cohomology because it got me confused!]

show/hide this revision's text 1