The coproduct of a family of topological 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 proved3Proved, and every prerequisite is fully proved too.ready to state1Prerequisites are stated, so this can be written down.

graph LR n0["The coproduct pair of a family of pointed spaces"]:::fully_proved n1["The coproduct of a family of topological pairs"]:::fully_proved n2["Relative chains commute with coproducts of arbitrary pairs"]:::can_state n3["Disjoint punctured neighborhoods form the deleted union pair"]:::fully_proved n1 --> n3 n1 --> n2 n0 --> n1 click n0 "../../../../../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 n1 focus click n1 "../../../../../roadmap/homology/computations-and-applications/local-degree/index.html#sigma-topological-pair" "The coproduct of a family of topological pairs — 1 item · 1 fully proved" click n2 "../../../../../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 n3 "../../../../../roadmap/homology/computations-and-applications/local-degree/index.html#disjoint-punctured-pair-iso" "Disjoint punctured neighborhoods form the deleted union pair — 1 item · 1 fully proved"