Labels not included in headings below???
Kahn et al: The Bloch-Ogus-Gabber theorem
I have gone through the theories in world AG, and given them a (sometimes two) label. These labels are: Pure (includes sheaf theory), Mixed (includes oriented and homotopic theories), Charp, Arithmetic, Stacks, Witt, Cat, Kth, Log. In addition, a few times I used the label Later, but this was done only sporadically. The Charp label should be split later, perhaps into Charp, Rigid, and p-adic, or something like that - perhaps also integrating Log, I don’t know.
Possibly, each label could correspond to a chapter in the book. For the first big drive, i.e. the first draft of a book, should use the six most interesting labels above, including the worlds KT, CT and AAG (Arithmetic algebraic geometry) (Arithmetic algebraic geometry) into the corresponding label groups.
nLab page on 00 Things to add somewhere