CW-subcomplex regular neighborhoods dependency map

Parent map · Full theorem DAG

This map shows the container's direct articles. Nested containers are collapsed and clickable; dependency edges are rolled up from their leaves.

fully proved7Proved, and every prerequisite is fully proved too.

graph LR n0["The radial collar of a cell boundary"]:::fully_proved n1["A regular neighborhood strongly deformation retracts onto its subcomplex"]:::fully_proved n2["A common regular-neighborhood system for subcomplexes"]:::fully_proved n3["Intersections of CW subcomplexes"]:::fully_proved n4("Subcomplex decompositions admit compatible neighborhoods"):::fully_proved n5["External chapter: Homology<br/><small>2 items · 2 fully proved</small>"]:::boundary n5 --> n1 n0 --> n2 n1 --> n4 n2 --> n1 n2 --> n4 n3 --> n2 n3 --> n4 n4 -.-> n5 click n0 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/cw-subcomplex-neighborhood/index.html#cell-boundary-collar" "The radial collar of a cell boundary — 1 item · 1 fully proved" click n1 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/cw-subcomplex-neighborhood/index.html#regular-neighborhood-strong-deformation-retract" "A regular neighborhood strongly deformation retracts onto its subcomplex — 1 item · 1 fully proved" click n2 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/cw-subcomplex-neighborhood/index.html#regular-neighborhood-system" "A common regular-neighborhood system for subcomplexes — 1 item · 1 fully proved" click n3 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/cw-subcomplex-neighborhood/index.html#subcomplex-intersection" "Intersections of CW subcomplexes — 1 item · 1 fully proved" click n4 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/cw-subcomplex-neighborhood/index.html#subcomplex-neighborhood-cover" "Subcomplex decompositions admit compatible neighborhoods — 1 item · 1 fully proved" click n5 "../../../../chapters/homology.html" "Homology — 2 items · 2 fully proved"