Dependency graph

Each box is a chapter. An arrow from one chapter to another means a proof in the second uses a result from the first; the thicker the arrow, the more proofs. Only citations made inside a result count, so the chapter introductions, whose job is to cite the rest of the book, do not crowd the picture. A dependency that a longer chain already implies is not drawn, and neither is one made only in passing — a remark, an example, an exercise — nor one that points forward in the book, which is a signpost and not something the earlier chapter rests on. So what you see is the skeleton. Hover over a chapter to bring both back, as dashed arrows and as counts beside the graph; click to open it.

The graph is the overview. What a reader acts on is one section: choose it below and the chapters it needs light up, with the number of sections needed from each. For the paths this book declares, worked out section by section, see the reading paths; for the results themselves, the list of results.