I am wondering if it is possible to use the adjoint functors in topos theory for statements in analysis.
Any examples would be warmly welcomed. Though I would prefer simpler, atomic, lemmas or theorems if possible.
Thanks for your time.
Edit 1: Examples do not have to be restricted to analysis, I just thought those might be nice.
Edit 2: At this point even a comment would be nice.
Edit 3: To clarify, what I am looking for are theorems stated or proved using the adjoint functors relating to predicate calculus.