Michael Shulman n-topos for large n

In this project I’ve had a lot to say about nn-toposes for directed n2n\le 2. The classical case, of course, is n=1n=1. The case n=(0,1)n=(0,1) is classical as well, though not generally given that name; a Grothendieck (0,1)(0,1)-topos is just a locale, and an elementary (0,1)(0,1)-topos is just a Heyting algebra. But what about other values of nn?

Recent work, especially by Jacob Lurie, but also by Rezk, Joyal, and others, has shown that there is quite a good notion of (,1)(\infty,1)-topos, at least Grothendieck ones. In many ways, the (,1)(\infty,1)-categorical theory parallels the 1-categorical theory more closely than the 2-categorical one does, due to the lack of noninvertible 2-cells. In particular, every map is a fibration and opfibration. An (,1)(\infty,1)-congruence is just an internal groupoid, and part of the statement of exactness is that internal group objects (groupoids on 1) are equivalent to pointed connected objects (objects equipped with an eso from 1); and interpreted in Gpd\infty Gpd this becomes the classical characterization of loop spaces.

I also expect that, given a good tractable notion of (,2)(\infty,2)-category, the theory of (,1)(\infty,1)-toposes can be combined with the theory of 2-toposes to give a good theory of (,2)(\infty,2)-toposes. One could probably do this fairly explicitly in the case of (3,2)-toposes if there were seen to be any particular benefit.

However, as soon as there are noninvertible 3-cells, things start to go haywire. This happens already at (2,3)-categories, whose coherence theory is no harder than that of 2-categories (we can consider them as poset-enriched bicategories), but let’s talk about 3-categories since those may be more familiar, intuitively. The problem is that the naive 3-categorical comma object is, for all relevant purposes, wrong.

For instance, let AA be a 2-category, let a,bAa,b\in A, and consider the comma object

(a/b) 1 a 1 b A\array{(a/b) & \to & 1\\ \downarrow & \Downarrow& \downarrow^a\\ 1 & \underset{b}{\to} & A}

in 3Cat3Cat. By this I mean the 3-limit of 1A11\to A \leftarrow 1 weighted by the obvious diagram 1211\to \mathbf{2} \leftarrow 1, just as for the corresponding 2-limit. Then an object of (a/b)(a/b) is, as expected, a morphism f:abf:a\to b in AA. But a morphism in (a/b)(a/b) from f:abf:a\to b to g:abg:a\to b is an isomorphism fgf\cong g in AA. In other words, the comma object has lost all the information about noninvertible 2-cells in AA.

This certainly messes up regularity and exactness; there’s no way we can expect to recover BB from the kernel of an eso f:ABf:A\to B if that kernel doesn’t know about the noninvertible 2-cells in BB (which manifest as noninvertible 3-cells in the 3-category 2Cat2Cat). It also messes up the theory of fibrations: for any two morphisms f:ACf:A\to C and g:BCg:B\to C, the projections (f/g)A(f/g)\to A and (f/g)B(f/g)\to B are not 2-fibrations (or any of the three possible op-variants). This makes it hard to show that the 3-category of 2-fibrations is monadic, let alone comonadic.

Finally, it messes up logic, since comma objects are used to represent arrow-types, and if AA is a 2-type, then hom A(a,b)hom_A(a,b) should be a 1-type, which includes the noninvertible 2-cells in AA. This puts us in the interesting position of knowing more about the internal logic of a 3-topos than we do about what a 3-topos itself might be.

One possible fix for regularity and exactness would be to define the kernel 3-congruence of a morphism to consist, not only of the comma object, but of the “2-comma object,” meaning the limit weighted by the diagram

1()11 \to \left(\cdot \underoverset{\to}{\to}{\Downarrow} \cdot \right) \leftarrow 1

which of course contains the information about noninvertible 2-cells. Now, instead of being an internal category, a 3-congruence starts to look more like a Θ\Theta-object in the sense of Joyal, Berger, Rezk and others. This might work to solve the problem of regularity and exactness, but it seems unlikely to help much with the problems of fibrations and logic.

Another possible fix is to consider, instead of the universal object equipped with a natural transformation

(f/g) A f B g C,\array{(f/g) & \to & A\\ \downarrow &\Downarrow & \downarrow^f\\ B& \underset{g}{\to} & C,}

the universal object equipped with a lax natural transformation

(f/ g) A lax f B g C.\array{(f/_\ell g) & \to & A\\ \downarrow &\Downarrow_{lax} & \downarrow^f\\ B& \underset{g}{\to} & C.}

It’s easy to check that for 2-categories, this gives us precisely what we want. It includes data on the noninvertible 2-cells. The projections are fibrations. The fiber over (a,b)(a,b) is the hom-category C(fa,gb)C(f a,g b). And so it gives the right thing to represent arrow-types as well. These objects were studied by Gray in the 60s and 70s under the name “2-comma categories.”

The only problem, and it’s a biggie, is that of course lax natural transformations do not live in the 3-category 2Cat2Cat, so how are we to generalize this to 3-toposes other than 2Cat2Cat? In fact, lax natural transformations do not live in any 3-category: if 2Cat (A,B)2Cat_\ell(A,B) denotes the 2-category of (strong) functors, lax transformations, and modifications between two 2-categories AA and BB, then we do not have a composition functor

2Cat (B,C)×2Cat (A,B)2Cat (A,C).2Cat_\ell(B,C) \times 2Cat_\ell(A,B)\to 2Cat_\ell(A,C).

We almost do: you can whisker lax transformations by a functor, but the interchange law for horizontal composition of lax transformations only holds up to a noninvertible 2-cell.

This means that we could make the composition functor into a lax functor. But introducing general lax functors is fraught with peril, since you can’t even whisker a (strong) transformation by a lax functor. A better solution is to recall that Gray also defined a tensor product that represents functors of two variables with lax interchange. The “Gray tensor product” usually refers to the one with interchange up to isomorphism, but Gray actually focused on the one with only lax interchange, for the same reason: he cared about lax transformations. The lax Gray tensor product makes the 1-category 2Cat2Cat (of strict 2-categories and strict functors) into a biclosed non-symmetric monoidal category, with the right and left homs containing lax and oplax transformations, respectively:

2Cat(A B,C)2Cat(A,2Cat (B,C))2Cat(B,2Cat opl(A,C))2Cat(A\otimes_\ell B, C) \cong 2Cat(A, 2Cat_\ell(B,C)) \cong 2Cat(B, 2Cat_{opl}(A,C))

There should be no problem discarding strictness here; the lax Gray tensor product should make the 3-category 2Cat2Cat of non-strict 2-categories into a biclosed non-symmetric monoidal 3-category in an analogous way. (The pseudo Gray tensor product is only distinguishable from the cartesian product in the fully strict world, but the lax one is different even in the fully weak world.)

In particular, with this structure 2Cat2Cat (of whichever variety) will become enriched over itself (using the right homs 2Cat (,)2Cat_\ell(-,-), as always); we call it 2Cat 2Cat_\ell when so regarded. Now we can identify the above “improved comma object” f/ gf/_\ell g as a 2Cat 2Cat_\ell-weighted limit in the 2Cat 2Cat_\ell-category 2Cat 2Cat_\ell.

So, should a 3-topos actually be defined to be a certain sort of 2Cat 2Cat_\ell-category, rather than a 3-category? I’ve convinced myself that a functor between 2-categories is a 2-fibration in 2Cat2Cat if and only if it is a 2-fibration in 2Cat 2Cat_\ell, so we would get the right notion there. And it seems likely that regularity, exactness, and logic would work out.

However, only having lax transformations around is also problematic. For instance, 2Cat 2Cat_\ell is not even cartesian closed, so it’s not clear how to aim at any higher-order sort of structure.

As another example, in a 2-category we can construct the object of algebras for a monad as a certain finite 2-limit. This is an important part of category theory, so it’s good that we can do it in any 2-topos. Now in 2-category theory, there are at least three different interesting categories of algebras that we can construct from a 2-monad, depending on whether we take the morphisms to be strong, lax, or oplax. Now in a 3-category, we can construct the object of algebras for a 2-monad and strong morphisms, while in a 2Cat 2Cat_\ell-category, we can construct the object of algebras and oplax morphisms, and it takes a 2Cat opl2Cat_{opl}-category to construct an object of algebras and lax morphisms. So if we really want to be able to do 2-category theory in a 3-topos, it seems as if we need a structure including both pseudo, lax, and oplax transformations.

I have some ideas about what such a structure would look like, building on the notion of F-category, but things are starting to get messy. And then you ask “what about a 4-topos?” and my brain starts to hurt. Should the prototypical 4-topos be 3Cat3Cat? Or 2Cat Cat2Cat_\ell-Cat? Or some more complicated thing? Should the 3-cells be lax as well, or only the 2-cells? Is there a lax Gray tensor product of 2Cat 2Cat_\ell-categories?

And can any of the proposed definitions of nn-category deal with this morass? Can they even deal with 2Cat 2Cat_\ell-categories? The only one that seems to me to have much of a chance is Batanin’s theory of higher operads.

On the other hand, maybe I’m just missing something fundamental, and some helpful reader of this page will point out why a 3-topos doesn’t need to be anything more exotic than a 3-category.

Even before I got to this last paragraph, I was planning to suggest something along those lines, but not in a way that you're going to like.

I've been thinking lately (that is, for less than a month) that maybe the entire notion of nn-category (beginning with 33-category) needs to be revised to include lax transformations (and higher). That is, we started with strict nn-category, now we've got definitions that (while sometimes hard to work with) have moved us to weak nn-category, but we're not done and still must define lax nn-category.

—Toby

Mike: Actually, that doesn’t really sound all that different from what I’m saying (prior to the last paragraph). Weak nn-categories don’t seem to be enough; we need something that can deal with lax transformations, at least. I’m not sure whether you are saying this or not, but it seems unlikely to me that there is just one notion of “lax nn-category;” it’s going to depend at least on which dimensions we make pseudo, lax, oplax, or both.

I think evidence has been accumulating for a while that focusing only on nn-dimensional categorical structures that have only one type of kk-cell for all kk is too myopic. Double and nn-fold categories are one example. My recent work with Steve Lack is another. These observations (which owe a lot to some discussions with Mathieu) are a third.

What has led you to your thoughts about including laxness?

Toby: As far as the laxness is concerned, there may be one maximally general notion of lax \infty-category, which allows both lax and oplax everywhere. Then just as (s,r)(s,r)-categories are (non-lax) \infty-categories where some things must be equivalences or trivial, we'll have a multidimensional classification where some things must be strong (or at least lax in only one way) at various places —which will be pretty messy in general. But even this doesn't include double categories or \mathcal{F}-categories.

I forget why I was thinking of lax nn-categories. Probably it was just reading the other material on your web, but I'll let you know if I see reasons for it around in other places. Anyway, haven't really thought about what they would be like, only that we might want them.

I agree that nn-categories as we know them are just the start of a general theory of higher-dimensional transformations. I think that we (or at least some of us) do understand what \infty-groupoids are all about, and that this does give us a complete general theory of higher-dimensional equivalences. But we're only getting started on non-invertible transformations.

Mike: I’m having trouble visualizing a notion that allows “both lax and oplax” while only having one type of kk-cell for each kk, since it seems you can’t compose a lax transformation with an oplax one and get much of anything.

I agree that we have a fairly good understanding of \infty-groupoids and higher-dimensional equivalences, due to all the work of homotopy theorists over the past century. But higher non-invertible transformations may be more subtle than many of us realized at first.

Last revised on February 7, 2012 at 20:28:48. See the history of this page for a list of all contributions to it.