English

Monoidal centres and groupoid-graded categories

Category Theory 2022-06-22 v2

Abstract

We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by Mod\mathrm{Mod}; the tensor product is cartesian product of categories. For a groupoid \scrG\scr{G}, we study the monoidal centre ZPs(\scrG,Modop)\mathrm{ZPs}(\scr{G},\mathrm{Mod}^{\mathrm{op}}) of the monoidal bicategory Ps(\scrG,Modop)\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}}) of pseudofunctors and pseudonatural transformations; the tensor product is pointwise. Alexei Davydov defined the full centre of a monoid in a monoidal category. We define a higher dimensional version: the full monoidal centre of a monoidale (= pseudomonoid) in a monoidal bicategory \scrM\scr{M}, and it is a braided monoidale in the monoidal centre Z\scrM\mathrm{Z}\scr{M} of \scrM\scr{M}. Each fibration π:\scrH\scrG\pi : \scr{H} \to \scr{G} between groupoids provides an example of a full monoidal centre of a monoidale in Ps(\scrG,Modop)\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}}). For a group GG, we explain how the GG-graded categorical structures, as considered by Turaev and Virelizier in order to construct topological invariants, fit into this monoidal bicategory context. We see that their structures are monoidales in the monoidal centre of the monoidal bicategory of kk-linear categories on which GG acts.

Keywords

Cite

@article{arxiv.2010.10656,
  title  = {Monoidal centres and groupoid-graded categories},
  author = {Branko Nikolić and Ross Street},
  journal= {arXiv preprint arXiv:2010.10656},
  year   = {2022}
}

Comments

28 pages

R2 v1 2026-06-23T19:30:19.827Z