New York City Category Theory Seminar
Something Old, Something New, Something Borrowed, ...
F.E.J. Linton • Wesleyan Univ. Math/CS Emeritus
Distinct reals
x
,
y
in
X
ε
λ
must lie at least 2ε apart:
|
x
−
y
|
>
2ε.
For if instead
0 < |
x
−
y
| < 2ε ,
then