Functorial point quotients 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. fully proved6Proved, and every prerequisite is fully proved too.
graph LR
n0["Functorial point quotients of topological pairs"]:::fully_proved
n1["The zero face identifies the two simplex point quotients"]:::fully_proved
n2["Topology of the point-quotient projection"]:::fully_proved
n3("Good-pair relative homology is reduced quotient homology"):::fully_proved
n4["The good-pair quotient comparison is natural"]:::fully_proved
n5["The pointed wedge is the point quotient of the sigma pair"]:::fully_proved
n3 --> n4
n0 --> n5
n0 --> n1
n0 --> n3
n0 --> n4
n0 --> n2
class n0 focus
click n0 "../../../../../../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 n1 "../../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#standard-simplex-zero-face-point-quotient" "The zero face identifies the two simplex point quotients — 1 item · 1 fully proved"
click n2 "../../../../../../roadmap/homology/simplicial-and-singular/relative-homology/good-pair-quotient/index.html#point-quotient-projection-topology" "Topology of the point-quotient projection — 1 item · 1 fully proved"
click n3 "../../../../../../roadmap/homology/simplicial-and-singular/relative-homology/good-pair-quotient/index.html#good-pair-point-quotient-relative-homology" "Good-pair relative homology is reduced quotient homology — 1 item · 1 fully proved"
click n4 "../../../../../../roadmap/homology/simplicial-and-singular/relative-homology/good-pair-quotient/index.html#good-pair-quotient-comparison-naturality" "The good-pair quotient comparison is natural — 1 item · 1 fully proved"
click n5 "../../../../../../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"