Skip to main content
1 of 2
K. Strong
  • 423
  • 2
  • 7

Categories enriched in $(m,n)-\text{Cat}$ with Crans-Gray tensor product

(All higher categories will be strict unless otherwise noted):

It is a somewhat folklorish fact that if you equip the category of $(m,n)$ categories with the cartesian monoidal structure, then a category enriched in $(m,n)$-cat is an $(m+1,n+1)$-category. More succinctly, there is an equivalence of categories

$$((m,n)\text{Cat}, \times)-\text{Cat} \cong (m+1,n+1)\text{Cat}$$

There is another monoidal structure on $(m,n)\text{Cat}$, the Crans-Gray tensor product. Denote it by $\otimes$. If I understand correctly, this should be thought of as a sort of weak version of a product, e.g. if I denote by $[1]$ the interval category, then $[1] \times [1]$ is a commutative square, whereas $[1]\otimes[1]$ is a weakly commuting square.

Given this monoidal structure, it feels natural to enrich categories in it - that is, to consider the category $((m,n)\text{Cat},\otimes)-\text{Cat}$. For the case $m=n=2$, this turns out to recover "$3$-categories with weak interchange and everything else strict" (also called Gray categories).

Question 1: Is there somewhere in which a (Quillen) adjunction

$$((2,2)\text{Cat}, \otimes)-\text{Cat} \rightleftarrows ((2,2)\text{Cat}, \times)\text{Cat} \cong (3,3)\text{Cat}$$

is constructed? This seems (relatively) simple but I haven't been able to find a reference.

Question 2: Has anyone studied any other cases of $((m,n)\text{Cat},\otimes)-\text{Cat}$? I am specifically interested in the case $m = \omega$ (and even more specifically, I am happy to restrict to $n=0$).

K. Strong
  • 423
  • 2
  • 7