Action of degree: 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. ready to state1Nothing it needs is blocked, so the statement can be written in Lean.planned6Described in the blueprint only.
graph LR
n0("Hatcher degree facts"):::can_state
n1["Test categories"]:::planned
n2("Direct images and open extension"):::planned
n3("Homotopy invariance"):::planned
n4("Fixed sphere lattice"):::planned
n5("Action of degree"):::planned
n6("Contradiction on the invariant chart"):::planned
n0 -.-> n5
n3 -.-> n5
n1 --> n3
n1 --> n2
n1 --> n5
n1 --> n4
n2 --> n3
n2 -.-> n5
n5 -.-> n6
n4 -.-> n6
n4 --> n5
click n0 "../../../roadmap/background/index.html#hatcher-facts" "Hatcher degree facts — 1 item · 1 ready to state"
click n1 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
click n2 "../../../roadmap/sheaf-categories/index.html#test-pushforward" "Direct images and open extension — 1 item · 1 planned"
click n3 "../../../roadmap/sheaf-categories/index.html#homotopy-invariance" "Homotopy invariance — 1 item · 1 planned"
click n4 "../../../roadmap/sphere-lattice/index.html#sphere-lattice" "Fixed sphere lattice — 1 item · 1 planned"
class n5 focus
click n5 "../../../roadmap/sphere-lattice/index.html#degree-action" "Action of degree — 1 item · 1 planned"
click n6 "../../../roadmap/character-classes/index.html#contradiction" "Contradiction on the invariant chart — 1 item · 1 planned"