Relative homology commutes with coproducts of arbitrary pairs: 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 proved1Proved, and every prerequisite is fully proved too.ready to state1Prerequisites are stated, so this can be written down.planned2Described in the blueprint only.

graph LR n0["Relative chains commute with coproducts of arbitrary pairs"]:::can_state n1["Relative homology commutes with exact coproducts"]:::fully_proved n2["Relative homology commutes with coproducts of arbitrary pairs"]:::planned n3["Finite-puncture homology is the coproduct of the local groups"]:::planned n0 --> n2 n2 --> n3 n1 --> n2 click n0 "../../../../../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 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" class n2 focus 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/local-degree/index.html#finite-puncture-homology-coproduct" "Finite-puncture homology is the coproduct of the local groups — 1 item · 1 planned"