From af7b6d6eef39d8df52529f7785f945a1e17a3fb2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 30 Nov 2018 10:49:26 +0100
Subject: [PATCH] consistently homomorphism
---
docs/algebra.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/algebra.tex b/docs/algebra.tex
index 8c4b6c8cf..c0bb43698 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.
--
GitLab