Dendroidal Segal Spaces and ∞-Operads

• Dendroidal Segal spaces are simplicial presheaves on rooted trees that model the homotopy theory of ∞-operads by encoding coherent compositions via Segal maps.
• They leverage combinatorial structures like trees, corollas, and inner Kan conditions to establish robust Quillen equivalences with classical models such as simplicial operads.
• Their framework extends to equivariant and unital settings, offering practical insights and future research directions in higher operad theory and homotopical algebra.

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 (Cisinski et al., 2010, Cisinski et al., 2011, Candeias et al., 14 Jan 2026).

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 (Cisinski et al., 2010, Cisinski et al., 2011).

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 (Hackney, 2022).

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 (Cisinski et al., 2010).

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 (Cisinski et al., 2011, Hackney, 2022).

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 (Cisinski et al., 2010).

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 (Cisinski et al., 2010, Candeias et al., 14 Jan 2026).

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 (Cisinski et al., 2011, Cisinski et al., 2010). 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 (Cisinski et al., 2011, Cisinski et al., 2010, Bergner et al., 2012, Candeias et al., 14 Jan 2026).

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 (Cisinski et al., 2011, Cisinski et al., 2010).

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) (Candeias et al., 14 Jan 2026, Bonventre et al., 2018).

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 (Candeias et al., 14 Jan 2026, Cisinski et al., 2010).

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 (Bonventre et al., 2018, Bergner et al., 2012).

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 (Hackney, 2022).

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 (Moerdijk, 2018).

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 (Kern, 2023).

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 (Hackney, 2017).
• The dendroidal nerve of a strict operad (e.g., the terminal operad Comm) yields a complete dendroidal Segal space, fully capturing the ∞-operad structure (Candeias et al., 14 Jan 2026, Cisinski et al., 2010).

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 (Kern, 2023, Candeias et al., 14 Jan 2026).