Profinite \(\infty\)-operads
type: Item
instance of: scholarly article
title: Profinite \(\infty\)-operads
zbMATH Open document ID: 1502.18045
author: Thomas Blom
author: Ieke Moerdijk
published in: Advances in Mathematics
publication date: 2022-09-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/2107.10092
review text: Profinite completions of operads occur, for example, in the work of \textit{P. Boavida de Brito} et al. [Geom. Topol. 23, No. 1, 299--346 (2019; Zbl 1411.18015)] and \textit{G. Horel} [Adv. Math. 321, 326--390 (2017; Zbl 1385.55007)]. The goal of this paper is to construct a profinite completion functor for (simplicial or topological) operads, and to develop a corresponding homotopy theory of profinite operads. The authors show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of \(\infty\)-operads to a certain model category of profinite \(\infty\)-operads. The construction is based on a notion of lean \(\infty\)-operad, and the authors characterize those \(\infty\)-operads weakly equivalent to lean ones in terms of homotopical finiteness properties. Furthermore, several variants of the construction are also discussed, such as the cases of unital (or closed) \(\infty\)-operads and of \(\infty\)-categories.
reviewed by: Marek Golasiński
Mathematics Subject Classification ID: 18N40
Mathematics Subject Classification ID: 18M75
Mathematics Subject Classification ID: 18N70
Mathematics Subject Classification ID: 55U35
zbMATH DE Number: 7588414
zbMATH Keywords: dendroidal sets
zbMATH Keywords: infinity-operad
zbMATH Keywords: lean infinity-operad
zbMATH Keywords: profinite completion
zbMATH Keywords: Quillen model categories
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W4289883553
cites work: Etale homotopy
cites work: Pro-categories in homotopy theory
cites work: A new model for pro-categories
cites work: On an extension of the notion of Reedy category
cites work: Operads of genus zero curves and the Grothendieck-Teichmüller group
cites work: Dendroidal sets and simplicial operads
cites work: Dendroidal sets as models for homotopy operads
cites work: Cech and Steenrod homotopy theories with applications to geometric topology
cites work: Q5580926
cites work: Simplicial and Dendroidal Homotopy Theory
cites work: Q4790109
cites work: Profinite completion of operads and the Grothendieck-Teichmüller group
cites work: Calculating limits and colimits in pro-categories
cites work: Q3965241
cites work: Quasi-categories and Kan complexes
cites work: Higher Topos Theory (AM-170)
cites work: Q3874381
cites work: Closed dendroidal sets and unital operads
cites work: Minimal fibrations of dendroidal sets
DOI: 10.1016/J.AIM.2022.108601
Recommended article: Profinite homotopy theory
Recommended article: From homotopy operads to infinity-operads
Recommended article: Enriched \(\infty \)-operads
Recommended article: Pro-categories in homotopy theory
Recommended article: An equivalence of profinite completions
copyright license: Creative Commons Attribution 4.0 International
description: scientific article; zbMATH DE number 7588414