The coproduct pair of a family of pointed spaces: 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.

fully proved6Proved, and every prerequisite is fully proved too.

graph LR n0["Relative homology at a basepoint is reduced homology"]:::fully_proved n1["The coproduct pair of a family of pointed spaces"]:::fully_proved n2["The coproduct of a family of topological pairs"]:::fully_proved n3["Relative singular chains commute with topological coproducts"]:::fully_proved n4["The pointed wedge is the point quotient of the sigma pair"]:::fully_proved n5("A nonempty coproduct of pointed good pairs is good"):::fully_proved n1 --> n2 n1 --> n4 n1 --> n5 n1 --> n3 n0 --> n1 click n0 "../../../../../roadmap/homology/simplicial-and-singular/relative-homology/index.html#pointed-relative-reduced-homology" "Relative homology at a basepoint is reduced homology — 1 item · 1 fully proved" class n1 focus 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" click n2 "../../../../../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 n3 "../../../../../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 n4 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#pointed-wedge-point-quotient" "The pointed wedge is the point quotient of the sigma pair — 1 item · 1 fully proved" click n5 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#sigma-good-pair" "A nonempty coproduct of pointed good pairs is good — 1 item · 1 fully proved"