Relative singular chains commute with topological 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 proved4Proved, and every prerequisite is fully proved too.ready to state1Prerequisites are stated, so this can be written down.

graph LR n0["Relative singular chains and homology"]:::fully_proved n1["The coproduct pair of a family of pointed spaces"]:::fully_proved n2["Relative singular chains commute with topological coproducts"]:::fully_proved n3["Relative chains commute with coproducts of arbitrary pairs"]:::can_state n4["Relative homology commutes with exact coproducts"]:::fully_proved n1 --> n2 n2 -.-> n3 n2 --> n4 n0 --> n3 n0 --> n2 click n0 "../../../../../roadmap/homology/simplicial-and-singular/relative-homology/index.html#relative-singular-homology" "Relative singular chains and homology — 1 item · 1 fully proved" click n1 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#sigma-pointed-pair" "The coproduct pair of a family of pointed spaces — 1 item · 1 fully proved" class n2 focus click n2 "../../../../../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" click n3 "../../../../../roadmap/homology/computations-and-applications/local-degree/index.html#relative-chains-sigma-pair" "Relative chains commute with coproducts of arbitrary pairs — 1 item · 1 ready to state" click n4 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#relative-homology-coproduct" "Relative homology commutes with exact coproducts — 1 item · 1 fully proved"