Kerodon

Typo: In the proof of Proposition 1.1.4.8, $\sum_{v \in \operatorname{Vert}(G(X_{\cdot}))}$ should be $\sum_{v \in \operatorname{Vert}(G(X_{\cdot}))} \Delta^0$ (or $\sum_{v \in \operatorname{Vert}(G(X_{\cdot}))} \{ v \}$). The same for remark 1.1.4.10.

Yep; thanks!

Typo: In Example 1.1.5.4, the third bullet point should read $X_1$ and $X_0$ instead of $S_1$ and $S_0$ respectively.

Yep; thanks!

This isn't important, but I'm somewhat displeased with the chosen morphisms of directed graphs. I'd replace it with the equivalent category of reflexive graphs, where in addition to $s,t\colon Edge(G)\rightrightarrows Vert(G)$ there is a map $i\colon Vert(G)\to Edge(G)$ that is a section of $s$ and $t$, and morphisms now map edges to edges, vertices to vertices and commute with all the structure (and when constructing such a graph from a simplicial set, we now take all the 1-simplices as edges).