Algebras over infinity-operads

TL;DR

This paper develops a formalism for algebras over infinity-operads within infinity-categories, extending Lurie's work and establishing an equivalence between coCartesian fibrations and algebra categories.

Contribution

It introduces an intrinsic definition of algebras over infinity-operads using dendroidal sets and proves their equivalence to certain fibrations, generalizing existing frameworks.

Findings

Defined algebras over infinity-operads via dendroidal sets.

Proved the equivalence between coCartesian fibrations and algebra categories.

Extended the Grothendieck construction to the infinity-categorical setting.

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.