I propose the **exactness hypothesis** as one of the “guiding hypotheses of higher category theory,” alongside the homotopy, delooping, and stabilization hypotheses. The exactness hypothesis states that

- The $(n+1)$-category $k Mon n Cat$ of k-tuply monoidal n-categories is an exact $(n+1)$-category.

This is closely related to the delooping hypothesis, and at least in low dimensions the latter is a special case of it. To get some intuition for how to get from delooping to exactness (and understand the meaning of “exact”), let $C$ be a category with one object $*$ and consider how we might construct the corresponding monoid $C(*,*)$ by 2-categorical methods in $Cat$. A little bit of thought shows that this monoid is given by the comma object

$\array{C(*,*) & \to & 1\\ \downarrow & \Downarrow & \downarrow * \\ 1 & \overset{*}{\to} & C.}$

This gives $C(*,*)$ as a discrete object in $Cat$, which moreover has the structure of a monoid. Note that this comma object can also be described as the based loop object of $C$ when $Cat$ is equipped with the “walking arrow” $\mathbf{2}$ as its interval object.

Conversely, given a monoid $M$, we can construct a category $B M$ with one object and $B M (*,*)=M$ as the lax codescent object

$\array{
& \to && \to \\
M\times M & \to & M & \leftarrow & 1\\
& \to && \to }$

In less fancy words, this means that $B M$ is the universal category equipped with a functor $1\to M$ and a 2-cell

$\array{M & \to & 1\\ \downarrow & \Downarrow & \downarrow \\ 1 & \to & B M.}$

which is compatible with the multiplication and unit of $M$. Thus, the statement that “monoids can be identified with one-object categories” can be interpreted as a statement about an idempotent adjunction.

This is strikingly reminiscent of the definition of an exact category. Now the monoid $M$, which we can regard as an internal category in $Cat$ via $M \;\rightrightarrows\; 1$, plays the role of an equivalence relation, and the comma square above plays the role of the kernel pair of the map $1\to C$. Clearly, then, a natural generalization of the delooping hypothesis for $Cat$ would involve replacing $1$ by some more general category. We can define the **kernel** of an arbitrary functor $f:A\to B$ to be the comma category

$\array{(f/f) & \to & A\\ \downarrow & \Downarrow & \downarrow f \\ A & \overset{f}{\to} & B;}$

an appropriate statement of exactness for a 2-category should then say that certain structures that “behave like $(f/f) \;\rightrightarrows\; A$”, in the same way that equivalence relations behave like kernel pairs, all arise as the kernel of some functor.

Possibly some more general notion of exactness could be formulated in any category equipped with a (possibly directed) interval object.

One formal definition of “behave like a kernel” in the case of 2-categories (due essentially to Ross Street) can be found here, and a corresponding definition of “exact 2-category” here. In the $k=0,n=1$ case of $Cat$, one way to state exactness is that

- double categories $D_1 \;\rightrightarrows\; D_0$ whose horizontal 2-categories are homwise discrete and which have a thin structure? can be identified with essentially surjective functors $D_0\to C$.

In the case $D_0=1$, such a double category is precisely a discrete monoid in $Cat$ (the thin structure is automatic in this case), while an essentially surjective functor $1\to C$ just makes $C$ a pointed connected category.

In the $k=1,n=1$ case of $MonCat$, one way to state exactness is that

*monoidal*double categories $D_1 \;\rightrightarrows\; D_0$ whose horizontal 2-categories are homwise discrete and which have a thin structure can be identified with essentially surjective (strong) monoidal functors $D_0\to C$.

Again, in the case $D_0=1$ such a double category is precisely a discrete commutative monoid, and an essentially surjective monoidal functor $1\to C$ makes $C$ a pointed connected monoidal category.

In this case an exactness statement has been proven by Lurie:

- internal groupoids $G_1 \;\rightrightarrows\; G_0$ in the $(\infty,1)$-category of spaces can be identified with maps $G_0\to X$ which are surjective on $\pi_0$.

Taking $G_0=1$, this includes delooping in classical homotopy theory. When all 1-cells are invertible, the comma object in the definition of a kernel reduces to a (homotopy) pullback. Thus we recover the observation that the based loop space $\Omega X$ of a pointed space $X$ is the homotopy pullback of the basepoint $1\to X$ along itself.

When $n$-categories contain noninvertible $j$-morphisms for $j\gt 1$, there is an extra subtlety. If $C$ is a pointed 2-category, then the comma object

$\array{(*/*) & \to & 1\\ \downarrow & \Downarrow & \downarrow * \\ 1 & \overset{*}{\to} & C.}$

(in the 3-category $2Cat$) is the monoidal category consists of endomorphisms of $*\in C$ and *isomorphisms* between them.

To recover information about the noninvertible 2-cells in $C(*,*)$, we can consider, in addition to the comma object, the “2-comma object,” which is the 3-limit weighted by $1\to T \leftarrow 1$ where $T$ is the “walking 2-cell.” With this approach, the appropriate notion of “kernel” starts to look more like the “$\Theta$-categories” considered by Joyal, Berger, Rezk, and others. The connection with monoidal objects also becomes less direct.

A different approach is to consider a version of the comma object that *does* include information about the noninvertible 2-cells. This is not a 3-limit in the sense of a 2Cat-enriched limit, but it is a $2Cat_l$-enriched limit, where $2Cat_l$ denotes 2Cat with the *lax* version of the Gray tensor product. This approach might maintain the strong connection with monoidal objects and keep the notion of “kernel” looking simplicial, but it means that instead of the 3-category $2Cat$ we have to be working in $2Cat_l$, which is enriched over itself but is not a 3-category (its interchange law holds only laxly).

What I wanted to say is that in the square above, the 2-cell should be a lax natural transformation (i.e. we take lax natural transformations as 2-cells in $2Cat$). I’m not sure that it’s the same as working with $2Cat_l$-enriched limits. —Mathieu

I’m pretty sure that it is the same. Saying that you take the 2-cells in 2Cat to be lax transformations really means the same thing as saying that you’re working in $2Cat_l$ rather than $2Cat$. Note that $2Cat_l$ is not a 3-category. Although it is 3-category-like since it is closed monoidal and thereby enriched over itself, the interchange law only holds laxly. -Mike

For 1-categories, exactness is one of the conditions in Giraud’s theorem characterizing Grothendieck toposes. This is likewise true for Street’s theorem characterizing Grothendieck 2-toposes and Lurie’s theorem characterizing Grothendieck $(\infty,1)$-toposes. In all three cases the other conditions are infinitary extensivity (see here for a 2-categorical version) and the existence of a small generating set. Since $n Cat$ should certainly satisfy these two hypotheses as well, a “corollary” of the extensivity hypothesis is the following “topos hypothesis:”

- $n Cat$ is a Grothendieck $(n+1)$-topos.

(On the other hand, $k Mon n Cat$ will not, in general, be extensive.)

Last revised on June 12, 2012 at 11:10:00. See the history of this page for a list of all contributions to it.