s/an usual/a usual

jpvillaisaza · Apr 22, 2014 · 539877d · 539877d
1 parent 5115208
commit 539877d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/acknowledgements.tex b/acknowledgements.tex
@@ -3,7 +3,7 @@ \chapter{Acknowledgements}
 
 Pending.
 
-%% I'm very grateful to my supervisor, Andrés Sicard-Ramírez, especially
+%% I'm very grateful to my supervisor, Andrés Sicard Ramírez, especially
 %% for introducing me to category theory and functional programming, to
 %% my parents, Ana María Isaza Builes and Carlos Fernando Villa Gómez,
 %% and to my boyfriend and proofreader, Nicolás Arbeláez Estrada. Thank

diff --git a/algebras.tex b/algebras.tex
@@ -31,7 +31,7 @@ \chapter{Algebras and Initial Algebras}
 This idea generalizes to algebraic data types in the sense that one
 such type is the initial algebra over an endofunctor and that this
 fact uniquely determines a function that encapsulates common patterns
-recursion concerning that type.
+of recursion concerning that type.
 
 \section{Algebras and Initial Algebras}
 \label{sec:algebras}

diff --git a/functors.tex b/functors.tex
@@ -532,7 +532,7 @@ \section{Functors in Haskell}
 
   %% \parencites[149]{lipovaca-2011}[21]{yorgey-2009}
 
-  In a similar way, the coproduct functor is an usual example of
+  In a similar way, the coproduct functor is a usual example of
   functors in Haskell. Its type constructor is \texthaskell{Either a}
   (see Example \ref{ex:functor-coproduct-haskell}), and its
   \texthaskell{fmap} function is uniquely defined as follows: