Dendroidal sets
From MaRDI portal
Publication:2464800
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 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.
The authors introduce the concept of dendroidal set, which is a generalization of the notion of a simplicial set. They first introduce a category of trees \(\Omega\), then define a dendroidal set as a presheaf on \(\Omega\). By considering any non negative integer \(n\) as a linear tree, the simplicial category \(\Delta\) is embedded in \(\Omega\). Thus, a dendroidal set is a generalization of a simplicial set since a simplicial set is a presheaf on \(\Delta\). From the definition, one can easily guess that the concept of dendroidal set is suited for the study of (coloured) operads. The authors show that there is a closed monoidal structure on the category of dendroidal sets which is closely related to the Boardman-Vogt tensor product of operads. Furthermore, it is proved that each operad in a suitable model category has a coherent homotopy nerve which is a dendroidal set. The authors also define a notion of inner Kan dendroidal set, which is closely related to the simplicial Kan complex. Finally, the theory of dendroidal objects in more general monoidal categories is discussed.
Recommendations
Cites work
- A survey of definitions of n-category
- Category of \(A_\infty\)-categories
- Higher Topos Theory (AM-170)
- Homotopy invariant algebraic structures on topological spaces
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1757930 (Why is no real title available?)
- scientific article; zbMATH DE number 3438091 (Why is no real title available?)
- scientific article; zbMATH DE number 777996 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 970691 (Why is no real title available?)
- Introduction to bicategories
- Koszul duality for operads
- On closed categories of functors
- On inner Kan complexes in the category of dendroidal sets
- Presheaves as models for homotopy types
- Quasi-categories and Kan complexes
- Resolution of coloured operads and rectification of homotopy algebras
- Tensor product of operads and iterated loop spaces
- The Boardman-Vogt resolution of operads in monoidal model categories
- The geometry of iterated loop spaces
- The structure of autodistributive algebras
- Vogt's theorem on categories of homotopy coherent diagrams
Cited in
(85)- On inner Kan complexes in the category of dendroidal sets
- Permutative categories, multicategories and algebraic \(K\)-theory
- Homology of dendroidal sets
- Truncated operads and simplicial spaces
- Brane actions, categorifications of Gromov-Witten theory and quantum \(K\)-theory
- From operator categories to higher operads
- Equivariant dendroidal sets
- Shuffles of trees
- Higher cyclic operads
- The incidence comodule bialgebra of the Baez-Dolan construction
- Homotopy-coherent algebra via Segal conditions
- Rational Pontryagin classes of Euclidean fiber bundles
- On the homotopy theory of equivariant colored operads
- Homotopy theory of equivariant operads with fixed colors
- \(\infty\)-operads via symmetric sequences
- An infinity operad of normalized cacti
- Modular operads and the nerve theorem
- Graphical combinatorics and a distributive law for modular operads
- An additivity theorem for the interchange of \(E_n\) structures
- \(C^\ast\)-algebraic drawings of dendroidal sets
- Enriched \(\infty \)-operads
- Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem
- A graphical category for higher modular operads
- Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads
- Enriched -categories via non-symmetric -operads
- On the category of props
- The homotopy theory of simplicial props
- Genuine equivariant operads
- Equivariant dendroidal Segal spaces and \(G\)-\(\infty\)-operads
- 2-Segal spaces as invertible infinity-operads
- Strictification theorems for the homotopy time-slice axiom
- Free algebras through Day convolution
- Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
- Reedy categories which encode the notion of category actions
- Dense forests and Danzer sets
- scientific article; zbMATH DE number 5910551 (Why is no real title available?)
- From operads to dendroidal sets
- A simplicial model for infinity properads
- Configuration spaces form a Segal semi-dendroidal space
- The configuration category of a product
- Union of shore sets in a dendroid
- scientific article; zbMATH DE number 1528619 (Why is no real title available?)
- Operads and Phylogenetic Trees
- Homotopy theory of normed sets. I: Basic constructions
- Spaces of smooth embeddings and configuration categories
- Group actions on Segal operads
- scientific article; zbMATH DE number 2155323 (Why is no real title available?)
- scientific article; zbMATH DE number 4121003 (Why is no real title available?)
- Dwyer-Kan homotopy theory for cyclic operads
- Closed dendroidal sets and unital operads
- Twisted arrow categories, operads and Segal conditions
- Opetopic algebras I: Algebraic structures on opetopic sets
- Cubical model categories and quasi-categories
- Quillen-Segal algebras and stable homotopy theory
- On the combinatorics of faces of trees and anodyne extensions of dendroidal sets
- The dendroidal category is a test category
- A criterion for existence of right‐induced model structures
- From homotopy operads to infinity-operads
- Dold-Kan correspondence for dendroidal Abelian groups
- Fibered Multiderivators and (co)homological descent
- Dendroidal sets and simplicial operads
- Dendroidal sets as models for connective spectra
- Algebraic K-Theory of ∞-Operads
- On the formality of the little disks operad in positive characteristic
- Moment categories and operads
- Partition complexes and trees
- Equivariant dendroidal sets and simplicial operads
- Countable dense sets of dendrites
- Categories of graphs for operadic structures
- On rectification and enrichment of infinity properads
- On an extension of the notion of Reedy category
- A spectral sequence for spaces of maps between operads
- Segal conditions for generalized operads
- On the equivalence of Lurie's -operads and dendroidal -operads
- Operads of genus zero curves and the Grothendieck-Teichmüller group
- Assembly of constructible factorization algebras
- Lecture notes on modular infinity operads and Grothendieck-Teichmüller theory
- Real models for the framed little n-disks operads
- Homology of infinity-operads
- Algebraic models for higher categories
- Crossed simplicial group categorical nerves
- The Deligne-Mumford operad as a trivialization of the circle action
- Minimal fibrations of dendroidal sets
- Algebraic weak factorisation systems. II: Categories of weak maps.
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
This page was built for publication: Dendroidal sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2464800)
