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

Joel Hamkin's The set-theoretic multiverse has featured in MO questions before, e.g., here and here. But I was wondering about the best category theoretic angle to take on it.

In the paper Joel writes, rather poetically,

Set theory appears to have discovered an entire cosmos of set-theoretic universes, revealing a category-theoretic nature for the subject, in which the universes are connected by the forcing relation or by large cardinal embeddings in complex commutative diagrams, like constellations filling a dark night sky. (p. 3)

He has given us a couple of kinds of morphism here, but what is the best way to capture this multiverse category theoretically? Which morphisms should we allow?

Is it right to stay at the level of ordinary categories? Since each universe, a model of ZFC, is a category, one might expect the multiverse to be at least a bicategory, as suggested here. Do set theorists consider, say, arrows between two forcing relations between two models?

share|improve this question
    
What do you mean by "a model of ZFC"? Are you assuming the existence of inaccessible cardinals or working in a 'background' theory which allows proper classes? –  Qfwfq Sep 19 '11 at 14:00
2  
It's a standard expression. There's been plenty of discussion at MO already as to what models of ZFC are, e.g., mathoverflow.net/questions/13609/…, mathoverflow.net/questions/15685/… and mathoverflow.net/questions/28869/…. –  David Corfield Sep 19 '11 at 15:34
    
I clicked on this thinking I was going to get some "physics" style question of the sort Peter Woit despises. How about saying 'set-theoretic multiverse' in the title? Just a personal quibble... –  David Roberts Sep 25 '11 at 22:01
    
@David Roberts: rest assured that if it were that sort of question, it would be closed within minutes. The MO regulars run a pretty tight ship. :-) –  Todd Trimble Sep 26 '11 at 11:59
    
Yes. I was on my way here to do just that ... :P –  David Roberts Sep 26 '11 at 12:31
show 2 more comments

3 Answers

First of all, thank you very much for the question (the attention given to my multiverse article is flattering). I am keenly interested to hear from the category theorists about this. Meanwhile, allow me to comment from a set-theoretic perspective.

Although set-theorists seldom use category-theoretic terminology and ideas explicitly, nevertheless many of their concerns do have a category-theoretic nature. To give two examples:

  • It is a fundamental concern in the theory of large cardinal embeddings to understand when the direct limit of a system of iterations of large cardinal embeddings has a well-founded direct limit, and this issue can be cast category-theoretically as the question of whether a certain category exhibits certain limits.
  • The choice of support in an iterated forcing argument, pervasive in set theory, amounts to the use of certain limits in certain categories. For example, the fact that ccc forcing is preserved under finite support iterations can be expressed category-theoretically as the category of ccc forcing notions having direct limits. Other choices of support, such as countable support or Easton support (a mixture of inverse limits and direct limits) or revised countable support, can similarly be cast category-theoretically. Much of our understanding of the power of forcing has come from a detailed analysis of the nature of these different types of iterations.

Even the forcing combinatorics of single forcing notion $\mathbb{P}$, such as the question of closure, chain condition and homogeneity properties, can be cast category-theoretically. Some forcing constructions, such as the stationary tower forcing, combine all the category theoretic ideas above, as the conditions in the forcing involve generic embeddings that are iterated and extended.

In each of these cases, the set-theoretic ideas relate directly to features of the class of all models of set theory that might arise from the construction at hand. In the case of iterated large cardinal embeddings, one is led to consider the models of set theory that arise during the course of the iteration. And in the case of forcing iterations, one of course considers the intermediate forcing extensions that arise from the factors of the forcing iteration. Many set theoretic arguments involve a vast assemblage of intermediate models of set theory connected in a certain precise manner, either by forcing or by large cardinal embeddings, and the analysis of this system is driving the argument. It was in part his kind of situation that I had in mind in the remarks that you quoted.

But another aspect was the observation that set theorists have discovered a huge abundance of models of set theory, with new universes often constructed from known universes in certain precise manners. So the natural inclination when viewing the multiverse as a category, therefore, would be to have an absurdly generous concept, where all the models of set theory appear as the objects, and all of the known ways that they can relate appear as morphisms, including elementary embeddings, the forcing extension relation, embeddings from one model to an inner model of another, the end-extension relation, and so on.

But such an absurd idea, of course, is not how one generally makes progress with category theory. Rather, one wants to choose the objects and morphisms carefully so that the category exhibits desirable features, which can then be fruitfully employed. So, my question for the category theorists would be: what are the category theoretic properties that we might aspire to exhibit in the multiverse? An answer might guide one to a fruitful choice of morphisms.

share|improve this answer
1  
Note that we might have not just a category but an $n$-fold category for some $n$ which is the number of currently known different kinds of morphisms between models/universes, or at least the ones we are interested in for the purposes of the exercise (see ncatlab.org/nlab/show/n-fold+category). –  David Roberts Jul 22 '12 at 10:42
add comment

To Begin: There are two notions we need to clearly distinguish here: first, the principles which are suspected (or asserted) to hold in the multiverse; and second, the actual intended interpretations of these principles and the implicit bounds placed on them by living in a particular $V$.

First, the principles he discusses are first order, which means they live in the world of math proper. Moreover, they are nice, and in fact there is a rather nice model for them. However, this model and any other such model, can in no way reflect anything other then the first-order principles which are asserted to hold in the multiverse. They are simply objects which exhibit the consistency/coherence of said principles (kind of like exhibiting $\{0\}$ with the operation $\{\langle\langle 0, 0 \rangle,0\rangle \}$ and noting that it satisfies the axioms of a group.)

Second, under the intended interpretation, there can be no actual object which is the multiverse. This follows directly from the Forcing Extension Axiom. The reason being: it is impossible to internally "close off" a forcing notion, because by asserting a particular generic exists, you have just defined how to get around it. More succinctly put, for any separative $\mathbb{P}$, if $G$ is $\mathbb{P}$-generic over $V$, then $G$ is not $\mathbb{P}$-generic over $V[G]$ (since $1 \Vdash \forall \dot{p}\in\check{\mathbb{P}} \,\exists\dot q\in (\check{\mathbb{P}}\backslash \dot{G})(\dot{q}\le\dot{p})$.) Moreover, the "Absorption into L" and "Countability Principle" combine to imply that any $V$ which thinks it has captured the multiverse, is only lying to itself.

My Main Point: The proper multiverse is a flat out, meta object, in the strongest sense possible. The reason for this: you officially cannot get out in front of it, or out run the strength of its intended interpretation (like you can do with inaccessible cardinals and ZFC.)

Addendum: see comments.

Note: If there is an issue please let me know in the comments

share|improve this answer
3  
David, the problem is the other way around. The set-theoretic multiverse is usually not first-order. For example, set theorists generally prefer well-founded universes, which is not a first-order concept. –  François G. Dorais Sep 25 '11 at 22:58
4  
I'm not understanding how any of this is addressing David Corfield's question: what, conceptually, is an appropriate notion of morphism between universes in a multiverse (and, going further, what is the appropriate notion of 2-morphism between morphisms)? For example, one could posit logical functors between the underlying toposes of universes of sets as morphisms, but how appropriate would this be for capturing salient aspects of Joel's program? (Despite David C.'s use of the word "capture", I didn't think he was hoping to characterize "the" multiverse by asking such a question.) –  Todd Trimble Sep 26 '11 at 0:02
2  
"Usable formulations of the naive notion of Category are presented as internally definable objects, in the sense that you must be in some V or have a particular V in mind before you can actually make use of the notions and tools of the theory" this is not true, else ETCS as foundation would be impossible. –  David Roberts Sep 27 '11 at 0:23
2  
The best example of this: Suppose $\kappa$ is supercompact in $V$, then $\kappa$ is not supercompact in $V$'s associated inner model $L$. Putting the combinatorics aside, this means that $L$ fails to capture the most of the embeddings ("arrows") which witness $\kappa$ is supercompact. –  Michael Blackmon Sep 27 '11 at 19:48
3  
So my question to the both of you is: Which $V$ are you going to use to decide there is an arrow between two universes? –  Michael Blackmon Sep 27 '11 at 19:55
show 23 more comments

I am trying to think what would be the starting point and a basic program to "categorize" the multiverse.

Let us begin with the accessible category MOD(ZF) of all models of ZF and usual maps of models. Now, obviously, there is something there that makes it distinguished from other analogous cat of models of first-order theories (say GROUPS).

As Joel has reminded us above, there is a plethora of technologies to build models out of existing ones, either by enlargement (forcing), or by restriction (inner models).

My immediate reaction (from the categorical standpoint) is this:

can we characterize these operations STRUCTURALLY?

I mean: can we, without resorting to the usual set-theoretical details of such constructions, describe them (for instance the various types of forcing enlargements) in a purely diagrammatic way within MOD(ZF)? That would be, or so it seems to me, step one (this step may require to introduce additional maps, in which case it can guide us toward the proper set-up).

Asssuming that one can partially answer in the affermative, step two would be:

axiomatize MOD(ZF) as an accessible category PLUS those structural operations.

Step three would be this: unlike other MOD(T) categories, MOD(ZF) has this fascinating property: given a model M of ZF, ie an element of the cat,

one can onsider the MULTIVERSE of internal models of M (let us call it the chinese boxes principle, if there is no name already).

That seems to suggest, as the PO has in fact hinted at, that MOD(ZF) is in fact a higher cat.

The game is not over. There is a subtle interplay between those internal models and their externalization. Here I have no clue, but it looks like the proper line of thought would be to use the machinery of internal category theory to express this feature.

Step four (excuse me, I am talking free-wheeling) would be: now, given the full axiomatization of Mod(ZF), is there some way to prove that is "unique"? Or are there other models of this axiomatization which are not MOD(ZF)? Most likely there would be other (multi)universes which are not the intended one.

POST SCRIPTUM: I am no expert, so the set-theory adepts should correct me if in the loose sketch of the program above I introduced some unintended nonsense. In particular, I assumed a broad threefold partition of model-building tools, into enlargement, restriction (such as L and variants thereof) and finally internalization (ie starting from a model M create another one which happens to be a set in M). If there is something which does not fit the mentioned labels,add it (them) to the menu. For instance, There are (at least) two types of enlargement, one which keeps the tallness fixed, and another type which makes the model taller. A structural approach to model building inside the multiverse has to account for all those types, so a preliminary accurate taxonomy of basic model building shapes is in order.

share|improve this answer
1  
Compare algebraic set theory, where there is a monad $ZF$ on a 'category of classes' such that free algebras for this $ZF$ are precisely models of ZF(C). See e.g. ncatlab.org/nlab/show/algebraic+set+theory and references there. –  David Roberts Jul 22 '12 at 10:37
    
Thanks David! I have heard about AST before, but frankly I know nothing about it. In your ref, there is a great survey paper by Steve Awodey, so, I will start from there. –  Mirco Mannucci Jul 22 '12 at 11:38
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.