I have not studied category theory in extreme depth, so perhaps this question is a little naive, but I have always wondered if analysis could be taught naturally using categories. I ask this because it seems like a quite a lot of topological and group theoretic concepts can be defined most succinctly using categorical concepts, and the categorical definitions are more revealing. So my question is: (1) Is it possible/beneficial to teach analysis using category theory? and (2) Are there any good textbooks that use this method?



Analysis from a categorical perspective
I hesitate to let this out, but there's always this cute little note that I learned from another MO answer (I don't know which one): [https://www.maths.ed.ac.uk/~tl/glasgowpssl/banach.pdf](https://www.maths.ed.ac.uk/%7Etl/glasgowpssl/banach.pdf). Maybe this will satisfy your curiosity, but I maintain that it takes a warped mind to identify such a categorical formulation of integration as the "right" way to think about integrals.




---


The advantage of categorical thinking in my view is that it helps to organize computations and arguments involving several different kinds of structures at the same time. For instance, (co)homology is all about capturing useful invariants associated to a complicated structure (e.g. a geometric object) in a much simpler structure (e.g. an abelian group). When we want to determine how the invariants behave under certain operations on the complicated structure (e.g. products, (co)limits) it helps to have a theory already set up to tell us what will happen to the simpler structure. That's where category theory comes into its own, and instances of this paradigm are so ubiquitous in algebra and topology that category theory has taken on a life of its own. It seems that people working in those areas have found it convenient to build categorical constructions into the foundations of their work in order to emphasize generality (one can treat algebraic varieties and solutions to diophantine equations on virtually the same footing), keep track of different notions of equivalence (e.g. homotopy versus homeomorphism), build new kinds of spaces (e.g. groupoids), and to achieve many other aims.


In many kinds of analysis, this kind of abstraction isn't necessary because there's often only one structure to keep track of: $\mathbb{R}$. When you think about it, analysis is only possible because we are willing to seriously overburden $\mathbb{R}$. Take, for example, the expression "$\frac{d}{dt}\int\_X f\_t(x) d\mu(x)$" and consider all of the different ways real numbers are being used. It is used as a geometric object (odds are X is built out of some construction involving the real numbers or a subspace thereof), a way to give $X$ additional structure (it wouldn't hurt to guess that $\mu$ is a real valued measure), a parameter ($t$), and a reference system ($f$ probably takes values in $\mathbb{R}$ or something related to it). In algebraic geometry, one would probably take each of these roles seriously and understand what kind of structure they are meant to bring to the problem. But part of the power and flexibility of analysis is that we can sweep these considerations under the rug and ultimately reduce most complications to considerations involving the real numbers.


All that being said, the tools of category theory and homological algebra actually have started to make their way into analysis. Because of the fact that analysts generally consider problems tied to certain very specific kinds of structure, they have historically focused on providing the sharpest and most detailed solutions to their problems rather than extracting the crude, qualitative invariants for which cohomological thinking is most appropriate. However, as analysts have become more and more attuned to the deep relationships between functional analysis and geometry, they have turned to ideas from category theory to help keep things organized. K-theory and K-homology have become indispensable tools in operator theory; there is even a bivariant functor $KK(-,-) $ from the category of C*-algebras to the category of abelian groups relating the two constructions, and many deep theorems can be subsumed in the assertion that there is a category whose objects are C*-algebras and whose morphism spaces are given by $KK(A,B)$. Cyclic homology and cohomology has also become extremely relevant to the interface between analysis and topology.


So ultimately I think it all comes down to what kinds of subtleties are most relevant in a given problem. There is just something fundamentally different about the kind of thinking required to estimate the propagation speed of the solution operator for a nonlinear PDE compared to the kind of thinking required to relate the fixed point theory in characteristic 0 of a linear group acting on a variety to that in characteristic p.


