diff --git a/categories.tex b/categories.tex
index e7028b25c200fadc7c4173f4a17eab12bff8de6d..79d877b32fc6275f0403612be335c687fc2d0831 100644
--- a/categories.tex
+++ b/categories.tex
@@ -77,7 +77,7 @@
 
 \begin{definition}\label{def:faithful}\label{def:full}\label{def:fullfaith}\label{def:functor-equivalence}
   A functor \(F : \map{\C}{\D}\) is called \emph{faithful}, if the
-  object map \(F\) is injective, \emph{full}, if the \(F\) is
+  morphism map \(F\) is injective, \emph{full}, if the \(F\) is
   surjective, \emph{fully faithful}, if an \de{iso} is given between
   every \de{object} in \(\Ob{\D}\) and \(\Ob{F(\C)}\), and
   \emph{equivalence}, if all of the above hold.