diff --git a/docs/algebra.tex b/docs/algebra.tex
index 0c86d2aaec7f217059384665210126d7cc2b8257..8c4b6c8cfec1a5f5ea1a844effc53531e544b463 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 monotone functions as arrows.
+  The category $\CMRAs$ consists of cameras as objects, and camera morphisms 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.