Monoidal envelopes and Grothendieck construction for dendroidal Segal objects

Abstract

We propose a construction of the monoidal envelope of $\infty$-operads in the model of Segal dendroidal spaces, and use it to define cocartesian fibrations of such. We achieve this by viewing the dendroidal category as a "plus construction" of the category of pointed finite sets, and work in the more general language of algebraic patterns for Segal conditions. Finally, we rephrase Lurie's definition of cartesian structures as exhibiting the categorical fibrations coming from envelopes, and deduce a straightening/unstraightening equivalence for dendroidal spaces.

arXiv comment24 pages. Preliminary version, drafty in places. Comments welcome

References in corpus (13)

• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Higher Segal spaces I
• The higher Morita category of $E_n$-algebras
• From operator categories to topological operads
• Spectral Mackey functors and equivariant algebraic K-theory (II)
• Algebras over infinity-operads
• A unified framework for generalized multicategories
• Envelopes for Algebraic Patterns
• Arity Approximation of $\infty$-Operads
• Moment categories and operads
• $\infty$-operads as symmetric monoidal $\infty$-categories
• On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads
• Enriched homotopy-coherent structures