Infinite loop spaces, and coherence for symmetric monoidal bicategories (Q2437493): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2023591117 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1210.1174 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5290469 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher dimensional algebra. I: Braided monoidal 2-categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy-everything 𝐻-spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cartesian Bicategories II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying spaces for braided monoidal categories and lax diagrams of bicategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized centers of braided and sylleptic monoidal 2-categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoidal bicategories and Hopf algebroids / rank
 
Normal rank
Property / cites work
 
Property / cites work: ALGORITHMS FOR POSITIVE BRAIDS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Configuration Spaces. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherence for tricategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherence in Three-Dimensional Category Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Loop spaces, and coherence for monoidal and braided monoidal bicategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Biequivalences in tricategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modeling Stable One-Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Braided tensor categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4308237 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Icons / rank
 
Normal rank
Property / cites work
 
Property / cites work: 2-nerves for bicategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5655527 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The geometry of iterated loop spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4487536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic classification of equivariant homotopy 2-types. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spectra associated to symmetric monoidal bicategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categories and cohomology theories / rank
 
Normal rank

Latest revision as of 10:45, 7 July 2024

scientific article
Language Label Description Also known as
English
Infinite loop spaces, and coherence for symmetric monoidal bicategories
scientific article

    Statements

    Infinite loop spaces, and coherence for symmetric monoidal bicategories (English)
    0 references
    0 references
    0 references
    3 March 2014
    0 references
    Performing an iterative Eckmann-Hilton-like process on monoidal bicategories, one is respectively led to braided, sylleptic and symmetric monoidal bicategories in the terminology of \textit{B. Day} and the reviewer in [Adv. Math. 129, No. 1, 99--157, Art. No. AI971649 (1997; Zbl 0910.18004)]. After that, nothing new: stability. In a recent paper [Adv. Math. 226, No. 5, 4225--4265 (2011; Zbl 1260.18008)], the first author of the present paper proved coherence results for monoidal and braided monoidal bicategories, and looked at the relevance to loop spaces. This new paper proves three coherence results for symmetric monoidal bicategories and relates this to some \(E_n\)-space structures. The coherence results state: (i) in a free symmetric monoidal bicategory on a set, every diagram of 2-cells commutes; (ii) the free symmetric monoidal bicategory on the terminal set is equivalent, as a symmetric monoidal bicategory, to a skeleton of the groupoid of finite sets and bijective functions as a locally discrete symmetric monoidal bicategory; and (iii) any symmetric monoidal bicategory is equivalent, as a symmetric monoidal bicategory, to a strict one. A word of warning here: the word `strict' in (iii) does not mean the most extreme notion of strict symmetry; the braiding is not required to be an identity, merely an adjoint equivalence with the syllepsis as unit. The third result is not a corollary of the earlier ones but does use the same proof techniques involving rewriting and positive braids. If \(\mathcal{A}\) is the hom weak \(n\)-category of a one-object weak \((n+1)\)-category \(\Sigma \mathcal{A}\) then we have the mnemonic that the simplicial nerve of \(\Sigma \mathcal{A}\) is essentially homotopic to the suspension of the simplicial nerve of \(\mathcal{A}\). That is, nerve weakly commutes with suspension. In particular, the nerve of a monoidal category is essentially a loop space. For a sylleptic monoidal bicategory \(\mathcal{A}\), we have the weak 5-category \(\Sigma^3\mathcal{A}\), so that the simplicial nerve of bicategory \(\mathcal{A}\) is expected to be a 3-fold loop space. The present paper uses its coherence theorems to properly prove, consistent with the mnemonic, that the fundamental 2-groupoid of an \(E_3\)-space has a sylleptic monoidal structure. The authors provide the classifying space of a symmetric monoidal bicategory with an \(E_{\infty}\)-structure. Also reflecting the stability mentioned above, for \(n\geq 4\), they equip the fundamental 2-groupoid of an \(E_n\)-space with a symmetric monoidal structure.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    symmetric monoidal bicategory
    0 references
    coherence
    0 references
    \(E_\infty \)-space
    0 references
    syllepsis
    0 references
    loop space
    0 references
    operad
    0 references
    fundamental 2-groupoid
    0 references
    0 references
    0 references