Real orthogonality: 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

planned4Described in the blueprint only.

graph LR n0("Direct images and open extension"):::planned n1("Character coproducts"):::planned n2("Real orthogonality"):::planned n3["Character classes"]:::planned n1 -.-> n3 n1 --> n2 n2 -.-> n3 n0 -.-> n2 click n0 "../../../roadmap/sheaf-categories/index.html#test-pushforward" "Direct images and open extension — 1 item · 1 planned" click n1 "../../../roadmap/character-classes/index.html#character-coproduct" "Character coproducts — 1 item · 1 planned" class n2 focus click n2 "../../../roadmap/character-classes/index.html#orthogonality" "Real orthogonality — 1 item · 1 planned" click n3 "../../../roadmap/character-classes/index.html#character-classes" "Character classes — 1 item · 1 planned"