11
$\begingroup$

To put it short: In which active research areas of (pure) mathematics no (or only minimal) knowledge in category theory is required ?

To put it long: I know almost nothing about category theory - but I know that I do not like solving problems and providing arguments by diagram chasing and very "high-level" arguments.
I'm currently getting near the end of my time as a student and want to start a PhD. And while I'm not lacking a skill in algebra (which has been taught to us in an entirely category-theory-free manner), and therefor assume I could manage with some amount of category theory, I'm just not a fan of "high-level" arguments. So it's more a thing of personal taste. Therefore I would prefer to specialize in an area which does not exhibit too much category-theory (ideally: none). Now the thing is, when reading around in this forum it seems to me that also in areas, in which I wouldn't expect category theory to come up, like analysis, it actually does come up ("Lipschitz categories").
Thus I would like to know, which sub(sub)fields of big fields like PDE, or number theory can be dealt with only a very small amount of category theory. Especially: Are there any subfields of geometry that are category free ? I'm currently taking a course in differential geometry and to me it seems that category theory is (in disguise) almost everywhere, since our professor constantly explains how some diagram, that proves some assertion about manifolds is actually some category-theoretic notion.

When browsing for example through the work of Terence Tao suprisingly few diagrams and mentionings of "categories" come up, so it seems to me that certain areas of PDEs and number theory may fit the bill. But this perception may be due to that fact, that currently I understand almost nothing about what I read and therefore may have missed some categorical arguments.

Side question: Are there conversely any areas of applied mathematics that heavily use category theory ? Do there exist, for example, some applications of category theory on numerical mathematics ?

$\endgroup$
19
  • 25
    $\begingroup$ Why do you want to drive in a car that lacks one of its wheels??? $\endgroup$
    – UwF
    May 7, 2014 at 12:00
  • 17
    $\begingroup$ Lots of mathematics doesn't use category theory, just category theorists/those who are use categories in passing seem to be more represented online (e.g. algebraic geometers, quantum algebraists, higher geometers) $\endgroup$
    – David Roberts
    May 7, 2014 at 12:01
  • 11
    $\begingroup$ That said, using a touch of category theory in passing in other subfields is like using algebra when doing analysis: you don't need the hardcore stuff, just some general ideas. $\endgroup$
    – David Roberts
    May 7, 2014 at 12:04
  • 50
    $\begingroup$ The point of category theory is to clear out the fluff, so that you can see what the real nitty gritty low level' stuff is. In any case, it's a bad idea to look for a field based on points of repulsion rather than points of attraction: That is, ask yourself 'What do I most want to work on?', not 'How can I avoid category theory?'. $\endgroup$ May 7, 2014 at 12:31
  • 8
    $\begingroup$ @KeerthiMadapusiPera That's certainly one of the major points of category theory. Peter Freyd once quipped, "Perhaps the purpose of categorical algebra is to show that which is trivial is trivially trivial", which is how I interpret what you said. Anyway, I entirely agree with your sentiment. Further advice is: once you (OP) have found an area that is based on attraction, just learn what you need on a pragmatic, need-to-know basis. If you find that low doses of category theory is part of that, then you will learn a little of that too, but otherwise don't worry about it. $\endgroup$
    – Todd Trimble
    May 7, 2014 at 13:21

4 Answers 4

26
$\begingroup$

As a (slowly) recovering category-phobe, allow me to suggest that you change the way you think of category theory. Specifically, don't think of category theory as a "theory". A theory in mathematics generally consists of three components: a collection of related definitions, a collection of nontrivial theorems about the objects defined, and a collection of interesting examples to which the theorems apply. To learn a theory is to understand the proofs of the main theorems and how to apply them to the examples.

Category theory is different: there is an incredibly rich supply of definitions of examples, but very few theorems compared to other established "theories" like group theory or algebraic topology. Moreover, the proofs of the theorems are almost trivial (the Yoneda lemma is one of the most important theorems in category theory and it is not even called a "theorem"). A consequence of this is that you don't have to sit around reading a category theory book before you make contact with the language of categories: the very act of understanding how people express results from "ordinary" mathematics in the language of categories and functors is learning category theory.

So now I'll try to answer your question. It is possible to work in nearly any area of pure mathematics without much category theory, and most areas have people everywhere on the category theory spectrum (with the possible exception of algebraic geometry, wherein the language of derived functors is basically built into the foundations). Analysis in particular seems to be somewhat resistant (but not immune) to categorification, and if you are really committed to avoiding categories then you might consider exploring the more analytic aspects of what interests you (e.g. geometric PDE's or analytic number theory).

But before you make that commitment, try to find some examples of categorical language in action in what you already understand. The sheer ingenuity of it all might change your mind.

$\endgroup$
12
  • 12
    $\begingroup$ I like the spirit of this response. With regard to the theorems being almost trivial, I partly agree, but at times it can be like what Deligne said about a typical Grothendieck proof: that it consists of a long series of trivial steps where “nothing seems to happen, and yet at the end a highly non-trivial theorem is there.” $\endgroup$
    – Todd Trimble
    May 7, 2014 at 22:06
  • 1
    $\begingroup$ Not thinking about category theory as a "theory" really made it click for me (even though that indeed wasn't what I was asking :). When you say category theory comes up in analysis you mean that in comes up only in the "abstract" branches of analysis, like topolgy or functional analysis or also in the more "concrete" ones like real analysis ? $\endgroup$
    – user43263
    May 10, 2014 at 18:06
  • 2
    $\begingroup$ @PaulTaylor: To further illustrate my point, compare the Yoneda lemma to, say, the h-cobordism theorem in topology. A bright student with little background can learn the proof of the Yoneda lemma in an afternoon, but s/he will continue to be surprised by its consequences years later. But even a bright student with a few topology courses might need a semester to learn the proof of the h-cobordism theorem, even though the statement is elementary. As far as I know there is no theorem in pure category theory that takes a semester to learn. (Though there are definitions with this property!) $\endgroup$ May 11, 2014 at 12:37
  • 1
    $\begingroup$ @user43263: There are ways to express even basic things in analysis, such as the spectral theorem or the Lebesgue integral, using the language of categories. But many of the hard theorems in analysis boil down to subtle estimates which (so far!) have not been simplified by clever categorical arguments. $\endgroup$ May 11, 2014 at 12:51
  • 1
    $\begingroup$ @PaulSiegel: we are expressing different, not conflicting, points of view. Actually, as a post-categorist, I tend to roll these things together with constructivism: new versus traditional. Of course there are hard estimates in analysis and similar things in other subjects, but the purpose of well-organised mathematics (eg using category theory) is to sort out the genuinely hard things from the overall management. A long complicated argument crammed into the proof of a single Theorem, undivided into Lemmas, is not a sign that the material is deep, just that the author has no bigger picture. $\endgroup$ May 11, 2014 at 13:57
23
$\begingroup$

I would upvote Keerthi's comment multiple times if I could. Just find an area of mathematics that makes you smile and brings you happiness. If in the course of doing research you find that you need to deal with some category theory (say to study an important paper in the area), then you'll simply deal with it as it comes up, and at least you'll have some inherent motivation to do so. (And who knows? You might wind up finding some of it clean and attractive after all, and you'll have learned something to boot.)

I can't resist adding something though, speaking as a category theorist. When I'm in the thick of "doing" some category theory, I'm almost never thinking "whoo, this is high-level stuff". Mainly, doing category theory just feels like doing a form of algebra; it's a very ordinary sort of activity. It can be very nice to realize, afterwards, how widely applicable this piece of algebra may be, but in the moment we're not thinking how mind-blowingly abstract it all is (and to me it just doesn't feel more abstract than other forms of algebra).

We all have our tastes. I'll own up that I'm not a very geometric or analytic kind of guy -- I'm not greatly experienced in those modes of thought, but I'd hate for that to turn into the type of negative attitude so familiar from cocktail parties, where you meet someone who tells you (hearing that you do mathematics) that he always hated the subject, and seems almost proud of the fact. If on a given occasion I felt that I needed to know more geometry, then I hope I would simply learn what I needed to know, and not agonize over it.

Edit: Andres Caicedo's comment under the question reminded me of something John Baez once wrote. (It's maybe a little snarky, but effective in a way Baez is renowned for.)

$\endgroup$
10
  • 1
    $\begingroup$ You probably became a category theorist because you have an advantage there from finding category theory no more abstract than the rest of algebra. Most mathematicians who don't become category theorists (i.e. most mathematicians) probably have the opposite feeling. $\endgroup$
    – user44143
    May 7, 2014 at 15:32
  • 7
    $\begingroup$ Actually, I was drawn to category theory (around when I was 18) because it seemed to have answers to a lot of questions I had, like "what is the commonality between a quotient group in algebra and a quotient space in topology?" or "what is duality?", etc. And I think also in the beginning that I was enthralled by the generality and abstraction. But what I mainly want to emphasize now is that if category theory still has a fearsome reputation, then it probably shouldn't: people should think of the inner techniques as no more of a big deal than a lot of things in algebra. $\endgroup$
    – Todd Trimble
    May 7, 2014 at 16:43
  • 7
    $\begingroup$ I thought you became a category theorist so that you could be the person that defined tetracategories, math.ucr.edu/home/baez/trimble/tetracategories.html $\endgroup$ May 7, 2014 at 16:45
  • 5
    $\begingroup$ @AndrejBauer Yes, I'll probably never live that down. ;-) $\endgroup$
    – Todd Trimble
    May 7, 2014 at 16:51
  • 3
    $\begingroup$ @DavidRoberts In the meantime, there's this: arxiv.org/abs/1112.0560 $\endgroup$
    – Todd Trimble
    May 8, 2014 at 1:46
6
$\begingroup$

Regarding your side question, more "applied" stuff that uses categories or category theory is usually in the field of computer science.

In fact a general category theory conference may have just as many people doing theoretic computer science as say people doing algebraic topology.

The more applied theoretic computer science research that I've seen are people using categorical ideas in programming, databases, and quantum computation/information. I've even seen category theory in papers in cognitive science. However, I am not aware of any work using category theory in the numerical stuff.

$\endgroup$
2
  • $\begingroup$ Could you please give me a reference to a paper using category theory in cognitive science ? I can't image how this application of category theory could really make anything for a cognitive scientist clearer since (in my naive opinion) it would only add additional terminological baggage for someone who (I would again naively think) doesn't operate with mathematical objects so diverse that a very abstract description, as category theory provides, would help him. $\endgroup$
    – user43263
    May 10, 2014 at 18:09
  • $\begingroup$ I don't remember the particular paper that I saw. But googling "cognitive science category theory" gives some results. I can not talk for the authors, but it seem to be related to formal languages and logic, usage of which in cognitive science might be imaginable. $\endgroup$ May 10, 2014 at 19:06
5
$\begingroup$

Modern analysis is one large area where category theory has fairly minimal impact. Occasionally you see statements like "the category of locally compact Hausdorff spaces is dually equivalent to the category of abelian C*-algebras". I'm sure I could think of examples of more substantive uses of category theory, but they're pretty rare.

As a teacher, I've occasionally seen students with a background in category theory seemingly hindered by intuitions that don't work well (e.g., expecting the tensor product of Hilbert spaces to have the obvious universal property).

However, I agree with Todd's comment. If you ever find yourself in a situation where you need category theory for something you want to do, you are likely to suddenly find it much easier to pick up. At least, that's been my experience with other subjects that I thought I didn't like, until one day I needed them.

$\endgroup$
8
  • 2
    $\begingroup$ I can't speak with authority here, but nuclear spaces might be another exception that proves the rule about categorical thinking having fairly negligible impact on analysis. (Speaking of tensor products.) $\endgroup$
    – Todd Trimble
    May 8, 2014 at 3:56
  • $\begingroup$ @Todd: how so? I don't know so much about nuclear spaces. $\endgroup$
    – Nik Weaver
    May 8, 2014 at 4:29
  • 2
    $\begingroup$ Oh, here's a serious example: Morita equivalence in C*-algebra. $\endgroup$
    – Nik Weaver
    May 8, 2014 at 4:30
  • 2
    $\begingroup$ It's not something I have detailed knowledge of, so let me further qualify it as a hunch that the area seems amenable to further categorical analysis. Chapter 5 of these notes by Taylor math.utah.edu/~taylor/LCS.pdf talks about various categorical aspects in terms of projective limits, interactions between various tensors and homs, properties of the categories of nuclear Frechet spaces and their strong duals... to a category theorist this looks rather inviting for more investigation. $\endgroup$
    – Todd Trimble
    May 8, 2014 at 5:01
  • 1
    $\begingroup$ @user43263 the product in the category of schemes, with which you define a group scheme, is not as straightforward if you are thinking of a scheme as a ringed topological space (hence consisting of some underlying points with extra stuff). Thinking of schemes as sheaves on the opposite of the category of rings, it's easy, but you don't use the underlying set this way. $\endgroup$
    – David Roberts
    May 19, 2014 at 10:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.