Fix CMRA category in the docs.
|...||...||@@ -253,7 +253,7 @@ Furthermore, discrete cameras can be turned into RAs by ignoring their COFE stru|
|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.|
|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.|