Relative homology commutes with exact coproducts: local context

Project map · Chapter map · Full theorem DAG · Open textbook statement

This local map shows one dependency hop in either direction. The highlighted item is the current focus. What the colours mean

fully proved3Proved, and every prerequisite is fully proved too.planned1Described in the blueprint only.

graph LR n0["Relative singular chains commute with topological coproducts"]:::fully_proved n1["Relative homology commutes with exact coproducts"]:::fully_proved n2["Relative homology commutes with coproducts of arbitrary pairs"]:::planned n3("Reduced homology of a wedge is the direct sum of the summands"):::fully_proved n1 --> n2 n1 --> n3 n0 --> n1 click n0 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#singular-relative-chains-coproduct" "Relative singular chains commute with topological coproducts — 1 item · 1 fully proved" class n1 focus click n1 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#relative-homology-coproduct" "Relative homology commutes with exact coproducts — 1 item · 1 fully proved" click n2 "../../../../../roadmap/homology/computations-and-applications/local-degree/index.html#relative-homology-sigma-pair" "Relative homology commutes with coproducts of arbitrary pairs — 1 item · 1 planned" click n3 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#wedge-reduced-homology" "Reduced homology of a wedge is the direct sum of the summands — 1 item · 1 fully proved"