changeset 18:55d8607fbbc0 tip

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 <http://bfluhr.com>
date Tue, 08 Aug 2017 05:06:57 +0200
parents 114ba7e6a7f6
children
files poster.tex
diffstat 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}\).