The -categorical Eckmann-Hilton argument

DOI10.2140/AGT.2019.19.3119MaRDI QIDQ2279080zbMATH OpenOpenAlexFDO

Authors Tomer M. Schlank, Lior Yanovski

Publication date 12 December 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.06006

zbMATH Keywords

connectedinfinity categoryinfinity operadsEckmann-Hilton argument

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Loop space machines and operads in algebraic topology (55P48) Internal categories and groupoids (18D40) (infty)-operads and higher algebra (18N70)

Abstract: We define a reduced $infty$-operad $mathcalP$ to be $d$-connected if the spaces $mathcalPleft(night)$, of $n$-ary operations, are $d$-connected for all $nge0$. Let $mathcalP$ and $mathcalQ$ be two reduced $infty$-operads. We prove that if $mathcalP$ is $d_1$-connected and $mathcalQ$ is $d_2$-connected, then their Boardman-Vogt tensor product $mathcalPotimesmathcalQ$ is $left(d_1+d_2+2ight)$-connected. We consider this to be a natural $infty$-categorical generalization of the classical Eckmann-Hilton argument.

Recommendations

• The Eckmann-Hilton argument and higher operads
• An additivity theorem for the interchange of \(E_n\) structures
• From operator categories to higher operads
• \(\infty\)-operads via symmetric sequences
• ∞-Operads as Analytic Monads

Cites work

• An additivity theorem for the interchange of \(E_n\) structures
• Axiomatic homotopy theory for operads
• Cofibrant operads and universal \(E_{\infty}\) operads.
• Dendroidal Segal spaces and ∞-operads
• Dendroidal sets and simplicial operads
• Dendroidal sets as models for homotopy operads
• From operator categories to higher operads
• Group-like structures in general categories. I. Multiplications and comultiplications
• Higher Topos Theory (AM-170)
• Quasi-categories and Kan complexes
• Tensor product of operads and iterated loop spaces
• Two models for the homotopy theory of \(\infty\)-operads
• Univalence in locally Cartesian closed categories

Cited in

(4)

• The Hilton-Heckmann argument for the anti-commutativity of cup products
• Syllepsis in homotopy type theory
• An unsuspended description of the \(E\)-theory category
• The Eckmann-Hilton argument and higher operads

This page was built for publication: The \(\infty\)-categorical Eckmann-Hilton argument

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279080)