# Why there is no 3-category or tricategory of bicategories?

I recently asked this question on MSE.

So I want to move it here in hope to gain a more wordy answer.

I have read around about bicategories, lax functor, lax natural transformation and modifications. I know that we have a 1category of Bicategories and lax functors. I know why we do not have a bicategory or 2category of bicategories, lax functor, and lax natural transformations, and I know that using ICONS instead of lax natural trasformations solves this problem. (or oplax, it doesn’t matter)

What I cannot see is why we do not get a 3categories or tricategories of bicategories, Lax functors, ICONS and modifications? What fails? Where can I find a reference about it?

MathOverflow Asked by Lolman on December 27, 2020

Edit: In this answer I missed that the question was about lax functors rather than pseudofunctors. See comments below.

Such a tricategory does exist, and in fact it is part of a richer structure. In Garner-Gurski The low-dimensional structures formed by tricategories (arxiv), Corollary 12 constructs a locally cubical bicategory of bicategories. This is a bicategory enriched over the monoidal 2-category of pseudo double categories, containing the following structure:

• its 0-cells are bicategories
• its 1-cells are pseudofunctors
• its "vertical 2-cells" are icons
• its "horizontal 2-cells" are pseudonatural transformations
• its 3-cells are "cubical modifications".

Thus, if we discard the vertical 2-cells we obtain the usual tricategory of bicategories (although one has to do a bit of work to "lift" the coherences, which start life as icons, to pseudonatural transformations). If we instead discard the horizontal 2-cells, I believe we obtain the tricategory you're after.

It is a particularly strict sort of tricategory. This construction exhibits it as a bicategory enriched over the monoidal 2-category of strict 2-categories, but it might in fact be a strict 3-category; I have not checked carefully.

I suspect that your next question might be why no one has pointed this out before. Probably the answer is that no one had a use for it. One of the purposes of introducing icons was to reduce the categorical dimension of the structure containing bicategories, so putting the modifications back in would defeat that purpose. Also, modifications between icons may seem a priori to be of limited interest, since their components are endomorphisms of identity 1-cells — although of course such a judgment always evaporates when someone finds an application of them! Finally, the locally cubical bicategory seems more useful for most purposes: its categorical coherence dimension is equally limited (being an enriched bicategory, rather than a tricategory), while it contains strictly more information.

Answered by Mike Shulman on December 27, 2020

## Related Questions

### What is the generic poset used in forcing, really?

5  Asked on December 1, 2021

### Showing block diagonal structure of matrix by reordering

6  Asked on December 1, 2021 by szabolcs-horvt

### A new cardinality living in every forcing extension?

1  Asked on December 1, 2021

### What is the Schur multiplier of the Mathieu group $M_{10}$

1  Asked on December 1, 2021 by jiyong-chen

### Reference describing supersingular elliptic curves over algebraically closed field in characteristic 2

2  Asked on December 1, 2021 by up-too-high

### Approximation in fractional Sobolev space

0  Asked on December 1, 2021 by guy-fsone

### Is the following generalization of the Caratheodory theorem true?

1  Asked on December 1, 2021

### Dense embeddings into Euclidean space

0  Asked on December 1, 2021

### Why did Robertson and Seymour call their breakthrough result a “red herring”?

2  Asked on December 1, 2021 by graphx

### The edge precoloring extension problem for complete graphs

2  Asked on December 1, 2021

### Polytope with most faces

1  Asked on December 1, 2021 by zjs

### Algebraization of arithmetic and stronger theories?

0  Asked on December 1, 2021 by frode-alfson-bjrdal

### Vector field along an immersion whose covariant derivative is the differential

1  Asked on December 1, 2021 by quarto-bendir

### Condition for block symmetric real matrix eigenvalues to be real

1  Asked on November 29, 2021

### Canonical forms for block-positive-definite matrices

0  Asked on November 29, 2021 by laurent-lessard

### Form of a block upper triangular matrix of finite order

1  Asked on November 29, 2021 by user44128

### Determinant of block tridiagonal matrices

2  Asked on November 29, 2021

### Full measure properties for Zariski open subsets in $p$-adic situation

0  Asked on November 29, 2021 by alex-youcis

### Prove $int_{0}^{infty} cos(omega x) exp(-x^{alpha}) , {rm d} x ge {alpha^2 sqrt{pi} over 8} exp left( -frac{omega^2}{4} right)$

0  Asked on November 29, 2021

### Prove of the shape-derivative identity relating the shape and material derivative of a shape-dependent function

1  Asked on November 29, 2021