Skip to main content
$-\text{Cat}$ and sometimes just $\text{Cat}$ -> $\text{-Cat}$
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Categories enriched in $(m,n)-\text{-Cat}$ with Crans-GrayCrans–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}$$$$((m,n)\text{-Cat}, \times)\text{-Cat} \cong (m+1,n+1)\text{-Cat}.$$

There is another monoidal structure on $(m,n)\text{Cat}$$(m,n)\text{-Cat}$, the Crans-GrayCrans–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}$$((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}$$$$((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}$$((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$).

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$).

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$).

Source Link
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$).