Objects supported in an open set: 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("Verdier duality on test categories"):::planned
n2("Direct images and open extension"):::planned
n3("Cutoff"):::planned
n4("Objects supported in an open set"):::planned
n5("Witt localization"):::planned
n6("Germ description"):::planned
n7("Open cover dense inclusion"):::planned
n4 --> n6
n4 --> n7
n4 --> n5
n3 -.-> n4
n3 -.-> n6
n3 -.-> n7
n6 -.-> n7
n0 --> n4
n0 --> n3
n0 --> n6
n0 --> n7
n0 --> n5
n0 --> n1
n0 --> n2
n1 -.-> n4
n1 -.-> n2
n2 -.-> n4
n2 -.-> n3
n2 -.-> n7
click n0 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
click n1 "../../../roadmap/sheaf-categories/index.html#test-duality" "Verdier duality on 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/localization/index.html#cutoff" "Cutoff — 1 item · 1 planned"
class n4 focus
click n4 "../../../roadmap/localization/index.html#compact-support" "Objects supported in an open set — 1 item · 1 planned"
click n5 "../../../roadmap/localization/index.html#witt-localization" "Witt localization — 1 item · 1 planned"
click n6 "../../../roadmap/localization/index.html#germs" "Germ description — 1 item · 1 planned"
click n7 "../../../roadmap/localization/index.html#open-cover" "Open cover dense inclusion — 1 item · 1 planned"