Germ description: 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("Cutoff"):::planned n2("Objects supported in an open set"):::planned n3("Germ description"):::planned n4["Character classes"]:::planned n5("Covariance of character classes"):::planned n6("Open cover dense inclusion"):::planned n7("Equal parts"):::planned n4 --> n5 n4 --> n7 n2 --> n3 n2 --> n6 n1 -.-> n2 n1 -.-> n3 n1 -.-> n6 n3 --> n4 n3 -.-> n5 n3 -.-> n7 n3 -.-> n6 n0 --> n2 n0 --> n1 n0 --> n3 n0 --> n6 click n0 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned" click n1 "../../../roadmap/localization/index.html#cutoff" "Cutoff — 1 item · 1 planned" click n2 "../../../roadmap/localization/index.html#compact-support" "Objects supported in an open set — 1 item · 1 planned" class n3 focus click n3 "../../../roadmap/localization/index.html#germs" "Germ description — 1 item · 1 planned" click n4 "../../../roadmap/character-classes/index.html#character-classes" "Character classes — 1 item · 1 planned" click n5 "../../../roadmap/character-classes/index.html#class-covariance" "Covariance of character classes — 1 item · 1 planned" click n6 "../../../roadmap/localization/index.html#open-cover" "Open cover dense inclusion — 1 item · 1 planned" click n7 "../../../roadmap/character-classes/index.html#equal-parts" "Equal parts — 1 item · 1 planned"