Algebras over infinity-operads

Abstract

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets and extends Lurie's definition of a coCartesian fibration of simplicial sets. We show how, for a dendroidal set X, the coCartesian fibrations over X fit together to form an infinity-category coCart(X). Using a generalization of the Grothendieck construction, we prove that coCart(X) is equivalent to the infinity-category of algebras in infinity-categories over the simplicial operad associated to X. This equivalence can be restricted to give an equivalence between algebras taking values in infinity-groupoids (or equivalently, spaces) and the infinity-category of so-called left fibrations over X.

93 pages

References in corpus (2)

• Higher Topos Theory
• Dendroidal sets and simplicial operads

Cited by in corpus (8)

• Infinity Properads and Infinity Wheeled Properads
• Minimal fibrations of dendroidal sets
• An infinite loop space machine for infinity-operads
• The genuine operadic nerve
• Morita homotopy theory for $(\infty ,1)$-categories and $\infty$-operads
• Localizing infinity-categories with hypercovers
• On the combinatorics of faces of trees and anodyne extensions of dendroidal sets
• Monoidal envelopes and Grothendieck construction for dendroidal Segal objects