Sign conventions: 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. planned2Described in the blueprint only.
graph LR
n0["Test categories"]:::planned
n1("Sign conventions"):::planned
n0 --> n1
click n0 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
class n1 focus
click n1 "../../../roadmap/sheaf-categories/index.html#sign-conventions" "Sign conventions — 1 item · 1 planned"