typo

group.tex

@@ -2753,7 +2753,7 @@ \section{The classifying type is the type of torsors}
   Guess which one!
 \end{remark}
 
-For $z:\BG$, recall from~\cref{def:principaltorsor}\eqref{eq:pathsp}
+For $y:\BG$, recall from~\cref{def:principaltorsor}\eqref{eq:pathsp}
 the definition of $\pathsp y:\BG\to\Set$ as the
 $G$-set with $\pathsp y(z)\jdeq(y\eqto z)$
 (so that in particular $\princ G\jdeq\pathsp{\shape_G}$).