Monoidal envelopes and Grothendieck construction for dendroidal Segal objects - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Monoidal envelopes and Grothendieck construction for dendroidal Segal objects

Enveloppes monoïdales et construction de Grothendieck pour les objets dendroïdaux de Segal

David Kern

Résumé

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.
Nous proposons une construction des enveloppes monoïdales d'$\infty$-opérades dans le modèle des espaces dendroïdaux de Segal, et l'utilisons pour définir leurs fibrations cocartésiennes. Nous réalisons ce but en voyant la catégorie dendroïdale comme une «construction plus» de la catégorie des ensembles finis pointés, et travaillons dans le langage plus général des patrons algébriques pour les conditions de Segal. Pour finir, nous reformulons la définition donnée par Lurie des structures cartésiennes comme exhibant les fibrations catégoriques venant d'enveloppes, et en déduisons une équivalence de type construction de Grothendieck pour les espaces dendroïdaux.
Fichier principal
Vignette du fichier
Envelop_Segal.pdf (291.07 Ko) Télécharger le fichier
Envelop_Segal.bbl (35.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04054221 , version 1 (31-03-2023)

Identifiants

Citer

David Kern. Monoidal envelopes and Grothendieck construction for dendroidal Segal objects. 2023. ⟨hal-04054221⟩
20 Consultations
21 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More