Exercise 3.4.7 (Mayer–Vietoris sequence). Let \(F\colon \Ho (\An _{*,\geq 1})\catop \to \Ab \) satisfy the wedge axiom and the Mayer–Vietoris property, and consider a pushout square of connected pointed animae

Commutative diagram generated from the LaTeX source

Show that the cofiber of \((i,j)\colon A\vee B\to X\) is isomorphic to \(\Sigma C\), and use the coPuppe sequence to construct a long exact Mayer–Vietoris sequence \[ \cdots \to F(\Sigma X)\to F(\Sigma A)\times F(\Sigma B)\to F(\Sigma C)\to F(X)\to F(A)\times F(B)\to F(C). \] Determine the maps and signs explicitly.

Generated from the authoritative LaTeX source.