[q-big]

> For anything related to stats, PDEs, and optimization (basically that subset if mathematics that is most useful to other sciences), category theory is a horrible foundation.

For analysis, Peter Scholze and Dustin Clausen would disagree:

> https://en.wikipedia.org/wiki/Condensed_mathematics

To quote from https://www.math.uni-bonn.de/people/scholze/Analytic.pdf linked there:

"Mumford writes in Curves and their Jacobians: “[Algebraic geometry] seems to have acquired the reputation of being esoteric, exclusive, and very abstract, with adherents who are secretly plotting to take over all the rest of mathematics. In one respect this last point is accurate.”

For some reason, this secret plot has so far stopped short of taking over analysis. The goal of this course is to launch a new attack, turning functional analysis into a branch of commutative algebra, and various types of analytic geometry (like manifolds) into algebraic geometry. Whether this will make these subjects equally esoteric will be left to the reader’s judgement.

[...]

The author always had the impression that the highly categorical techniques of algebraic geometry could not possibly be applied in analytic situations; and certainly not over the real numbers. The goal of this course is to correct this impression."