Sheaf categories and homotopy invariance dependency map
Project map · Full theorem DAG · Open textbook chapter
This map contains the 10 decomposed items in this chapter. Dashed chapter boxes stand for external prerequisites or dependents. ready to state4Nothing it needs is blocked, so the statement can be written in Lean.planned24Described in the blueprint only.
graph LR
n0("Two endpoint forms"):::planned
n1("Homotopy invariance"):::planned
n2("Products with the interval"):::planned
n3("Product shift sign"):::planned
n4("Sign conventions"):::planned
n5("Simplex generators"):::planned
n6("Symmetric cone"):::can_state
n7["Test categories"]:::planned
n8("Verdier duality on test categories"):::planned
n9("Direct images and open extension"):::planned
n10["External chapter: Background prerequisites<br/><small>3 items · 3 ready to state</small>"]:::boundary
n11["External chapter: Character classes and the contradiction<br/><small>3 items · 3 planned</small>"]:::boundary
n12["External chapter: Localization, germs, and dense subcategories<br/><small>5 items · 5 planned</small>"]:::boundary
n13["External chapter: A bounded lattice on the test sphere<br/><small>7 items · 7 planned</small>"]:::boundary
n10 -. 2 .-> n2
n10 -.-> n7
n10 -. 2 .-> n8
n10 -. 2 .-> n9
n0 -.-> n1
n1 -.-> n11
n1 -. 4 .-> n13
n2 -.-> n0
n2 --> n3
n3 -.-> n0
n5 -.-> n13
n5 -.-> n2
n5 -.-> n8
n6 -.-> n0
n7 -->|5| n12
n7 -->|7| n13
n7 --> n0
n7 --> n1
n7 --> n2
n7 --> n4
n7 --> n5
n7 --> n8
n7 --> n9
n8 -.-> n12
n8 -.-> n9
n9 -. 2 .-> n11
n9 -. 3 .-> n12
n9 -. 2 .-> n13
n9 --> n1
click n0 "../../roadmap/sheaf-categories/index.html#endpoint-forms" "Two endpoint forms — 1 item · 1 planned"
click n1 "../../roadmap/sheaf-categories/index.html#homotopy-invariance" "Homotopy invariance — 1 item · 1 planned"
click n2 "../../roadmap/sheaf-categories/index.html#interval-products" "Products with the interval — 1 item · 1 planned"
click n3 "../../roadmap/sheaf-categories/index.html#product-shift-sign" "Product shift sign — 1 item · 1 planned"
click n4 "../../roadmap/sheaf-categories/index.html#sign-conventions" "Sign conventions — 1 item · 1 planned"
click n5 "../../roadmap/sheaf-categories/index.html#simplex-generators" "Simplex generators — 1 item · 1 planned"
click n6 "../../roadmap/sheaf-categories/index.html#symmetric-cone" "Symmetric cone — 1 item · 1 ready to state"
click n7 "../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
click n8 "../../roadmap/sheaf-categories/index.html#test-duality" "Verdier duality on test categories — 1 item · 1 planned"
click n9 "../../roadmap/sheaf-categories/index.html#test-pushforward" "Direct images and open extension — 1 item · 1 planned"
click n10 "background.html" "Background prerequisites — 3 items · 3 ready to state"
click n11 "character-classes.html" "Character classes and the contradiction — 3 items · 3 planned"
click n12 "localization.html" "Localization, germs, and dense subcategories — 5 items · 5 planned"
click n13 "sphere-lattice.html" "A bounded lattice on the test sphere — 7 items · 7 planned"