Operadic Nerve in Higher Category Theory

• Operadic nerve is a construction in higher category theory that encodes the combinatorial structure and coherence properties of operads for ∞-categorical contexts.
• It employs methodologies like the classical nerve, enriched Grothendieck construction, and equivariant extensions to seamlessly translate strict operadic structures into higher categorical frameworks.
• The construction demonstrates functoriality, universal coCartesian fibrations, and coherent nerve properties that underpin modern applications in algebraic and homotopy theories.

The operadic nerve is a central construction in higher category theory and homotopy theory, encoding the combinatorics of algebraic operations and their compatibilities in a form suitable for ∞-categorical and higher-dimensional contexts. There are several variants of the operadic nerve, corresponding to different contexts—simplicial, genuine equivariant, and categorical—each yielding a simplicial (or pseudo-simplicial) object that reflects the structural and coherence properties of operads and operadic categories.

1. Classical Operadic Nerve and the Relative Nerve

The classical operadic nerve, due to Lurie, formalizes the passage from strict monoidal or operadic structures to quasicategorical (or ∞-categorical) structures. Given a strict monoidal simplicial category $(C, \otimes, 1)$, there is a construction of a simplicial category $C^{\otimes}$, where objects are finite sequences $[x_1,\dots,x_n]$ with $x_i \in C$, and morphisms encode the operadic composition:

$$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$

The operadic nerve $N^\otimes(C)$ is defined as the simplicial nerve $N(C^{\otimes})$. This construction factors through a "relative nerve" of diagrams of simplicial sets, where $N^\otimes(C) \cong N_{\xi}(\Delta^{\mathrm{op}})$ for the functor $$\xi = N \circ C^\bullet: \Delta^{\mathrm{op}} \to s\mathrm{Set}$$. This relative nerve is canonically isomorphic to the nerve of the Grothendieck construction on $C^\bullet$ and yields a coCartesian fibration over $C^{\otimes}$0, classifying the monoidal structure as an ∞-categorical object (Beardsley et al., 2018).

2. Enriched Grothendieck Construction and Structural Theorems

For a functor $C^{\otimes}$1 from a small category $C^{\otimes}$2 to simplicial categories, the enriched Grothendieck construction $C^{\otimes}$3 forms a simplicial category whose objects are pairs $C^{\otimes}$4 with $C^{\otimes}$5, and whose morphisms reflect both functorial and internal mapping structure:

$C^{\otimes}$6

$C^{\otimes}$7

The main theorem establishes an isomorphism $C^{\otimes}$8 when $C^{\otimes}$9 (Beardsley et al., 2018). This result underpins the identification of the operadic nerve with a relative nerve and highlights the compatibility of the nerve construction with enriched categorical structures and coCartesian fibrations.

3. Genuine Operadic Nerve and Equivariant Extensions

The genuine operadic nerve, as developed in the equivariant context, extends the classical construction to account for genuine $[x_1,\dots,x_n]$0-actions and the richer combinatorics of genuine equivariant operads. Here, one works with operads equipped with a system of "colors" parametrized by the orbit category $[x_1,\dots,x_n]$1, and operations with structure compatible with finite $[x_1,\dots,x_n]$2-sets and norms.

Given a genuine operad $[x_1,\dots,x_n]$3, the genuine category of operators $[x_1,\dots,x_n]$4 is built with:

• Objects: $[x_1,\dots,x_n]$5, for $[x_1,\dots,x_n]$6 a finite $[x_1,\dots,x_n]$7-set and $[x_1,\dots,x_n]$8 drawn from a coefficient system.
• Morphisms: indexed by morphisms of $[x_1,\dots,x_n]$9 (finite $x_i \in C$0-sets) and formed from the mapping spaces of $x_i \in C$1.

The genuine operadic nerve $x_i \in C$2 is the homotopy-coherent nerve $x_i \in C$3, yielding an $x_i \in C$4-∞-operad over the nerve of the category of finite pointed $x_i \in C$5-sets. This translation allows the passage from genuine equivariant operads to parametrized ∞-categorical structures and classifies coCartesian fibrations of Segal type as $x_i \in C$6-symmetric monoidal $x_i \in C$7-∞-categories (Bonventre, 2019).

4. Simplicial and Pita Nerve in Operadic Categories

In the context of strictly factorisable operadic categories $x_i \in C$8 (as in the work of Batanin–Kock–Weber), the operadic nerve $x_i \in C$9 is constructed as a simplicial object in $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$0 via the "pita nerve":

$$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$1

Morphisms involve quasi-bijections and fibrewise order-preserving diagrams, and the face/degeneracy maps are adjusted via the pita factorisation: each composite morphism factors uniquely as an order-preserving map followed by a quasi-bijection.

A crucial result is that $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$2 is not a strict simplicial object but an oplax (pseudo-simplicial) object, with coherence cells (denoted $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$3) mediating the failure of simplicial identities involving consecutive top faces. This coherence property is essential, ensuring that the operadic nerve witnesses the axioms of an operadic category via its combinatorics, particularly when orthogonal factorisation systems are absent. When all quasi-bijections are invertible, the pita nerve becomes a decomposition space, directly realizing classical bialgebraic structures (Batanin et al., 28 Dec 2025).

5. Functoriality, Opposites, and Universal Properties

The operadic nerve construction is functorial: a strict monoidal structure or operad maps to its operadic nerve, and this assignment extends to a functor from strict monoidal simplicial categories to monoidal $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$4-categories:

$$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$5

The construction is compatible with opposites: taking the fiberwise opposite commutes with the operadic nerve, i.e., $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$6.

Moreover, the intermediate step of the relative nerve clarifies the universal coCartesian-fibration property of the operadic nerve, and its compatibility with Grothendieck's unstraightening construction. In particular, $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$7 is the coCartesian fibration classifying the functor $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$8 defined by $$C^{\otimes}\big([x_1,\dots,x_n],[y_1,\dots,y_m]\big) = \bigsqcup_{f:[m]\rightarrow[n]} \prod_{1\leq i\leq m} C\big(x_{f(i-1)+1} \otimes \cdots \otimes x_{f(i)}, y_i\big)$$9 (Beardsley et al., 2018).

6. Comparison, Applications, and Examples

• In the equivariant setting, the genuine operadic nerve translates between genuine $N^\otimes(C)$0-operads and $N^\otimes(C)$1-∞-operads (e.g., for the little disks operad with $N^\otimes(C)$2-action, the genuine nerve recovers the normed ∞-operad structure).
• The operadic nerve of categories like FinSet$N^\otimes(C)$3 captures the full structure of symmetric monoidal categories in the equivariant context, where fibers correspond to categories of $N^\otimes(C)$4-sets and morphisms encode both bundling and forgetting operations (Bonventre, 2019).
• In strictly factorisable categories of surjections, the operadic nerve realizes familiar algebraic structures such as the Faà di Bruno bialgebra upon suitable modification. The pseudo-simplicial (coherent top-lax) nature is crucial to faithfully encoding operadic category axioms via the nerve (Batanin et al., 28 Dec 2025).

7. Structural Significance and Outlook

The operadic nerve and its variants bridge algebraic and homotopical structures, categorifying classical operad theory and providing foundational tools for the higher and equivariant categorical study of algebraic operations. Their universal, functorial, and coherence properties underpin modern developments in ∞-operad theory, parametrized higher categories, and decomposition spaces. The connections with the Grothendieck construction, relative nerve, and decomposition space theory point to a unified categorical framework for algebraic structures under various levels of symmetry and coherence.