From 9ac461b15936abec4010ec1cb2c94c08cfa17186 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 11 Mar 2016 13:19:01 +0100
Subject: [PATCH] docs: locally non-expansive/contractive also applies to
bifunctors
---
docs/algebra.tex | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/docs/algebra.tex b/docs/algebra.tex
index 9042e89aa..a120b09f0 100644
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
@@ -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}
--
GitLab