File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -110,7 +110,7 @@ \section{Free Monoid Universal Construction}
110110selecting an object that best fits a given pattern. So if we want to use
111111the universal construction to `` construct'' a free monoid, we have to
112112consider a whole bunch of monoids from which to pick one. We need a
113- whole category of monoids to chose from. But do monoids form a category?
113+ whole category of monoids to choose from. But do monoids form a category?
114114
115115Let's first look at monoids as sets equipped with additional structure
116116defined by unit and multiplication. We'll pick as morphisms those
@@ -268,4 +268,4 @@ \section{Challenges}
268268\item
269269 What is the free monoid generated by a one-element set? Can you see
270270 what it's isomorphic to?
271- \end {enumerate }
271+ \end {enumerate }
You can’t perform that action at this time.
0 commit comments