The pointed wedge of a family of 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 proved7Proved, and every prerequisite is fully proved too.
graph LR
n0["The pointed wedge of a family of spaces"]:::fully_proved
n1("The standard cover of a well-pointed wedge"):::fully_proved
n2["The fundamental group of a wedge"]:::fully_proved
n3["Pointed wedges of path-connected spaces are path-connected"]:::fully_proved
n4["Continuous maps out of a pointed wedge"]:::fully_proved
n5["A wedge of circles is an indexed one-cell attachment"]:::fully_proved
n6["The pointed wedge is the point quotient of the sigma pair"]:::fully_proved
n0 --> n3
n0 --> n4
n0 --> n5
n0 --> n2
n0 --> n1
n0 --> n6
n4 --> n5
n4 -.-> n6
n1 --> n2
class n0 focus
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/index.html#well-pointed-wedge-cover" "The standard cover of a well-pointed wedge — 1 item · 1 fully proved"
click n2 "../../../../roadmap/fundamental-group/van-kampen/index.html#wedge-fundamental-group" "The fundamental group of a wedge — 1 item · 1 fully proved"
click n3 "../../../../roadmap/fundamental-group/van-kampen/presentation-complex/index.html#pointed-wedge-path-connected" "Pointed wedges of path-connected spaces are path-connected — 1 item · 1 fully proved"
click n4 "../../../../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 n5 "../../../../roadmap/fundamental-group/van-kampen/presentation-complex/index.html#wedge-circles-one-skeleton" "A wedge of circles is an indexed one-cell attachment — 1 item · 1 fully proved"
click n6 "../../../../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"