55d8607fbbc0 — Benedikt Fluhr <http://bfluhr.com> 5 years ago
Change of Definition for Consistency

Changed the definition of a homomorphism in F in order
for this definition to be consistent with my other notes.
1 files changed, 1 insertions(+), 1 deletions(-)

M poster.tex

M poster.tex +1 -1
@@ 307,7 307,7 @@
and let $$(a, b), (c, d) \in D$$.
Then a \emph{homomorphism from $$(f, (a, b))$$ to $$(g, (c, d))$$}
is a continuous map $$\varphi \colon X \rightarrow Y$$ such that
-      $$c - a \leq f(p) - g(\varphi(p)) \leq d - b$$
+      $$b - d \leq f(p) - g(\varphi(p)) \leq a - c$$
for all $$p \in X$$.

This defines a category which we denote by $$\mathcal{F}$$.