Fix small typo in comphaus_copresentable LaTeX source

Author: dschepler

static/pdf/comphaus_copresentable.pdf

@@ -39,7 +39,7 @@
 	\end{proof}
 \end{lemma}
 
-This shows that $\CompHaus^{\op}$ is equivalent to the category of algebras over the monad $S \mapsto \Hom_{\CompHaus}([0, 1]^S, [0, 1])$. We may view such algebras as being models of the algebraic theory of all continuous functions $[0,1]^S \to [0,1]$. In fact, we can show that any such function only depends on countably many coordinates in the domain, so this operations of this theory will be generated by the continuous functions $[0,1]^\omega \to [0,1]$.
+This shows that $\CompHaus^{\op}$ is equivalent to the category of algebras over the monad $S \mapsto \Hom_{\CompHaus}([0, 1]^S, [0, 1])$. We may view such algebras as being models of the algebraic theory of all continuous functions $[0,1]^S \to [0,1]$. In fact, we can show that any such function only depends on countably many coordinates in the domain, so that operations of this theory will be generated by the continuous functions $[0,1]^\omega \to [0,1]$.
 
 \begin{lemma}
 	The object $[0,1]$ of $\CompHaus$ is $\aleph_1$-copresentable.