Verdier duality on test categories: 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 state2Nothing it needs is blocked, so the statement can be written in Lean.planned5Described in the blueprint only.
graph LR
n0("Sheaf pushforward toolkit"):::can_state
n1("Verdier duality formalism"):::can_state
n2["Test categories"]:::planned
n3("Simplex generators"):::planned
n4("Verdier duality on test categories"):::planned
n5("Direct images and open extension"):::planned
n6("Objects supported in an open set"):::planned
n0 -.-> n4
n0 -.-> n5
n1 -.-> n4
n1 -.-> n5
n3 -.-> n4
n2 --> n6
n2 --> n3
n2 --> n4
n2 --> n5
n4 -.-> n6
n4 -.-> n5
n5 -.-> n6
click n0 "../../../roadmap/background/index.html#sheaf-pushforward" "Sheaf pushforward toolkit — 1 item · 1 ready to state"
click n1 "../../../roadmap/background/index.html#verdier-duality" "Verdier duality formalism — 1 item · 1 ready to state"
click n2 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
click n3 "../../../roadmap/sheaf-categories/index.html#simplex-generators" "Simplex generators — 1 item · 1 planned"
class n4 focus
click n4 "../../../roadmap/sheaf-categories/index.html#test-duality" "Verdier duality on test categories — 1 item · 1 planned"
click n5 "../../../roadmap/sheaf-categories/index.html#test-pushforward" "Direct images and open extension — 1 item · 1 planned"
click n6 "../../../roadmap/localization/index.html#compact-support" "Objects supported in an open set — 1 item · 1 planned"