Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 11.3.0.16. This tag refers to a construction whose contents is now contained in Example example:monoidal-category-of-cocycle (and uses the language of monoidal categories, rather than $2$-categories).

Let $G$ be a group, let $\Gamma $ be an abelian group equipped with an action of $G$ by automorphisms, and let $\operatorname{\mathcal{C}}$ be the $2$-category obtained by applying the construction of Example 11.4.0.22 to some $3$-cocycle $\alpha : G \times G \times G \rightarrow \Gamma $. We can describe $\operatorname{\mathcal{C}}$ informally as follows: it is a $2$-category whose $1$-morphisms are the elements of the group $G$, whose $2$-morphisms are the elements of the abelian group $\Gamma $, and whose associativity constraint is the $3$-cocycle $\alpha $.