Define functor category when defining functor categories, not `Cat'

background.tex

@@ -89,9 +89,11 @@
 \end{example}
 
 \begin{example}\label{ex:cat}
-  The \de{category} of functors \(\fc{\C}{\D}\)
-  has \defn{category}{categories} as \des{object} and \des{functor} as
-  \des{morphism}, given that \(\C\) is \de{small}.
+  Given the \defn{category}{categories} \(\C\) (\de{small}) and
+  \(\D\), the \emph{functor category} \(\fc{\C}{\D}\) has
+  \des{functor} \(F : \map{\C}{\D}\) as \des{object} and
+  \defn{nattran}{natural transformations} \(\eta : \map{F}{G}\) as
+  \des{morphism}.
 \end{example}
 
 \begin{example}\label{ex:veck}