Commit 9ac461b1 authored by Ralf Jung's avatar Ralf Jung

docs: locally non-expansive/contractive also applies to bifunctors

parent a48f3430
Pipeline #322 passed with stage
......@@ -37,8 +37,7 @@
Note that $\COFEs$ is cartesian closed.
\begin{defn}
A functor $F : \COFEs \to \COFEs$ is called \emph{locally non-expansive} if its actions $F_1$ on arrows is itself a non-expansive map.
\ralf{We need bifunctors.}
A (bi)functor $F : \COFEs \to \COFEs$ is called \emph{locally non-expansive} if its action $F_1$ on arrows is itself a non-expansive map.
Similarly, $F$ is called \emph{locally contractive} if $F_1$ is a contractive map.
\end{defn}
......
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