Dendroidal Sets

Abstract

We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category $\Delta$ used in simplicial sets, whose presheaf category is the category of dendroidal sets. We show that there is a closed monoidal structure on dendroidal sets which is closely related to the Boardman-Vogt tensor product of operads. Furthermore we show that each operad in a suitable model category has a coherent homotopy nerve which is a dendroidal set, extending another construction of Boardman and Vogt. There is also a notion of an inner Kan dendroidal set which is closely related to simplicial Kan complexes. Finally, we briefly indicate the theory of dendroidal objects and outline several of the applications and further theory of dendroidal sets.

23 pages. Minor correction in Section 7

Cited by in corpus (62)

• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Dendroidal sets and simplicial operads
• Dendroidal sets as models for homotopy operads
• On an extension of the notion of Reedy category
• Spaces of smooth embeddings and configuration categories
• Infinity Properads and Infinity Wheeled Properads
• Algebraic weak factorisation systems II: categories of weak maps
• Permutative categories, multicategories, and algebraic K-theory
• Genuine equivariant operads
• From operator categories to topological operads
• Operations on derived moduli spaces of branes
• Operads of genus zero curves and the Grothendieck-Teichmüller group
• Two models for the homotopy theory of $\infty$-operads
• A graphical category for higher modular operads
• A Model Structure for Enriched Coloured Operads
• On the category of props
• Dwyer--Kan homotopy theory for cyclic operads
• Dalian notes on rational Pontryagin classes
• Dendroidal Segal spaces and infinity-operads
• Modular operads and the nerve theorem
• Equivariant dendroidal sets
• Higher cyclic operads
• A criterion for existence of right-induced model structures
• The homotopy theory of simplicial props
• 2-Segal spaces as invertible infinity-operads
• On the formality of the little disks operad in positive characteristic
• Group actions on Segal operads
• Minimal fibrations of dendroidal sets
• Rigidification of higher categorical structures
• Dold-Kan correspondence for dendroidal abelian groups
• Free algebras through Day convolution
• Note on the tensor product of dendroidal sets
• Algebraic models for higher categories
• Graphical combinatorics and a distributive law for modular operads
• Brane actions, Categorification of Gromov-Witten theory and Quantum K-theory
• On rectification and enrichment of infinity properads
• The incidence comodule bialgebra of the Baez-Dolan construction
• Equivariant dendroidal Segal spaces and $G$-$\infty$-operads
• An Additivity Theorem for the Interchange of E_n Structures
• Truncated operads and simplicial spaces
• Categories of graphs for operadic structures
• The dendroidal category is a test category
• A spectral sequence for spaces of maps between operads
• Algebraic K-Theory of infinity-Operads
• Free Products of Higher Operad Algebras
• The Dwyer-Kan model structure for enriched coloured PROPs
• Lecture notes on infinity-properads
• Morita homotopy theory for $(\infty ,1)$-categories and $\infty$-operads
• On autoequivalences of the (\infty, 1)-category of \infty-operads
• Equivariant dendroidal sets and simplicial operads
• Homotopy theory of equivariant operads with fixed colors
• Broad posets, trees, and the dendroidal category
• Dendroidal weak 2-categories
• From Operads to Dendroidal Sets
• Augmented Homotopical Algebraic Geometry
• $C^{\ast }$-algebraic drawings of dendroidal sets
• On the homotopy theory of equivariant colored operads
• An infinity operad of normalized cacti
• Segal conditions for generalized operads
• On the combinatorics of faces of trees and anodyne extensions of dendroidal sets
• Homology of infinity-operads
• A folk Quillen model structure for operads