diff --git a/docs/algebra.tex b/docs/algebra.tex
index 8c4b6c8cfec1a5f5ea1a844effc53531e544b463..c0bb43698da0ff75ba1420f1b412b2069daa38fc 100644
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
@@ -253,7 +253,7 @@ Furthermore, discrete cameras can be turned into RAs by ignoring their COFE stru
 \end{defn}
 
 \begin{defn}
-  The category $\CMRAs$ consists of cameras as objects, and camera morphisms as arrows.
+  The category $\CMRAs$ consists of cameras as objects, and camera homomorphisms as arrows.
 \end{defn}
 Note that every object/arrow in $\CMRAs$ is also an object/arrow of $\OFEs$.
 The notion of a locally non-expansive (or contractive) bifunctor naturally generalizes to bifunctors between these categories.