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

- All Categories 2.3K
- Chat 499
- Study Groups 18
- Petri Nets 9
- Epidemiology 3
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 67
- Azimuth Code Project 110
- Statistical methods 3
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 707

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?`