References & Citations
Mathematics > Algebraic Topology
Title: Symmetric monoidal G-categories and their strictification
(Submitted on 9 Sep 2018 (v1), last revised 24 Jul 2019 (this version, v2))
Abstract: We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetric monoidal G-categories to genuine permutative G-categories. All of our work takes place in a general internal categorical framework that has many quite different specializations.
When G is a finite group, the theory here combines with previous work to generalize equivariant infinite loop space theory from strict space level input to considerably more general category level input. It takes genuine symmetric monoidal G-categories as input to an equivariant infinite loop space machine that gives genuine G-spectra as output.
Submission history
From: Mona Merling [view email][v1] Sun, 9 Sep 2018 18:17:26 GMT (38kb)
[v2] Wed, 24 Jul 2019 03:09:11 GMT (38kb)
Link back to: arXiv, form interface, contact.