The pointed wedge is the point quotient of the sigma pair: 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["The pointed wedge of a family of spaces"]:::fully_proved
n1["Continuous maps out of a pointed wedge"]:::fully_proved
n2["Functorial point quotients of topological pairs"]:::fully_proved
n3["The coproduct pair of a family of pointed spaces"]:::fully_proved
n4["The pointed wedge is the point quotient of the sigma pair"]:::fully_proved
n5("Reduced homology of a wedge is the direct sum of the summands"):::fully_proved
n0 --> n1
n0 --> n4
n1 -.-> n4
n4 --> n5
n3 --> n4
n2 --> n4
click n0 "../../../../../roadmap/fundamental-group/van-kampen/index.html#pointed-wedge" "The pointed wedge of a family of spaces — 1 item · 1 fully proved"
click n1 "../../../../../roadmap/fundamental-group/van-kampen/presentation-complex/index.html#pointed-wedge-universal-property" "Continuous maps out of a pointed wedge — 1 item · 1 fully proved"
click n2 "../../../../../roadmap/homology/simplicial-and-singular/relative-homology/good-pair-quotient/index.html#point-quotient-functor" "Functorial point quotients of topological pairs — 1 item · 1 fully proved"
click n3 "../../../../../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 n4 focus
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#wedge-reduced-homology" "Reduced homology of a wedge is the direct sum of the summands — 1 item · 1 fully proved"