From f5e00ce31fd28fef3cf9ca2512286f0ae18a49ed Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Wed, 28 Nov 2018 11:30:52 +0100
Subject: [PATCH] Fix CMRA category in the docs.
---
docs/algebra.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/algebra.tex b/docs/algebra.tex
index 0c86d2aae..8c4b6c8cf 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.
--
GitLab