### changeset 18:55d8607fbbc0tip

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.
author Benedikt Fluhr Tue, 08 Aug 2017 05:06:57 +0200 114ba7e6a7f6 poster.tex 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/poster.tex	Thu Jun 08 13:18:20 2017 +0200
+++ b/poster.tex	Tue Aug 08 05:06:57 2017 +0200
@@ -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}$$.