It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.2K
- Applied Category Theory Course 354
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

I am still mastering the concept of adjoint functors. I found it very helpful to think of them as "approximate inverses", in the case of preorders, from above as least upper bounds, and from below as greatest lower bounds.

Yesterday I was recalling the delta-epsilon definition of a limit L of a function f(x) at a point x=c:

For every ε>0, there exists a δ such that, for all x ∈ D, if 0 < |x-c| < δ, then |f(x)-L| < ε.

What struck me is that we can think of δ as a function δ(ε), in which case it becomes apparent that δ(ε) is constructed in the opposite direction as f(x). For simplicity, let us consider the case where c=0 and L=0. Let X be the preorder of real numbers on (0,1], and Y likewise. Define functors F:X→Y and δ:Y→X. Then F and δ are similar to adjoint functors because:

If |x|<δ(ε), then |f(x)| < ε.

If we had: |x|<δ(ε) iff |f(x)| < ε

then I think F and δ would be adjoint functors because, in a preorder, there is at most a single morphism ≤, so then we could say:

$$ \textrm{hom}_X(\delta (\varepsilon),x) \cong \textrm{hom}_Y(\varepsilon,F(x)) $$ So I suppose δ(ε) would be the adjoint of F if it was the optimal δ. I'm curious what that would mean. But also it seems that typically in analysis, a suboptimal δ(ε) works just fine. I wonder why this example isn't discussed more often, especially given that category theory seems distant to many analysts. Thank you for correcting any misunderstandings I may have.

## Comments

I suppose that category theory can shift the matter from constructing an explicit δ(ε) to considering whether the optimal δ(ε) exists. If F has an adjoint functor, then the optimal δ(ε) exists, and a sufficient δ(ε) exists, so F is continuous. And if F has no adjoint functor, then an optimal δ(ε) does not exist, but then no sufficient δ(ε) exists, so F is not continuous. Am I arguing correctly?

`I suppose that category theory can shift the matter from constructing an explicit δ(ε) to considering whether the optimal δ(ε) exists. If F has an adjoint functor, then the optimal δ(ε) exists, and a sufficient δ(ε) exists, so F is continuous. And if F has no adjoint functor, then an optimal δ(ε) does not exist, but then no sufficient δ(ε) exists, so F is not continuous. Am I arguing correctly?`