# nLab k-tuply monoidal (n,r)-category

### Context

#### Higher category theory

higher category theory

## 1-categorical presentations

#### Monoidal categories

monoidal categories

## With traces

• trace

• traced monoidal category?

# $k$-tuply monoidal $\left(n,r\right)$-categories

## Idea

Two important periodic tables are the table of $k$-tuply monoidal $n$-categories and the table of $\left(n,r\right)$-categories. These can actually be combined into a single 3D table, which surprisingly also includes $k$-tuply groupal $n$-groupoids.

## Definition

A $k$-tuply monoidal $\left(n,r\right)$-category is a pointed $\infty$-category (which you may interpret as weakly or strictly as you like) such that:

• any two parallel $j$-morphisms are equivalent, for $j;
• any $j$-morphism is an equivalence, for $j>r+k$;
• any two parallel $j$-morphisms are equivalent, for $j>n+k$.

Keep in mind that one usually relabels the $j$-morphisms as $\left(j-k\right)$-morphisms, which explains the usage of $r+k$ and $n+k$ instead of $r$ and $n$. As explained below, we may assume that $n\ge -1$, $-1\le r\le n+1$, $0\le k\le n+2$, and (if convenient) $r+k\ge 0$.

To interpret this correctly for low values of $j$, assume that all objects ($0$-morphisms) in a given $\infty$-category are parallel, which leads one to speak of the two $\left(-1\right)$-morphisms that serve as their common source and target and to accept any object as an equivalence between these. In particular, any $j$-morphism is an equivalence for $j<1$, so if $r+k=0$, then the condition is satisfied for any smaller value of $r+k$. Thus, we may assume that $r+k\ge 0$. Similarly, since there is a chosen object (the basepoint), any parallel $j$-morphisms are equivalent for $j<1$,

The conditions that $j and that $j>n+k$ will overlap if $n<-1$, so we don't use such values of $n$. In other words, any $k$-tuply monoidal $\left(-1,r\right)$-category is also a $k$-tuply monoidal $\left(n,r\right)$-category for any $n<-1$.

If any two parallel $j$-morphisms are equivalent, then any $j$-morphism between equivalent $\left(j-1\right)$-morphisms is an equivalence (being parallel to an equivalence for $j>0$ and automatically for $j<1$). Accordingly, any $k$-tuply monoidal $\left(n,0\right)$-category is automatically also a $k$-tuply monoidal $\left(n,r\right)$-category for any $r<0$, and any $k$-tuply monoidal $\left(n,r\right)$-category for $r>n+1$ is also a $k$-tuply monoidal $\left(n,n+1\right)$-category. Thus, we don't need $r<-1$ or $r>n+1$.

According to the stabilisation hypothesis, every $k$-tuply monoidal $\left(n,r\right)$-category for $k>n+2$ may be reinterpreted as an $\left(n+2\right)$-tuply monoidal $\left(n,r\right)$-category. Unlike the other restrictions on values of $n,r,k$, this one is not trivial.

## Special cases

A $0$-tuply monoidal $\left(n,r\right)$-category is simply a pointed $\left(n,r\right)$-category. The restriction that $r+k\ge 0$ becomes that $r\ge 0$. This is why $\left(n,r\right)$-categories use $0\le r\le n+1$ rather than the restriction on $r$ given before.

A $k$-tuply monoidal $\left(n,0\right)$-category is a $k$-tuply monoidal $n$-groupoid. A $k$-tuply monoidal $\left(n,-1\right)$-category is a $k$-tuply groupal $n$-groupoid. This is why groupal categories? don't come up much; the progression from monoidal categories to monoidal groupoids? to groupal groupoids? is a straight line up one column of the periodic table of monoidal? $\left(n,r\right)$-categories. (But if we moved to a 4D table that required all $j$-morphisms to be equivalences for sufficiently low values of $j$, then groupal categories would appear there.)

A $k$-tuply monoidal $\left(n,n\right)$-category is simply a $k$-tuply monoidal $n$-category. A $k$-tuply monoidal $\left(n,n+1\right)$-category is a $k$-tuply monoidal $\left(n+1\right)$-poset. Note that a $k$-tuply monoidal $\infty$-category and a $k$-tuply monoidal $\infty$-poset are the same thing.

A stably monoidal $\left(n,r\right)$-category, or symmetric monoidal $\left(n,r\right)$-category, is an $\left(n+2\right)$-tuply monoidal $\left(n,r\right)$-category. Although the general definition above won't give it, there is a notion of stably monoidal $\left(\infty ,r\right)$-category, basically an $\left(\infty ,r\right)$-category that can be made $k$-tuply monoidal for any value of $k$ in a consistent way.

Revised on October 26, 2012 04:34:58 by Urs Schreiber (82.169.65.155)