diff --git a/spaces-simplicial.tex b/spaces-simplicial.tex index e2d107ffa..f4d3708e6 100644 --- a/spaces-simplicial.tex +++ b/spaces-simplicial.tex @@ -992,7 +992,7 @@ \section{Augmentations of simplicial sites} a_{0, *}\mathcal{F}_0 \to a_{0, *}f_{\varphi, *} f_\varphi^{-1}\mathcal{F}_0 \xrightarrow{\mathcal{F}(\varphi)} -a_{0, *}f_{\varphi, *} \mathcal{F}_0 = a_{1, *}\mathcal{F}_1 +a_{0, *}f_{\varphi, *} \mathcal{F}_1 = a_{1, *}\mathcal{F}_1 $$ where the first arrow comes from $1 \to f_{\varphi, *} f_\varphi^{-1}$. Let $\mathcal{G}_\bullet$ denote the constant simplicial sheaf