Contractible quotient: 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. planned8Described in the blueprint only.
graph LR
n0["Test categories"]:::planned
n1("Direct images and open extension"):::planned
n2("Homotopy invariance"):::planned
n3("Point groups"):::planned
n4("Witt localization"):::planned
n5("Contractible quotient"):::planned
n6["Character classes"]:::planned
n7("Equal parts"):::planned
n6 --> n7
n4 -.-> n5
n2 -.-> n5
n0 --> n4
n0 --> n2
n0 --> n1
n0 --> n5
n0 --> n3
n1 --> n2
n1 -.-> n5
n5 --> n6
n5 -.-> n7
n3 -.-> n5
click n0 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
click n1 "../../../roadmap/sheaf-categories/index.html#test-pushforward" "Direct images and open extension — 1 item · 1 planned"
click n2 "../../../roadmap/sheaf-categories/index.html#homotopy-invariance" "Homotopy invariance — 1 item · 1 planned"
click n3 "../../../roadmap/sphere-lattice/index.html#point-groups" "Point groups — 1 item · 1 planned"
click n4 "../../../roadmap/localization/index.html#witt-localization" "Witt localization — 1 item · 1 planned"
class n5 focus
click n5 "../../../roadmap/sphere-lattice/index.html#contractible-quotient" "Contractible quotient — 1 item · 1 planned"
click n6 "../../../roadmap/character-classes/index.html#character-classes" "Character classes — 1 item · 1 planned"
click n7 "../../../roadmap/character-classes/index.html#equal-parts" "Equal parts — 1 item · 1 planned"