Okay, so I understand what calculus, linear algebra, combinatorics and even topology try to answer (update: this is not the case in hindsight), but why invent category theory?

In Wikipedia it says it is to formalize. As far as I can tell, it sort of generalizes a bunch of fields in mathematics, like in topology, graphs and groups we have isomorphisms and automorphisms and homomorphisms, it seems to me like it just finds a bunch of results that are true to these functions in a bunch of disciplines. But why would generalizing that be of use? I mean, wouldn't it be easier to prove them specifically in each of the important disciplines?

  • 56
    $\begingroup$ A glib statement is that category theory makes obvious things obvious when they might otherwise be obfuscated by the details of particular cases. $\endgroup$
    – user14972
    Commented Feb 24, 2013 at 5:02
  • 4
    $\begingroup$ This mathoverflow thread is relavant. mathoverflow.net/questions/19325/… $\endgroup$
    – Mohan
    Commented Feb 24, 2013 at 5:40
  • 9
    $\begingroup$ Modern algebraic geometry is not possible without category theory. $\endgroup$
    – Mohan
    Commented Feb 24, 2013 at 5:44
  • 38
    $\begingroup$ "wouldn't it be easier to prove them specifically in each of the important disciplines?" I don't understand this question. If you could prove that something holds across all disciplines -- in just one shot -- then why would you want to go through the trouble of proving something for each discipline separately? $\endgroup$ Commented Feb 24, 2013 at 6:50
  • 1
    $\begingroup$ You might want to look at the Inventor's Paradox en.wikipedia.org/wiki/Inventor%27s_paradox $\endgroup$
    – user512716
    Commented Nov 24, 2018 at 15:40

4 Answers 4


Category theory serves several purposes. On the most superficial level it provides a common language to almost all of mathematics and in that respect its importance as a language can be likened to the importance of basic set theory as a language to speak about mathematics. In more detail, category theory identifies many similar aspects in very different areas of mathematics and thus provides a common unifying language. The fact that almost any structure either is a category, or the collection of all such structures with their obvious structure preserving mappings forms a category, means that we can't expect too many general theorems in category theory to be really interesting (since anything you can prove about a general category will have to be true of almost everything in maths). However, some general truths can be found to be quite useful and labour saving. For instance, proving that the tensor product of modules is associative up to an isomorphism can be quite daunting if done by working with the construction of the tensor product. But, if instead one observes first that the tensor product satisfies a certain categorical universal property then the associativity up to isomorphism becomes immediate since in any category any universal construction is unique up to an isomorphism.

Continuing the analogy between set theory and category theory as common languages for maths, the situation is like saying "a set is just a bunch of points. No structure. Nothing. How interesting and relevant can it possibly be to study set theory?". As it turns out it is both interesting and very important to the rest of mathematics. It is very helpful to know the basics of cardinals and ordinals, Zorn's Lemma, and similar techniques to actually prove things in other areas. The exact same phenomenon is true in category theory. True, a category is just a bunch of points and arrows and a composition rule, but it turns out that it is helpful to know the basics of functors, duality, adjunctions, (co)limits and so on when actually proving things.

Less superficially, category theory encourages a shift in attention to what structure is. In category theory the particular inner workings of an object do not matter at all. All that matters is how that object is related (via the morphisms) to the other objects in the category. This is a familiar situation in very classical mathematics. For instance, one can construct the real numbers in many ways (Dedekind cuts, Cauchy completion etc.). These are different objects, but they are essentially the same. Just what this essential sameness means is answered very clearly by category theory: these are different solutions to the same universal problem.

Still along the same theme, category theory allows to make precise the meaning of a certain construction being natural. A classical example is that for a finite dimensional vector space $V$, the double dual is naturally isomorphic to $V$. Of course, $V^{**}$ and $V$ are isomorphic simply because they have the same dimension, but that is not the content of the statement. Usually, something is mumbled about the lack of arbitrary choices, but that is not really satisfactory. Eilenberg and Mac Lane defined categories in order to define functors, and defined functors in order to define natural transformations. The naturality of natural transformations gives a precise definition for natural constructions of all sorts, making it very clear what the naturality means, and how to prove naturality.

More deeply, some questions will never have been asked if it were not for category theory. For instance, given a ring $R$ one can construct the category $R\text{-Mod}$ of $R$-modules. One can ask for two rings $R,S$ when is $R\text{-Mod}$ an equivalent category to $S\text{-Mod}$. The answer is that this holds precisely when $R$ and $S$ are Morita equivalent, a condition that is purely ring theoretic and makes no use of category theory language. But, one could not have asked the question without constructing the categories first.

Category theory is extremely useful for talking about invariants of structure. The classical example is the fundamental group of a topological space. The classical Seifert-van Kampen theorem for computing the fundamental group was rather tricky to prove. However, if simply restated using category theory a very clear path suggests itself and leads to a very simple proof. Modern homotopy theory was radically transformed by category theory, particularly the famous result of Quillen. Quillen described a certain kind of equivalence between two categories: the category of topological spaces and the category of simplicial sets. The importance of this equivalence to modern homotopy theory is immense and leads further the study of $\infty$-categories.

Other areas where categories have had a profound effect are algebraic geometry (the work of Grothendieck) and logic (in the form of topos theory). Since my answer is already getting quite lengthy, I won't elaborate on these topics.


I won't get into the exact importance of category theory, because I don't know nearly enough to answer this. But I will comment on your last sentence instead, because I find it is important enough to address.

Generalization is the bread and butter of mathematics. The idea is that often there are many similarities between two seemingly unrelated objects, but their difference itself is very cluttering. It makes the analogy hide under the surface and not jump right at you.

When you abstract something by cleaning up the clutter you find yourself with highly concentrated theorems about tons of objects. Sometimes it would have been very hard to prove each case, let alone to come up with the idea to prove these cases. The generalizations can make things easier to see, easier to prove and easier to handle.

That been said, the de-generalization of going back from a very abstract theory to a more "down to earth" one (even if it is a very abstract theory on its own) can be a very hard process as well. Sometimes the abstraction process kills a lot of interesting information that you would like to know. Things like actual calculations or methods to calculate certain values. Restoring the details can be quite the hard work, but the abstraction helps us see what is true to begin with, and that's an incredibly important thing in mathematics, which is often similar to wading down a bog of peat, blindfolded with your shoelaces tied from one shoe to the other. Generalization and abstract theorems are lighthouses.

  • 1
    $\begingroup$ Well, as I said I don't know enough about category theory. I just found that last sentence important enough to address (and that was far too long for a comment). I am working in logic and set theory, and the situation is similar as well, only from a very different angle. $\endgroup$
    – Asaf Karagila
    Commented Feb 24, 2013 at 5:06
  • 13
    $\begingroup$ It is a common misconception that category theory was intended to be good for something. More often than not, mathematicians just make stuff up, either to look smart or for a goof. $\endgroup$
    – Will Jagy
    Commented Feb 24, 2013 at 5:34
  • 4
    $\begingroup$ @Will: Categories, huh, yeah! What is it good for? etc. :-) $\endgroup$
    – Asaf Karagila
    Commented Feb 24, 2013 at 5:53
  • 2
    $\begingroup$ @Will: Arch Enemy? I don't really need lessons. I know how to use my guttural vocals when I need to shout or growl. I sometimes do that to shut the students up. It's awesome. $\endgroup$
    – Asaf Karagila
    Commented Feb 24, 2013 at 6:41
  • 2
    $\begingroup$ Angela Gossow Growl Workshop youtube.com/watch?feature=endscreen&NR=1&v=fCMcu18sigc and Arch Enemy is the right one. They seem to call this death metal $\endgroup$
    – Will Jagy
    Commented Feb 24, 2013 at 6:48

At a certain level, mathematician study structures. In a very small nutshell, category theory allows you to talk about structures recurring throughout other disciplines of mathematics; it's a kind of unifying theory. Much like Algebra studies various arithmetic structures and distills their properties without having to worry about whether you're talking about integers, matrices, families of functions, etc. which in the specifics are quite different, so category wishes to distill properties across various disciplines of mathematics.

  • $\begingroup$ So what you are saying is that it does sort of the same as algebra does to arithmetic structures? Ok, do you know examples? Like in algebra O know an important one is lagrange's theorem which is allready a generalization of euler and little fermat's theorem. Or Gauss lema and the rational root theorem. Is there an analogie for cat theory? $\endgroup$
    – Asinomás
    Commented Feb 24, 2013 at 5:04
  • $\begingroup$ @Khromonkey others seem to have already covered the content of your question. I'll direct you to the answers of the other posters. $\endgroup$
    – A.Ellett
    Commented Feb 24, 2013 at 5:46

Category theory is not something instead of other mathematical theories but an other and very interacting perspective. The search for theorems and their proofs will never end as long as there are still mathematicians left. Even the familiar system of natural numbers will always hide secrets and any theory that helps to prove or counter prove just one single conjecture is worth to be further developed.

The category language might or might not be fruitful for a certain study, but it is always a perspective worth considering. In number theory there are less and more complex functions. The less complex functions are the first to be studied but more complex functions, as the increasing prime number function $p: \mathbb Z_+\rightarrow\mathbb Z_+$, seems resist any attempt of finally survey.

There is a category with all functions $f: \mathbb Z_+\rightarrow\mathbb Z_+$ as objects and pair of commuting functions $\alpha,\beta: \mathbb Z_+\rightarrow\mathbb Z_+$, $(\beta f=g\alpha)$, are the morphisms $\displaystyle f\overset{(\alpha,\beta)}{\longrightarrow}g$.

Investigating such a category (I don't know if it is done) could bring a new approach to some issues. After all, it is not only the prime number function that is unresolved. When using categories there is also a possibility to find functors to other categories, such that hard problems in the primary category is transformed to a less hard problem in the secondary category.

  • 1
    $\begingroup$ Take the full subcategory $Z\subseteq \mathbf{Set}$ spanned by the single object $\mathbb{Z}_+$; it's a monoid. Sounds like you want to investigate the arrow category $Z^2$. $\endgroup$ Commented Jan 12, 2019 at 7:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .