Homotopy of character classes: 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. What the colours mean

planned5Described in the blueprint only.

graph LR n0("Homotopy invariance"):::planned n1["Character classes"]:::planned n2("Covariance of character classes"):::planned n3("Homotopy of character classes"):::planned n4("Contradiction on the invariant chart"):::planned n1 --> n2 n1 --> n3 n2 -.-> n3 n2 -.-> n4 n3 -.-> n4 n0 -.-> n3 click n0 "../../../roadmap/sheaf-categories/index.html#homotopy-invariance" "Homotopy invariance — 1 item · 1 planned" click n1 "../../../roadmap/character-classes/index.html#character-classes" "Character classes — 1 item · 1 planned" click n2 "../../../roadmap/character-classes/index.html#class-covariance" "Covariance of character classes — 1 item · 1 planned" class n3 focus click n3 "../../../roadmap/character-classes/index.html#class-homotopy" "Homotopy of character classes — 1 item · 1 planned" click n4 "../../../roadmap/character-classes/index.html#contradiction" "Contradiction on the invariant chart — 1 item · 1 planned"