47
$\begingroup$

This is a question to research mathematicians, as well as to those concerned with the history and philosophy of mathematics.

I am asking for a reference. In order to make the reference request as precise as possible, I am outlining the background and nature of my questions here:

I did my Ph.D. in probability & statistics in 1994, and my formal mathematics education was completely based on set theory. Recently, I got interested in algebraic topology, and have started to read introductory texts like Allen Hatcher, or Laures & Szymik, and others.

I am struck by the broad usage of category theory and started to wonder:

(1) Is category theory the new language of mathematics, or recently the more preferred language?

(2) Recognizing that set theory can be articulated or founded through category theory (the text from Rosebrugh and Lawvere), is category theory now seen as the foundation of mathematics?

(3) Is the choice between category theory language and set theory language maybe depending on the field of mathematics, i.e. some fields tend to prefer set theory, others category theory?

Edit: On (3), if such a preference actually exists, what is the underlying reason for that?

Would someone be able to give me a good reference for questions like this? I would be very grateful for that.

$\endgroup$
  • 15
    $\begingroup$ You know asking which superhero is the best can easily start a war in a comic book store. (Joke credit: the TV show the Big Bang Theory.) Jokes aside, my personal exposure to different fields of mathematics points to the third option, but I am also looking forward to the answers to this question, as MathOverflow has plenty of both category theorists and set theorists. $\endgroup$ – Burak May 17 at 13:44
  • 16
    $\begingroup$ It's probably worth distinguishing three points: (a) both set and category theory are areas of mathematics, investigated by specialists just like geometry or algebra; (b) either could serve as a formal foundation of mathematics- but issues of foundations are much less relevant to average mathematicians than they were at say the turn of the 20th century; (c) many areas of math use categories as a conceptual framework (how they internally view the objects they're manipulating/results they're proving); some but probably fewer use sets for this as well; but many areas of math use neither! $\endgroup$ – Sam Hopkins May 17 at 14:12
  • 6
    $\begingroup$ It's worth noting that there's a difference between expressing the main definitions and theorems of a subject in the language of category theory and viewing category theory as the foundation for that subject. Modern homotopy theory might be an example of this - sometimes it's hard to tell where homotopy theory ends and category theory begins, but I bet a lot of working homotopy theorists would say that simplicial sets are the foundational objects in the field, and even more would prefer to use set theory to construct things like the real numbers or the integers. $\endgroup$ – Paul Siegel May 17 at 14:16
  • 6
    $\begingroup$ Is category theory the new language of mathematics, or recently the more preferred language? This seems to imply that set theory is the standard language of mathematics. Actually almost all normal mathematics is indifferent to foundations, needs no foundational language in order to express it, and for that matter I can't think of a major branch of mathematics that doesn't predate ZFC, usually by centuries. Usually if an idea or result in mathematics depends in some important way on foundations, it's a sign that it's pathological and not of interest for applications. $\endgroup$ – Ben Crowell May 17 at 22:29
  • 13
    $\begingroup$ @BenCrowell: Many would disagree with the last comment because, since Cohen's discovery of forcing, people have found literally hundreds of statements of what you refer to as "normal mathematics" that are independent of ZFC. These result indeed show how the behavior of topological, measure-theoretic, algebraic etc. objects are closely related to the behavior of the continuum, large cardinals etc. $\endgroup$ – Burak May 18 at 10:36
31
$\begingroup$

Category theory and set theory are complementary to one another, not in competition. I think this 'debate' is a bit of academic controversialising rather than an actual difference. If you've done a bit of category theory, you will realize how important the category of sets is (for Yoneda's lemma, representability, existence of generators, etc).

Even if you completely buy into homotopy type theory as a foundation for ∞-categories and homotopy theory, the theory of sets reappears in other garb as the theory of 0-types. A theory of sets is too natural an idea to escape.

I just also want to note: If you write out the syntactic version of ETCS, you end up with something that is more or less equivalent to ZFC. The ETCC, on the other hand, is widely considered to be a dead-end.

From the nLab:

As pointed out by J. Isbell in 1967, one of Lawvere’s results (namely, the theorem on the ‘construction of categories by description’ on p.14) was mistaken, which left the axiomatics dangling with insufficient power to construct models for categories. Several ways to overcome these problems where suggested in the following but no system achieved univocal approval (cf. Blanc-Preller(1975), Blanc-Donnadieu(1976), Donnadieu(1975), McLarty(1991)).

As ETCC also lacked the simplicity of ETCS, it rarely played a role in the practice of category theory in the following and was soon eclipsed by topos theory in the attention of the research community that generally preferred to hedge their foundations with appeals to Gödel-Bernays set-theory or Grothendieck universes.

Edit: Just to clarify, I think most mathematicians working in category theory, homotopy theory, algebraic geometry, etc. are more or less agnostic about foundations, as long as they are equivalent in strength to ZFC (or stronger with universes). There have been arguments for ETCS(+Whatever) as a 'better' foundation, but when you get into hairy set-theoretic issues (for example, see the Appendix to lecture 2 of Scholze's notes on condensed mathematics), we are just as likely to work with ZFC because setting up ordinals in ETCS is an added annoyance. I added this edit just to clarify that I am not a partisan of either approach and appreciate both (and am not interested in bringing up this old argument about Tom's paper that I linked!!!)

| cite | improve this answer | |
$\endgroup$
  • 10
    $\begingroup$ ETCS is not quite "more or less equivalent to ZFC" any more than PA is "more or less equivalent to ZFC". In the case of ETCS you are missing Replacement (and most of Separation, actually) and in the case of PA you're missing Infinity. In a way, PA is even closer: it is only missing one axiom! :-) $\endgroup$ – Asaf Karagila May 17 at 15:35
  • 6
    $\begingroup$ An observation that I'm pretty sure is in Lawvere's ETCC paper and that I think deserves to be remembered at least for philosophical purposes is the the additive monoid of natural numbers (viewed as a category) is the coequalizer of the two inclusions of the category $1$ in the $2$-element linear order (also viewed as a category). So infinity emerges, via a very basic category-theoretic construction, from finite (indeed very small) and explicitly described categories. (Is this an argument for or against category-theoretic foundations?) $\endgroup$ – Andreas Blass May 17 at 15:42
  • 5
    $\begingroup$ @AsafKaragila I mean ETCS+Replacement+Whatever. $\endgroup$ – Harry Gindi May 17 at 15:43
  • 6
    $\begingroup$ @AsafKaragila: Replacement and Separation admit very elegant formulations in ETCS, see Shulman's paper “Stack semantics …”. $\endgroup$ – Dmitri Pavlov May 17 at 16:45
  • 4
    $\begingroup$ @JamesWood Where would it end if we couldn't consider logically equivalent theories to be the same? In homotopy theory, we have a proliferation of equivalent models for ∞,1-categories, with detailed correspondences relating them to eachother. However, to prove theorems, we pick a convenient model and work with it in ways that are invariant under the translations. Why should foundations be different? My 'category of sets' for category theory is the same either way, so long as the 'sets' in my foundations behave the same way and satisfy the same theorems. $\endgroup$ – Harry Gindi May 19 at 1:35
32
$\begingroup$

I think that Penelope Maddy's article What Do We Want a Foundation to Do? is a good starting point if you want to read some literature. I don't agree with all of Maddy's conclusions but the terminology that she introduces in this article is exceedingly helpful, as well as the very simple but often overlooked point that the concept of a "foundation of mathematics" is a multifaceted one.

Proponents of foundations other than set theory often emphasize what Maddy calls "essential guidance." The argument is that category theory (or whatever) more accurately reflects how mathematicians actually think, or how they actually do mathematics, or what mathematical structures really are. They may be right (although set theory has more resources in this direction than its opponents sometimes acknowledge), but these alternative foundations don't always outdo set theory when it comes to other roles that we might want a foundation to perform. For example, there's "risk assessment"—what axioms do you really need to derive your theorems, and are those axioms "safe"? Or "generous arena"—maybe the proposed alternative foundations are good for homotopy theory but aren't so suitable for the numerical solution of PDEs or the computation of small Ramsey numbers.

Set theory did a remarkable job in the 19th and 20th centuries of unifying mathematics, putting it all on a common foundation, and providing a framework for analyzing questions of consistency and provability. Nowadays it's easy to take that achievement for granted, and assume that all mathematics is "safe" and that if we want to use methods from one branch of mathematics in another then we will always be able to find a way to do so. If one takes that attitude, then "risk assessment" becomes irrelevant and "generous arena" and "shared standard" drop in importance—I can just worry about finding foundations for the kind of mathematics that I care about, and if my foundations are cumbersome for my colleague's kind of mathematics, well, that's my colleague's problem and not mine. On the other hand, if one does still care about generous arena and shared standard and risk assessment, then set theory still has many advantages.

In short, whether to use set theory or category theory as a foundation depends largely on what you want to do. I agree with Harry Gindi that it's best to think of them as playing complementary roles. In particular, for many of the "traditional" roles that people expect from a foundation (e.g., "meta-mathematical corral" is another Maddy term), I don't think set theory has been superseded.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ thanks a lot for your helpful answer, very much appreciated! I will definitely take a look at Maddy's article. Thank you also for the viewpoint calling it risk assessment, I never looked at it this way. $\endgroup$ – Claus May 18 at 4:52
  • $\begingroup$ I wanted to thank you again for this great reference. Maddy’s article is excellent, the terminology is useful and I like her powerful metaphor of final court of appeal. $\endgroup$ – Claus May 20 at 10:53
13
$\begingroup$

The best reference I can think of for this is MathOverflow.

Contrary to some of the comments made above, foundational issues are today often a concern in mathematics and computer science. Contrasting foundational schemes is an activity not just limited to researchers in metamathematics or in mathematical logic. It occurs in computer science repeatedly as workers there develop new programming languages, disciplines, and tools for analysis. Mechanical proof checking, program verification, prototyping languages, relation to resource utilization, rapid system development, and other activities benefit from the perspectives offered by one system or another, or by comparing them.

People who frequent this forum often want to understand things more deeply, look for connections or phenomena that may reveal a ubiquitous pattern, or sense of commonality, so that what works for a proof idea in one field can be adapted to other fields. However, the people are raised in different environments, so their perspectives and means of expression vary. It is this variety that is one of the lesser appreciated aspects of MathOverflow: exposure to a wealth of ways of thinking.

Although your questions have been considered before, they are broad enough that I imagine people have only been able to see pieces of the picture, and that the picture is still new enough that data gathering is still going on. If you search MathOverflow (and the Nlab, and perhaps repositories like ArXiv, or proceedings from relevant conferences in computer science as well as mathematics) you will find many of these pieces. For users whose knowledge on this is more extensive than mine, three names pop immediately to mind: Bauer, Blass, Jerabek. (After I get coffee, more names may occur to me.) Looking at some of their answers on this forum may lead you to specific references.

Elsewhere on this forum I have seen a query similar in intent to yours. I answered that really the theories should be considered more as perspectives than as foundational frameworks, because the entirety of mathematics is not captured by just one. These perspectives (or tools) have utility in their variance and possible interplay, not just in their ability to express part of mathematics. But I am unsure that this way of looking at looking helps you in your search.

Gerhard "Speaking As Observer, Not Researcher" Paseman, 2020.05.16.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ thanks a lot for your answer! I like your suggestion that MO might be the best reference. Thank you also for pointing me to Brauer, Blass, Jerabek. Very much appreciated! $\endgroup$ – Claus May 17 at 15:03
  • 2
    $\begingroup$ I think "Brauer" was intended to refer to Andrej Bauer. And thanks for mentioning me. $\endgroup$ – Andreas Blass May 17 at 15:44
  • 2
    $\begingroup$ You're right! I'll go fix it. Gerhard "A Thousand Cusses On SpelCheker" Paseman, 2020.05.17. $\endgroup$ – Gerhard Paseman May 17 at 16:20
6
$\begingroup$

(1) Is category theory the new language of mathematics, or recently the more preferred language?

Category theory has been proposed in 1940s and started taking over algebraic geometry and topology first in 1970s, and its application has only grown from there.

Whether it is the preferred language depends on which field of mathematics you are thinking about.

Generally, fields with an algebraic flavor prefer category theory. Examples include algebraic geometry, algebraic topology, category theory (duh), algebraic set theory, topological quantum field theory (new branch in physics), type theory.

Fields with an analysis/calculus flavor prefer set theory. Examples include basic calculus, differential equations, differential geometry, functional analysis, probability, set theory (duh).

Finally, fields with a geometric flavor seem to go via a third way, based on geometric intuition and "self-evident postulates". Examples include geometric topology (especially when low-dimensional), knot theory, general physics (I count it as the most important branch of mathematics), and some new fields that have "synthetic" in their names, like synthetic differential geometry.

(2) Recognizing that set theory can be articulated or founded through category theory (the text from Rosebrugh and Lawvere), is category theory now seen as the foundation of mathematics?

General mathematicians don't care much about the foundation. Currently there is a feeling that anything that has been worked on for a long time is sound. Mathematics is now seen as a massive graph of math-nuggets that connect to each other, floating in a vacuum with no special nuggets considered as "the true foundation".

However, this does not mean that all math-nuggets are equally significant, or foundation-worthy. Generally, significance is measured by these characteristics:

  1. How densely a nugget is connected to other nuggets;
  2. How "deep" the connections are;
  3. How fashionable it is (synthetic geometry is not fashionable now, but was extremely fashionable 2000 years ago);
  4. How close to physical reality it is (this makes basic calculus more significant than theory of prime numbers).

For a good discussion of what makes a nugget "significant", read Hardy's A Mathematician's Apology, starting at section 11.

As for foundation-worthiness, Maddy's What Do We Want a Foundation to Do? is a great place to learn about the details. I think that in short, some nuggets are better suited for foundation if they satisfy the following criteria:

  1. Can encode the things that mathematicians want to work with. This is analogous to a programming language being "Turing complete". A foundation must be "mathematician complete" or get close to it.
  2. Can encode elegantly. This is less objective but also very important. In the algebraic-flavored fields, category theory wins over set theory in this aspect.
  3. Can be checked mechanically, that is, it is good for formal verification. This is not yet a very important consideration, but is something univalent foundations and other type-theory foundations are explicitly trying to do well. For more, this Quanta essay is good for a start. For another, A computer-generated proof that nobody understands

(3) Is the choice between category theory language and set theory language maybe just depending on the field of mathematics, i.e. some fields tend to prefer set theory, others category theory?

What I said.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ thanks a lot for great references, especially Hardy's text and the two links about computer-based proofs. Timothy Chow also gave me the reference to Maddy's article which is an excellent reference, Indeed it is the first time I hear about univalent foundation and Voedvosky's work. Thanks again! (and out of curiosity, what does your user name stand for?) $\endgroup$ – Claus May 20 at 17:28
  • 2
    $\begingroup$ @Claus Maud Pie is the sister of Pinkie Pie, the Element of Laughter in Equestria. She is a very stoic and schizoid geologist, and I usually feel like her. $\endgroup$ – MaudPieTheRocktorate May 23 at 15:49
  • $\begingroup$ sparked my interest, I will take a look! $\endgroup$ – Claus May 23 at 20:51
2
$\begingroup$

It is worth mentioning that category theory can be articulated through and founded on sets, in a relatively straightforward manner.

That said, category theory and set theory seem to be two sides of the same coin even at a research level. I asked about this comparison in this MO question and got some excellent discussion from category and set theorists (see the comments).

Category theory is a universal language for discussing the notion of structure on sets, and a universal setting in which connections can be seen between seemingly disparate areas of mathematics.

One connection is mentioned in the answers above, and actually links sets to categories -- the Yoneda embedding

$${\bf Hom}_\mathcal{C}(-,\ \ ):\mathcal{C}\to{\sf Set}^{\mathcal{C}^{op}}.$$

The Yoneda Lemma shows that this embedding is fully faithful, meaning that for any category $\mathcal{C}$ there is a 'picture' of $\mathcal{C}$ inside its category of presheaves ${\sf Set}^{\mathcal{C}^{op}}$, a presheaf being a functor from its opposite category into the category of sets and functions. This presheaf category has many desirable properties it inherits from ${\sf Set}$ like (co-)completeness; it actually inherits all the structure of a topos (a very specific and nice kind of category). We see immediately that sets and categories are not separate competing entities, but different pieces of the same whole.

Other well-known examples of categorical connections between seemingly disparate areas include the duality between the category of Stone spaces and the category of Boolean algebras, or locales and frames.

The notion of a category can actually be viewed as a sufficiently general way to structure a set so that it can emulate (and generalize) many standard structured sets. Groups, rings, vector fields, modules, quotient spaces, partially ordered sets, Boolean algebras and more can all be cast as certain types of categories, and then generalized to groupoids etc. -- random variables, observables, probability measures, and states can be understood as arrows in a certain category (see Frič, R., Papčo, M. A Categorical Approach to Probability Theory, Stud Logica 94 (2010) pp 215–230. for a reference on the probability claims).

So, for someone with a background in working with structured sets, a category can be viewed as a pair of sets together with some functions between them, structured in a very general way that allows them to emulate almost all other notions of 'structure on a set'. Further, this same notion of a category can then unify these structured sets into greater structures and explore connections between them on a larger scale.

| cite | improve this answer | |
$\endgroup$
  • 2
    $\begingroup$ Regarding your last paragraph: it should be noted there are famous categories, for instance that of homotopy types, that have been proven to not be equivalent to one of sets-with-structure and functions between them. $\endgroup$ – David Roberts Jun 2 at 10:13
  • 1
    $\begingroup$ @DavidRoberts But all non-concrete categories can be obtained as factorizations of concrete ones, assuming global choice — see here for reference: math.stackexchange.com/questions/250592/…. $\endgroup$ – Alec Rhea Jun 2 at 16:31
  • $\begingroup$ @AlecRhea Alec thanks a lot - very grateful for your answer! Thanks also for a great link! $\endgroup$ – Claus Jun 2 at 17:12
  • $\begingroup$ @AlecRhea factorisations? Oh, a quotient by a congruence. Thanks! Here's the paper for direct reference doi.org/10.1016/0022-4049(71)90004-1 The quality of Elsevier's scan is absolutely awful. It's barely readable... $\endgroup$ – David Roberts Jun 3 at 1:02
  • $\begingroup$ But .... wow. "We can suppose the objects of [an arbitrary category] K are ordinals, since we assume the axiom of choice for classes" Not sure how I feel about this... $\endgroup$ – David Roberts Jun 3 at 1:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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