2020/10/20 by Branko Nikolić, Nikolić, Branko, Ross Street +1
Mathematics · #18D60 #18M15 #18M20 (Primary) #57R56 #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2010.10656
openalex publication_date 2020/10/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by Mod; the tensor product is cartesian product of categories. For a groupoid \scrG, we study the monoidal centre ZPs(\scrG,Modop) of the monoidal bicategory Ps(\scrG,Modop) 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, and it is a braided monoidale in the monoidal centre Z\scrM of \scrM. Each fibration π: \scrH → \scrG between groupoids provides an example of a full monoidal centre of a monoidale in Ps(\scrG,Modop). For a group G, we explain how the G-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 k-linear categories on which G acts.