Home > hg > poster-acat01
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}\).