---
title: Dendroidal Segal Spaces and ∞-Operads
url: https://www.emergentmind.com/topics/dendroidal-segal-spaces
type: topic
---

# Dendroidal Segal Spaces and ∞-Operads

A dendroidal Segal space is a simplicial presheaf on the dendroidal category Ω, designed to model the homotopy theory of ∞-operads in direct analogy with the relationship between Segal spaces and ∞-categories. Dendroidal Segal spaces form the fibrant objects of a Bousfield localization of the (generalized) Reedy model structure on dendroidal spaces, and their importance lies in providing a homotopy-invariant, combinatorially tractable model for ∞-operads, equipped with a robust theory of Quillen equivalences to classical models such as simplicial operads and inner Kan dendroidal sets [1010.4956], [1109.1004], [2601.09505].

## 1. The Dendroidal Category and Dendroidal Spaces

The dendroidal category Ω has objects given by finite rooted trees. Morphisms in Ω are generated by operadic face maps (outer faces removing a vertex, inner faces contracting an edge) and degeneracy maps (inserting a unary vertex). Formally, a dendroidal set is a presheaf \( X \in \mathrm{Set}^{\Omega^{\mathrm{op}}} \), analogous to a simplicial set as a presheaf on Δ. A dendroidal space is a functor \( X : \Omega^{\mathrm{op}} \to \mathrm{sSet} \), often regarded as a simplicial object in dendroidal sets, or equivalently, a dendroidal object in simplicial sets [1010.4956], [1109.1004].

The representable dendroidal set for a tree \( T \) is denoted \( \Omega[T] = \mathrm{Hom}_\Omega(-, T) \). The inclusion of the full subcategory Δ (linear trees) recovers classical simplicial objects; Ω extends these with arbitrary tree shapes, thus enabling the modeling of multi-input/multi-output compositional structures as required for operads [2208.13852].

## 2. Segal Condition and Segal Cores

For any nontrivial tree \( T \), the Segal core \( \mathrm{Sc}[T] \) is defined as the union of the images of all corolla inclusions:
\[
\mathrm{Sc}[T] = \bigcup_{v \in V(T)} \mathrm{Im}(\Omega[C_v] \to \Omega[T]),
\]
where each vertex \( v \) determines a corolla \( C_v \) (a one-vertex tree with the same arity as \( v \)). The Segal core captures the combinatorial data associated with the elementary operations at vertices, while ignoring the higher connectivity encoded by internal edges.

For a dendroidal space \( X \), the Segal map is the canonical morphism
\[
X(T) \to X(\mathrm{Sc}[T]).
\]
The dendroidal Segal condition requires that for every nontrivial tree \( T \), the Segal map is a weak equivalence of simplicial sets:
\[
X(T) \xrightarrow{\simeq} \lim_{v \in V(T)} X(C_v)
\]
or, via the matching objects formalism, a trivial Kan fibration. This condition encodes that all compositions and symmetries of the operad are reconstructed up to coherent homotopy from the data at individual corollas [1010.4956].

In strict settings, where the Segal maps are required to be bijections (rather than weak equivalences), the resulting objects correspond exactly to the nerves of strict operads [1109.1004], [2208.13852].

## 3. Model Structures: Reedy, Segal, and Complete Localization

Dendroidal spaces inherit a model structure from the Reedy framework on diagram categories indexed by Ω. Cofibrations are the normal monomorphisms, defined levelwise with a freeness condition on automorphism actions.

The Segal model structure is obtained by left Bousfield localization at the collection of Segal core inclusions \( \mathrm{Sc}[T] \hookrightarrow \Omega[T] \) for all trees \( T \). The fibrant objects in this model structure are the dendroidal Segal spaces, which are Reedy fibrant and satisfy the Segal condition at all trees [1010.4956].

A further localization, at maps encoding completeness (e.g., Rezk-type completeness conditions involving the unit tree and the interval object), yields the model of complete dendroidal Segal spaces. Fibrant objects here capture the correct homotopy theory of ∞-operads, ensuring correct identification of objects (colours) and invertibility of trivial automorphisms [1010.4956], [2601.09505].

| Model Structure          | Cofibrations            | Weak Equivalences            | Fibrant Objects         |
|-------------------------|-------------------------|------------------------------|------------------------|
| Reedy                   | Normal monos            | Levelwise weak equivalences  | Reedy fibrant          |
| Segal                   | Normal monos            | Reedy + Segal maps           | Dendroidal Segal spaces|
| Complete (Rezk)         | Normal monos            | Segal + completeness         | Complete dendroidal Segal spaces|

## 4. Quillen Equivalences and Comparison with ∞-Operads

A fundamental result is that the homotopy theory of dendroidal Segal spaces is Quillen equivalent to the Cisinski–Moerdijk model structure for inner Kan dendroidal sets (∞-operads), as well as to the Bergner model category of simplicial operads [1109.1004], [1010.4956]. The key functors are:

- The homotopy coherent nerve functor \( hcN_d: \mathrm{sOper} \to \mathrm{dSet} \), right adjoint to the Boardman–Vogt resolution \( W_!: \mathrm{dSet} \to \mathrm{sOper} \).
- The inclusion of constant dendroidal sets into dendroidal spaces (as constant simplicial diagrams).

Chains of Quillen equivalences relate:
\[
\mathrm{dSet} \xleftrightarrow{\simeq} \mathrm{PreOper} \xleftrightarrow{\simeq} \mathrm{sOper} \xleftrightarrow{\simeq} \mathrm{sdSet}_{\text{Rezk}}
\]
with each being established as a Quillen equivalence [1109.1004], [1010.4956], [1207.3465], [2601.09505].

Slice categories over the unit tree (\( \Omega[0] \)) recover classical model categories for (∞,1)-categories: compared to Rezk's complete Segal spaces for categories, Joyal's quasi-categories, and Bergner's simplicial categories [1109.1004], [1010.4956].

## 5. Dwyer–Kan Equivalences and Mapping Spaces

Within the localized Segal model structure, weak equivalences between dendroidal Segal spaces are characterized by Dwyer–Kan (DK) equivalences: a map is a DK equivalence if it is fully faithful (induces weak equivalences on derived multi-mapping spaces) and essentially surjective (the induced functor between homotopy categories of operads is essentially surjective on objects) [2601.09505], [1801.02110].

Given a dendroidal Segal space \( X \) and profiles \( x_1, \ldots, x_k, y \in X_\eta \), the multi-mapping space is defined as the fiber
\[
\operatorname{map}_X(x_1, \ldots, x_k; y) = \mathrm{fib}\left( X(C_k) \to X(\partial C_k) \right)
\]
where \( C_k \) is the k-corolla. Composition maps and coherence are encoded homotopically via the Segal condition, using graftings of corollas and associated homotopy pullback squares [2601.09505], [1010.4956].

## 6. Extensions, Variants, and Applications

### Equivariant and Generalized Settings

The dendroidal Segal space framework supports equivariant generalization: for a finite group \( G \), the theory of G-dendroidal spaces and Segal spaces models G-∞-operads, with appropriate G-equivariant Segal conditions and Quillen equivalences extending to categories with group actions [1801.02110], [1207.3465].

Likewise, the core Segal condition, defined via corollas and inner edges, admits generalization to graphical categories indexing various kinds of generalized operads such as wheeled properads or modular operads [2208.13852].

### Closed Dendroidal Spaces and Unital Operads

Closed dendroidal sets, presheaves on the subcategory of trees without leaves, support a Segal-style model structure capturing unital (closed) operads. Bousfield localization at Segal core inclusions and unit-enforcing maps yields a model Quillen equivalent to that of unital simplicial operads [1811.05926].

### Grothendieck Construction and Monoidal Envelopes

Recent developments leverage the "plus-construction" on the dendroidal category (as a higher categorical enhancement of pointed finite sets) to define monoidal envelopes and cocartesian fibrations for ∞-operads, facilitating a straightening/unstraightening theory paralleling that of ∞-categories and providing a universal, functorial approach to dendroidal Segal spaces [2301.10751].

### Examples

- Configuration spaces of points in a manifold form a semi-dendroidal Segal space (i.e., satisfying the Segal condition but not fully compatible degeneracies), providing a flexible framework for "up-to-homotopy" operads not modeled by strict dendroidal Segal spaces [1707.05027].
- The dendroidal nerve of a strict operad (e.g., the terminal operad Comm) yields a complete dendroidal Segal space, fully capturing the ∞-operad structure [2601.09505], [1010.4956].

## 7. Significance and Future Directions

Dendroidal Segal spaces realize the homotopy theory of ∞-operads within a robust, model-categorical framework, commensurate with the established theories for ∞-categories. Their key features—coherence encapsulated by Segal maps, compatibility with classical and higher operadic models, and extension to equivariant and generalized settings—underpin ongoing research in higher category theory, operadic homotopy theory, and higher algebra.

Anticipated trajectories include further refinement of model structures (e.g., operadic Dwyer–Kan model), exploration of combinatorial and categorical features for new classes of operadic objects, and applications to the straightening–unstraightening of (co)cartesian fibrations in the operadic context [2301.10751], [2601.09505].

Source: https://www.emergentmind.com/topics/dendroidal-segal-spaces