Monoidal envelopes and Grothendieck construction for dendroidal Segal objects

arXiv2301.10751MaRDI QIDQ6424401FDOQ6424401

Authors: David Kern 

Publication date: 25 January 2023

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.

Mathematics Subject Classification ID

(infty)-operads and higher algebra (18N70)

This page was built for publication: Monoidal envelopes and Grothendieck construction for dendroidal Segal objects

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