Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is a question that I have seen asked passively in comments relating to the separation of category theory from set theory, but I haven't seen it addressed in full.

I know that it's possible to formulate category theory within set theory while still being albe to construct the useful things one would want from category theory. So as far as I understand, all normal mathematics that involves category theory can be done as long as a little caution is taken.

I also know that some people (categorical foundationalsists) would still like to formulate category theory without use of or reference to set theory. While I admit that I am curious about this for curiosity's sake, I'm not sure if there are any practical motivations for doing this. The only reason for wanting to separate category theory from set theory that I have read about is for the sake of `autonomy of category theory'.

So my question is twofold: What other reasons might categorical foundationalists have for separating category theory from set theory, and what practical purposes might it serve to do this?

share|improve this question
2  
There are categories, called topoi, that resemble the category Set from some viewpoints, but generalize it from others. I think -though I know essentially nothing about these things- that a categorical foundation of mathematics would make appearent that there are several possibilities for the concept of "category of sets", and build this feature from scratch in the very beginning of the process of foundating mathematics. –  Qfwfq May 15 '10 at 16:46
2  
(continued) Maybe the slogan could be something like "There is no reason to prefer Set to other topoi", and it could be seconded just for aesthetical reasons. (Personally I would still prefer a set theory as foundations, though). –  Qfwfq May 15 '10 at 16:46
add comment

5 Answers

up vote 46 down vote accepted

I don't agree that this is what (most) categorists who are interested in foundations are doing.

It is true that Lawvere in the mid-60's (and perhaps to this day) wanted to develop a theory of categories independent of a theory of sets, but I don't think that represents the main thrust of modern-day categorical work on "foundations". Much more work has been directed toward developing a full-fledged categorical theory of sets, either as in Lawvere's Elementary Theory of a Category of Sets and extensions thereof, or understanding classical theories of sets such as ZF through a categorical lens, as in Algebraic Set Theory. There is also ongoing discussion of what strength of set theory is suitable for doing what category theorists would like to do. As one can see with even a casual perusal of such work, there is no antagonism toward set theory per se, or a desire to somehow get away from sets.

I think some confusion might stem from over-hasty identification of set theory with a "canonized" form of set theory, such as ZFC (or something in that family such as Gödel-Bernays set theory), based on a single binary predicate called "membership". In ordinary ZFC, a set is characterized by its membership tree, so that the elements of sets are sets themselves, possessing their own internal structure. This may be termed a "materialist" form of set theory (material because elements of sets are considered as having "substance"). If there is antagonism toward this type of set theory on the part of some category theorists, it's because it lends itself to a conception of "set" that is largely irrelevant to the actual practice of core mathematics, insofar as mathematicians don't care what elements are "made of".

The prevailing trends of mathematical practice today and throughout most of the twentieth century promote a more "structuralist" view: that what counts is not what the elements of a structure "are" particularly, but rather how they are interrelated in a structure, and where two structures are considered abstractly the same if they are isomorphic. This seems like a truism today, but it is precisely this view which drives a more categorically-minded view, which looks toward not what sets "are", but of how we use them, what abstract constructions we want to perform on them, and so on. Thus, concepts such as "power set" are in this view more relevantly captured by suitable universal properties which serve to characterize their structure up to specified isomorphism. A theory of sets which takes this point of view seriously and axiomatically may be termed a "structural set theory".

Thus the real contrast is between "material" and "structural" theories of sets, with category theorists tending to prefer structural set theory. An example of such is Lawvere's aforementioned Elementary Theory of the Category of Sets (ETCS). A different and more recent example is Mike Shulman's SEAR (Sets, Elements, and Relations), which you can read about at the nLab.

As for practical benefits of structuralist set theory: they are huge! It should be borne in mind that elementary topos theory was largely inspired by Lawvere's insight that Grothendieck toposes themselves model most of the axioms of the kind of structuralist set theory he was investigating in ETCS, and this has been revolutionary. This answer is already long enough, so I won't enter on a discussion of that here.

share|improve this answer
3  
I would argue that the idea that sets might have things other than sets as members is irrelevant to actual math. –  Kiochi May 15 '10 at 17:32
4  
To be more precise, Harry, ETCS and SEAR are first-order theories, just as ZFC is. ZFC is a one-sorted theory with a binary predicate, and ETCS can be made a one-sorted <i>essentially algebraic</i> theory (although two sorts, "object" and "morphism", are more common here). Now you slip in what could be weasel words, "informal notion of class", but how is the situation with ZFC any different "informally"? Koichi: that was my point: what those members "are" is irrelevant to most practicing mathematicians. –  Todd Trimble May 15 '10 at 17:55
1  
@Todd: Thanks for the answer! Do you know anything about foundations using the category of categories? I've read that this is another alternative, but that it is problematic. However, I've had the toughest time finding anything that actually explains in detail using the category of categories as a foundation. Does your answer still hold true for this approach to foundations? –  Eric A. Bunch May 15 '10 at 19:24
3  
Hi Eric. The only source I know of off-hand for this is something you may already know: Lawvere's article The Category of Categories as a Foundation for Mathematics, in Proc. Conf. Categorical Algebra – La Jolla., Eilenberg, S. et al., eds. Springer-Verlag: Berlin, Heidelberg and New York., pp. 1–20. And yes, John Isbell found some problems with it. But certainly the idea of the article was in a structuralist mode. I'd also like to mention that I think different people have different ideas about what "foundations" should mean, and there is a oft-cited article by Kreisel on this very question. –  Todd Trimble May 15 '10 at 19:53
5  
@Harry: IIRC Bourbaki "defines" a set to be a logical formula characterizing the elements of that set. This seems to me to be essentially same as the "informal notion of class" that you deprecate in standard first-order theories. –  Mike Shulman Sep 14 '10 at 22:13
show 7 more comments

One reason might be that some constructions and theorems in category theory need stronger axioms than just ZFC (the usual axioms for set theory). For example, one might want to consider "functor categories," which don't exist in ZFC unless the domain category is small.

Also, the usual characterization of "equivalence of categories" relies on class choice, which is stronger than just AC.

I haven't heard the term "categorical foundationalist" before, though, so this is just speculation.

share|improve this answer
1  
Large categories don't make sense in ZFC-founded category theory. Rather, if one additionally includes the axiom of universes, all size issues disappear by phrasing things as "for all universes U, the category of U-Sets...". –  Harry Gindi May 15 '10 at 17:38
1  
That was my point. Addition of AU leaves the realm of "ordinary" set theory, although even the most tame large cardinal assumptions are sufficient to do such constructions. If we have an uncountable inaccessible, then we can do all the constructions in a universe that is actually a set, thus the class choice problem disappears also. –  Kiochi May 15 '10 at 18:20
2  
I don't see why you claim the existence of an inaccessible cardinal or two (or an unbounded number of such) is not ordinary set theory. Set theorists do more than this all the time. –  David Roberts Jun 21 '10 at 7:22
    
David: good point. "Ordinary" is poorly defined here. When I read the question, though, I sort of assumed that the "set theory" in question was ZFC. For mathematicians who aren't set theorists, this might be called ordinary. It seems (based on Todd's answer) that I probably misinterpreted the question; in fact "set theory" was not ZFC in particular, but any axiomatic theory of sets, in which case ZFC + large cardinals certainly counts as set theory, as does NBG, etc. –  Kiochi Jun 21 '10 at 14:05
6  
@Harry: Large categories make perfect sense in ZFC-founded category theory: it's just that they are proper classes rather than sets, which restricts the sort of things you can do with them. –  Mike Shulman Sep 14 '10 at 22:14
add comment

My opinion may not be of interest to readers here since I am a physicist by training and as such am most interested in how mathematics and reality come together. That said, it is possible that my journey through foundations of mathematics, entwined with an interest in quantum gravity and especially background independence, perhaps sheds light in both directions. After all, physics has been known to introduce interesting ideas to mathematics.

I think the short answer to the question of categories, sets and foundations comes from, as Todd pointed out, intrinsic meaning versus relational meaning. For instance, I understand a functor from A to B to be the giving of meaning to some collection of objects of type A in terms of objects and morphisms of type B. Contrast this with some of the axioms of set theory:

  1. Two sets are equal (are the same set) if they have the same elements

We rely on some basic "knowledge" of the meanings of terms. This meaning is provided by the reader. Thus, we agree on the meaning of terms.

This relates to physics in the following way. If I were God, I could see the universe from the outside. Just as if I were reading that axiom 1, I would give meaning to all aspects of the universe. Contrast this to the far more realistic vantage point of human beings who are decidedly embedded within the universe. In this case, meaning comes not from an external viewer (the God looking at the set of all sets), but rather in how a change in one system induces a change in another system. Think, for example, of a distant star, collapsing millions of years ago and turning slightly reddish. This event is interpreted on earth on two photographic plates, or by a bit string being flipped from "white" to "red".

Rather than using Sets, which come with a sort of pre-arranged meaning, physics seeks to use a causal relation. Further, this causal relation is seen as morphism in a category. Up we go in terms of structure from nothing but "morphism structure" to Category-A structure. The "meaning" is provided at each step by how the previous phase is interpreted in the latest phase.

More pointedly, in physics we cannot afford to build into the foundations of physics the ontology of set theory simply because it seems like a foundation for doing the math we love.

share|improve this answer
1  
Intriguing. In case you aren't already familiar with it, you might be interested in John Bell's Toposes and Local Set Theories, where he draws analogies between the nexus of topos-based set theories and the principle of relativity. I think possibly he would be sympathetic to the idea that background independence in physics could be roughly likened to independence from a background ontology of mathematics. (But I'm being rather speculative here.) –  Todd Trimble Nov 16 '10 at 23:42
    
Yes, I have tried to read Bell's book, and have actually had a few conversations with him. My shortfall is my weakness as a mathematician and so I find his, and many others' works hard to read and understand. Nevertheless, his position is quite interesting and I must have accepted it on some level, though it is hard to write down a precise idea for it. –  Ben Sprott Nov 18 '10 at 23:29
    
If you're really interested in how mathematics and reality come together, then the foundations of set theory should be one of your strongest interests. –  Fernando Muro Jun 2 '11 at 18:53
add comment

I honestly think that "naive category theory" (analogous to "naive set theory") helps me understand/remember/do mathematics far more than does set theory. And, since I do not intend to do "formal" category theory, I do not worry about its foundations.

I have some understanding of the Lawvere foundational program and related... but my own reaction to set theory as obligatory foundation (despite having great enthusiasm for foundations in my youth) is that it doesn't help anything.

At a different point in mathematical history, perhaps it was reasonable to worry that set theory was too volatile, or that mathematics more generally was so volatile that extreme set-theoretic scrupulousness was the only safe road, but by now many of the imagined dangers seem not realized.

And, if one does insist on foundations, I think category theory is a more dynamic, useful, helpful viewpoint than set theory. Category theory talks about what things do, rather than the atoms of which they're composed.

share|improve this answer
    
Well, for me category theory has always been much more useful for organizing knowledge and insights and understanding cross currents in mathematics. There seems to be disagreement between the set theorists as represented on the FOM list and category theorists like Lawvere as to whether such conceptual and organizational principles should really count as 'foundations'. –  Todd Trimble Jun 2 '11 at 0:47
    
I just have to say that personally I have never found category theory to help me understand, remember or do mathematics. Did I mention that I'm in the field of set theory? I guess I didn't... Your post somehow diminishes set theory outside of mathematics, this is at least how I read it (even if it is not what you intended to write). –  Asaf Karagila Jun 2 '11 at 6:18
    
I was not worrying about the foundations of category theory for no purpose; at a certain point working with categories, it was necessary for me to fix a universe and work with that. I had never had to do this before, and it led me to look a bit more into foundations of category theory and mathematics founded only on category theory. I'm perfectly happy to stop with fixing a universe, but if there were additional advantages to be had by being more careful with category theory, then I didn't want to miss out. –  Eric A. Bunch Jun 2 '11 at 18:53
add comment

Todd Trimble is right: not all categoriests who are interested in foundations reject set theory. It seems to me that category and set theory are deeply interrelated. Categorical problems, as the existence of some adjoint functors depends on some completions of ZFC. For example the statement every subcategory closed under limits of a locally presentable category is reflective (that is, the inclusion functor has a left adjoint) is equivalent to a set theoretical statement called Vopenka principle (see J. Adamek, J. Rosicky, Locally presentable and accessible categories, London Math. Soc. Lect. Notes, Cambridge University Press, 1994). There are lots of such problems, which depend on extensions of ZFC, both in category theory but also in other mathematical areas which are formulated categorical e.g. the Whitehead problem in abelian group theory: Is it true that every abelian group which has no nontrivial extensions through $\mathbb Z$ is projective (free)?

share|improve this answer
    
I was just up to refer to Adamek-Rosicky paper here. Nice to see that somebody else did it already. –  Fernando Muro Jun 2 '11 at 18:55
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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