Probably I am the only one feeling this as a problem. And in any case I agree we shouldn't worry about it until the next step of the pubblication process.
However, it is not logical that chapter 6 contains a section about derived algebraic geometry. Because the logic behind the choice of the argument is the following:
(1) chapters 1 to 4: "category theory";
(2) chapters 5 and 6: higher topos theory (both underived - chapter 5 - and derived chapter 6);
(3) chapters 7 to 10: derived algebraic geometry (and chapter 10 should be moved in front of all the others in this section, as far as I understand the subject);
(4) chapters 11 to 13: advanced topics.
Therefore the part of chapter 6 concerning derived geometry should be moved either in chapter 8 or in chapter 9. On the other side, the notion of geometric stacks, which is recalled in chapter 9 should be moved in chapter 6 and formulated in "context-free" way (i.e. in a generic model topos).
Yes, it would alter the original exposition, but we would gain in internal coherence!
Probably I am the only one feeling this as a problem. And in any case I agree we shouldn't worry about it until the next step of the pubblication process.
However, it is not logical that chapter 6 contains a section about derived algebraic geometry. Because the logic behind the choice of the argument is the following: (1) chapters 1 to 4: "category theory"; (2) chapters 5 and 6: higher topos theory (both underived - chapter 5 - and derived chapter 6); (3) chapters 7 to 10: derived algebraic geometry (and chapter 10 should be moved in front of all the others in this section, as far as I understand the subject); (4) chapters 11 to 13: advanced topics.
Therefore the part of chapter 6 concerning derived geometry should be moved either in chapter 8 or in chapter 9. On the other side, the notion of geometric stacks, which is recalled in chapter 9 should be moved in chapter 6 and formulated in "context-free" way (i.e. in a generic model topos).
Yes, it would alter the original exposition, but we would gain in internal coherence!