Typo: s/chose/choose/ (#258)

src/content/2.3/free-monoids.tex

@@ -110,7 +110,7 @@ \section{Free Monoid Universal Construction}
 selecting an object that best fits a given pattern. So if we want to use
 the universal construction to ``construct'' a free monoid, we have to
 consider a whole bunch of monoids from which to pick one. We need a
-whole category of monoids to chose from. But do monoids form a category?
+whole category of monoids to choose from. But do monoids form a category?
 
 Let's first look at monoids as sets equipped with additional structure
 defined by unit and multiplication. We'll pick as morphisms those
@@ -268,4 +268,4 @@ \section{Challenges}
 \item
   What is the free monoid generated by a one-element set? Can you see
   what it's isomorphic to?
-\end{enumerate}
+\end{enumerate}