Update notes_week1.tex

Replaced "weak infinity groupoids" by "weak $\infty$-groupoids".
RobertHarper · Aug 31, 2014 · 5b7971f · 5b7971f
1 parent db92cfd
commit 5b7971f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/notes_week1.tex b/notes_week1.tex
@@ -135,7 +135,7 @@ \subsubsection{\Acl{HoTT}}
 \end{equation*}
 
 \noindent Since types are perceived as abstract spaces in \acs{HoTT}, \acs{HoTT} gives rise to
-a intuitionistic theory of \emph{weak infinity groupoids}.
+a intuitionistic theory of \emph{weak $\infty$-groupoids}.
 
 \section{\Acl{IPL}}\label{sec:ipl}