Commit af7b6d6e authored by Ralf Jung's avatar Ralf Jung

consistently homomorphism

parent fe46fb58
Pipeline #13174 passed with stage
in 10 minutes and 52 seconds
......@@ -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.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment