Dec 13, 2011I was wondering is there a nice application of category theory to functional analysis? It's weird as read that higher category theory is used ct.category theory - Analysis from a categorical perspectiveThe main theorems of category theory and their applicationsWhat's a good introduction to category theory for someone doing What's there to do in category theory? - MathOverflowMore results from mathoverflow.net
Dec 13, 2011What I can say is that many interesting and nontrivial categories do arise in certain parts of functional analysis and it is useful to ct.category theory - Analysis from a categorical perspectiveThe main theorems of category theory and their applicationsWhat's a good introduction to category theory for someone doing What's there to do in category theory? - MathOverflowMore results from mathoverflow.net
Jul 10, 2012Analysis focuses on particular spaces, continuous/differentiable/analytical functions over C, for example. The situation is similar with set Is category theory useful in higher level Analysis?Honest application of category theory - Mathematics Stack ExchangeWhat can't be studied with Category TheoryQuestions about algebraic analysis: prerequesites, references and More results from math.stackexchange.com
Jul 10, 2012Category theory is an impressive tool for abstraction, but analysis is not always in need for abstraction - it looks for concrete solutions and Is category theory useful in higher level Analysis?What can't be studied with Category TheoryQuestions about algebraic analysis: prerequesites, references and What is category theory useful for? - Mathematics Stack ExchangeMore results from math.stackexchange.com
Jul 10, 2012I believe most several complex variables people don't use categories that much, but there are analogues of what they do in parts of algebraic Is category theory useful in higher level Analysis?Categorical formulations of basic results and ideas from functional What can't be studied with Category TheoryQuestions about algebraic analysis: prerequesites, references and More results from math.stackexchange.com
The chain rule for differentiation $D(f \circ g ) = Df \circ Dg$ is the first example of functoriality one meets and counts as analyis I guess!...36
I've never completely understood what counts as "an application of category theory". With other areas of mathematics an "application" of area A to...28
Probably this is already known to many readers here, but I'll add it because we are in CW mode: It is possible to construct and characterize $L^1...20
The substantial book Kriegl, A. and Michor, P.W., The convenient setting of global analysis, Mathematical
Surveys and Monographs, Volume 53. Am...17
First, a disclaimer: I am not even close to being an analyst. Second, I don't know of any applications of category theory to the areas of analysis...14
The theory of interpolation spaces is one such example. The classical interpolation theorems of M. Riesz, Thorin and Marcinkiewicz and their...11
I would suggest that the following three applications of category theory to functional analysis can be useful (they have points of contact with so...10
At the suggestion of Yemon, I have moved my comment to an answer. The [Gelfand representation][1]
[1]: http://en.wikipedia.org/wiki/Gelfand_represe...9
Homological construction
In mathematics, the derived category D(A) of an abelian category A is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on A.
The construction proceeds on the basis that the objects of D(A) should be chain complexes in A, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes.
Derived functors can then be defined for chain complexes, refining the concept of hypercohomology.
The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences.
Abstract mathematics relationship
In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same.
There are numerous examples of categorical equivalences from many areas of mathematics.
Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned.
In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to translate theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation.