Simplicial Presheaf¶

A simplicial presheaf is a contravariant functor from a category to simplicial sets, equivalently a simplicial object in set-valued presheaves, combining sectionwise homotopy data with functorial restriction.

Version: v1 · 2026-08-30 · History
Domain-specific #: 2784
Origin domain: mathematics
Subdomain: local and motivic homotopy theory
Aliases: Presheaf of simplicial sets, Simplicial-set-valued presheaf

Core Idea¶

Let $C$ be a small category and let $\mathbf{sSet}=\operatorname{Fun}(\Delta^{op},\mathbf{Set})$ be the category of simplicial sets. A simplicial presheaf on $C$ is a contravariant functor

\[ X:C^{op}\longrightarrow\mathbf{sSet}. \]

Thus every object $U$ of $C$ receives a simplicial set $X(U)$, and every arrow $f:V\to U$ induces a simplicial restriction map $f^*:X(U)\to X(V)$. These restrictions preserve all face and degeneracy operators and satisfy $(\operatorname{id}_U)^*=\operatorname{id}_{X(U)}$ and $(f\circ g)^*=g^*\circ f^*$.

By currying functor categories, the same data can be read as a simplicial object in ordinary set-valued presheaves:^[1]

\[ \operatorname{Fun}(C^{op},\operatorname{Fun}(\Delta^{op},\mathbf{Set})) \cong \operatorname{Fun}(\Delta^{op},\operatorname{Fun}(C^{op},\mathbf{Set})). \]

At simplicial degree $n$, the presheaf $X_n$ is given by $X_n(U)=X(U)_n$. Its face and degeneracy maps are natural transformations of presheaves. This two-axis reading is load-bearing: the $C^{op}$ direction records change of context or restriction, while the $\Delta^{op}$ direction records points, paths, higher simplices, and their coherence.

A Grothendieck topology is not required to form the raw functor category $\mathbf{sPSh}(C)$. When $C$ is a site, its covering families support local weak equivalences, descent, stacks, and local model structures. The topology enriches the homotopy theory placed on simplicial presheaves; it is not an extra axiom every raw simplicial presheaf already satisfies.

Structural Signature¶

Role structure: indexing category $C$ + opposite variance $C^{op}$ + simplicial-set codomain $\mathbf{sSet}$ + sectionwise simplicial sets $X(U)$ + restriction maps $f^*$ + face maps $d_i$ + degeneracy maps $s_i$ + naturality and functoriality equations + optional Grothendieck topology for local homotopy.

Defining invariant: for every $f:V\to U$, every simplicial operator $\alpha:[m]\to[n]$ in $\Delta$, and every $x\in X(U)_n$,

\[ f^*(X(\alpha)(x))=X(\alpha)(f^*x), \]

and restriction respects identities and composition. Equivalently, each $X_n$ is a presheaf and every simplicial structure map is natural in $U$.

Recognition test: a candidate qualifies exactly when it supplies all four of these pieces:

a declared domain category $C$;
a simplicial set $X(U)$ for every $U\in C$;
a simplicial restriction map for every arrow of $C$ in the contravariant direction;
identity, composition, face, degeneracy, and cross-direction naturality laws.

Specifying only the sets $X(U)_n$ is insufficient. The horizontal restrictions and vertical simplicial operators must commute. A morphism $X\to Y$ is a natural transformation whose components $X(U)\to Y(U)$ are simplicial maps; in the degreewise view it is a compatible family of natural transformations $X_n\to Y_n$.

Identity-breaking changes: reversing the $C$-variance, replacing simplicial sets by another codomain without qualification, omitting face or degeneracy coherence, imposing descent as if it were automatic, or treating a derived/local equivalence class as identical to a raw functor.

What It Is Not¶

A simplicial presheaf is not merely a simplicial set. A simplicial set varies only over the simplex category $\Delta$; a simplicial presheaf additionally varies contravariantly over $C$. If $C$ is the terminal category, the distinction collapses and $\mathbf{sPSh}(C)\cong\mathbf{sSet}$.

It is not merely an ordinary presheaf of sets. An ordinary presheaf $A:C^{op}\to\mathbf{Set}$ embeds as the degreewise constant—or discrete—simplicial presheaf, but general $X(U)$ can have nondegenerate higher simplices and homotopy groups.

It is not automatically a simplicial sheaf, stack, or hypersheaf. A simplicial sheaf is degreewise a sheaf under the chosen topology. A local fibrant or hypersheaf-like object satisfies homotopical descent, commonly expressed through hypercovers. A raw simplicial presheaf need satisfy neither condition.^[2]

It is not a simplicial scheme. A simplicial scheme is a simplicial object in schemes; degreewise Yoneda sends it to a simplicial presheaf, but most simplicial presheaves are not degreewise representable. Nor is it a simplicial category: the latter has mapping simplicial sets between objects, whereas the present object is one functor valued in simplicial sets.

Scope of Application¶

Simplicial presheaves are foundational in local homotopy theory, nonabelian cohomology, descent, higher stacks, algebraic $K$-theory, étale homotopy, derived algebraic geometry, and motivic homotopy theory. Jardine's work constructed local homotopy theories on categories of simplicial presheaves and sheaves; modern treatments use them as concrete model-categorical presentations of homotopy-valued presheaves.^[3]^[4]

On a Grothendieck site, objectwise projective and injective model structures organize sectionwise homotopy. In the projective structure, weak equivalences and fibrations are detected objectwise; in the injective structure, weak equivalences and cofibrations are detected objectwise. Local model structures arise by localizing at covering or hypercover information, so maps that are not sectionwise equivalences can become local equivalences. Dugger, Hollander, and Isaksen characterize suitable local fibrant models using objectwise fibrancy plus hypercover descent.^[2]

In motivic homotopy theory, one starts with simplicial presheaves or sheaves on a category such as smooth schemes over a base, imposes a topology such as Nisnevich descent, and further localizes with respect to projections $U\times\mathbb A^1\to U$. This makes schemes participate in a homotopy theory without confusing the raw presheaf with its local or $\mathbb A^1$-localized homotopy type.^[5]

The construction also applies to an arbitrary small category without a topology. In that setting, objectwise and diagrammatic homotopy remain meaningful, but vocabulary such as “local equivalence,” “descent,” or “stack” has no force until covering data are declared.

Clarity¶

The fastest diagnostic is to draw a square for a site arrow $f:V\to U$ and a simplicial operator $\alpha:[m]\to[n]$:

\[ \begin{array}{ccc} X(U)_n&\xrightarrow{X(\alpha)}&X(U)_m\\ \downarrow f^*&&\downarrow f^*\\ X(V)_n&\xrightarrow{X(\alpha)}&X(V)_m. \end{array} \]

If every such square commutes and the restrictions form a contravariant functor, the data form a simplicial presheaf. If only the horizontal simplicial structure exists, the candidate is a simplicial set. If only restrictions among sets exist, it is an ordinary presheaf. If the squares commute only up to unspecified homotopy, it is not a strict simplicial presheaf without a rectification or higher-functor framework.

Three choices must be kept separate:

underlying object: $X:C^{op}\to\mathbf{sSet}$;
topology: which covering sieves or families determine locality;
homotopy presentation: projective, injective, local, or further localized model structure.

Changing the latter two can change weak equivalences and fibrant objects without changing the underlying functor. Thus “$X$ is a simplicial presheaf” is an object-level statement; “$X$ is locally fibrant,” “$X$ is a stack,” and “$X\simeq Y$ locally” are additional claims.

Manages Complexity¶

The abstraction coordinates two kinds of variability in one functorial object. Sectionwise simplicial sets encode higher homotopy; presheaf restriction encodes how that data changes under localization, pullback, or refinement. Naturality makes the two mechanisms commute automatically, eliminating a separate compatibility proof for each face, degeneracy, and restriction composite.

Functor-category structure makes limits and colimits computable objectwise. Products, pullbacks, and colimits satisfy

\[ (\lim_i X_i)(U)=\lim_i X_i(U),\qquad (\operatorname{colim}_i X_i)(U)=\operatorname{colim}_i X_i(U), \]

with the corresponding simplicial-set operations. Representables supply elementary cells: for $U\in C$ and simplicial set $K$, the tensor

\[ (yU\otimes K)(V)=\operatorname{Hom}_C(V,U)\times K \]

combines a context type with a homotopy cell. Generating maps such as $yU\otimes\partial\Delta^n\to yU\otimes\Delta^n$ build cellular approximations with different kinds of simplices indexed by objects $U$.^[2]

Hypercovers then compress many overlapping local compatibility demands. Instead of requiring a strict equalizer over one ordinary cover, homotopical descent compares

\[ X(U)\longrightarrow\operatorname{holim}_{[n]\in\Delta}X(U_n) \]

for a hypercover $U_\bullet\to U$. Localizing at hypercovers turns these comparisons into equivalences and characterizes descent-ready replacements. The raw object, its local fibrant replacement, and the represented local homotopy type remain distinct stages.

Abstract Reasoning¶

Several deductions follow directly from the two functor descriptions.

Degreewise and sectionwise exchange. Any assertion natural in both $U$ and $[n]$ can be checked from either axis. A construction performed on each simplicial set $X(U)$ yields a simplicial presheaf when it is functorial in simplicial maps; a construction performed on each presheaf $X_n$ yields one when it respects simplicial operators.

Discrete embedding. An ordinary presheaf $A$ gives a simplicial presheaf with $X(U)$ the constant simplicial set on $A(U)$. Its higher homotopy groups vanish. Therefore ordinary sheaf theory sits inside the homotopical framework but does not exhaust it.

Representability test. If each degree $X_n$ is representable by an object $U_n$ and the representing maps assemble contravariantly over $\Delta$, then $U_\bullet$ is a simplicial object of $C$ whose degreewise Yoneda image is $X$. Merely being objectwise weakly equivalent to representables does not make $X$ strictly representable.

Sectionwise nerve. If $G:C^{op}\to\mathbf{Grpd}$ is a strict presheaf of groupoids, applying the nerve functor sectionwise produces $BG:C^{op}\to\mathbf{sSet}$. Because nerve is functorial, restrictions automatically preserve faces and degeneracies. Descent of $G$ is still a further condition.^[6]

Local invariants require sheafification. Sectionwise $\pi_n(X(U),x)$ forms a presheaf under suitable basepoint data; the local homotopy sheaf is obtained after sheafification and, generally, fibrant replacement. Raw sectionwise homotopy groups and derived local homotopy sheaves must not be interchanged.

Knowledge Transfer¶

Knowledge transfers literally among sites and indexing categories through restriction and Kan extension. A functor $f:C\to D$ induces restriction of simplicial presheaves along $f^{op}$; under size and cocompleteness hypotheses it participates in adjunctions with left or right Kan extension. Compatibility with chosen local model structures requires additional continuity or site hypotheses and is not guaranteed by the underlying functor alone.^[2]

Construction patterns transfer from sets to simplicial sets sectionwise: products, nerves, classifying constructions, free abelian groups, and mapping objects can be applied at every $U$ when functorial. They transfer from presheaves degreewise when face and degeneracy naturality is preserved. This dual access is why simplicial presheaves connect ordinary sheaf methods with homotopy-theoretic ones.

Transfer between topology, algebraic geometry, and higher geometry is exact when each field supplies a category or site and uses the same $C^{op}\to\mathbf{sSet}$ identity. The topology and subsequent localizations differ: open-cover descent, étale or Nisnevich descent, and $\mathbb A^1$-localization are not interchangeable.

Modern “presheaves of spaces” often describe the homotopy theory presented by appropriately localized simplicial presheaves. This transfer is an equivalence of homotopical presentations, not a license to treat every raw simplicial set as a canonical infinity-groupoid without choosing weak equivalences and fibrant replacement.

Examples¶

Discrete and representable examples¶

For an ordinary presheaf $A:C^{op}\to\mathbf{Set}$, define $X(U)$ to be the constant simplicial set on $A(U)$. Every simplex is degenerate from degree zero, and restrictions are induced by $A$. This is a simplicial presheaf, but it carries no nontrivial sectionwise higher homotopy.

For $U\in C$ and $K\in\mathbf{sSet}$, define

\[ X(V)=\operatorname{Hom}_C(V,U)\times K. \]

An arrow $W\to V$ acts by precomposition on the representable factor and identically on $K$. For $K=\Delta^n$, this is an $n$-simplex of representable type $U$ and is a basic cell in presheaf model structures.

Simplicial object represented degreewise¶

Let $U_\bullet:\Delta^{op}\to C$ be a simplicial object. Define

\[ X(V)_n=\operatorname{Hom}_C(V,U_n). \]

Precomposition in $V$ supplies presheaf restrictions; the face and degeneracy maps of $U_\bullet$ supply those of $X(V)$. The two actions commute by associativity of composition. This proves that a simplicial scheme yields a simplicial presheaf on schemes through degreewise Yoneda, while leaving open whether it is a sheaf for a chosen topology.

Groupoid and descent example¶

Let $G$ be a presheaf of groupoids. Sectionwise nerve gives $BG(U)=N(G(U))$. Objects of $G(U)$ become vertices, arrows become one-simplices, and composable strings become higher simplices. If $G$ is a stack in groupoids, its classifying simplicial object reflects descent; an arbitrary presheaf of groupoids need not.^[6]

Motivic example¶

On $\mathrm{Sm}/S$, the category of smooth schemes over a base scheme $S$, a represented scheme $Y$ gives $U\mapsto\operatorname{Hom}_S(U,Y)$ as a discrete simplicial presheaf. Motivic homotopy theory embeds such representables into a local homotopy category, imposes Nisnevich descent, and then makes $U\times\mathbb A^1\to U$ into a weak equivalence. The resulting motivic space is derived from the simplicial presheaf but is not identical to its unlocalized raw functor.^[5]

Structural Tensions¶

Strict functor vs. derived object. The raw functor has exact restriction equations; its homotopy type is considered only after weak equivalences and replacements are chosen. Diagnostic: distinguish equality of functors, objectwise equivalence, and local equivalence.
Sectionwise homotopy vs. local homotopy. A map may fail objectwise yet be a local equivalence after covers. Diagnostic: state whether weak equivalences are evaluated objectwise or after the topology.
Presheaf freedom vs. descent. Arbitrary section data are easy to form, while local-to-global reconstruction is not automatic. Diagnostic: test sheaf, Čech, or hypercover descent separately.
Two equivalent presentations vs. two independent structures. Presheaf-of-simplicial-sets and simplicial-object-in-presheaves are canonically the same data, not an informal pairing. Diagnostic: verify every cross-direction naturality square.
Representables as generators vs. nonrepresentable objects. Representable cells build the theory, but homotopy colimits and fibrant replacements generally leave strict representability. Diagnostic: do not infer that a simplicial presheaf is a simplicial scheme.
Model flexibility vs. semantic stability. Projective, injective, and local models can present equivalent homotopy theories while assigning different cofibrant or fibrant representatives. Diagnostic: separate the invariant homotopy category from model-specific object properties.

Structural–Framed Character¶

Simplicial Presheaf is structural, with aggregate framed score $0.10$. Qualification is determined by a functor $C^{op}\to\mathbf{sSet}$ and exact identity, composition, face, degeneracy, and naturality equations. No institution or evaluative preference determines membership.

The modest framed component records declared mathematical context. The choice of $C$, a Grothendieck topology, objectwise versus local weak equivalences, and further localization changes what one studies about the same raw functors. Those choices do not make the object definition conventional; they specify which local homotopy semantics are superimposed.

Structural Core vs. Domain Accent¶

Skeletal core. Structured data vary contravariantly across contexts while retaining internal multi-level coherence, and changes of context commute with every internal operation. This is a general pattern of context-indexed higher structure.

Domain-bound identity. The node specifically requires categories, opposite variance, the simplex category, simplicial sets, face and degeneracy identities, natural transformations, and—when locality is invoked—Grothendieck topologies, hypercovers, and model-categorical localization. Removing those entities destroys its recognition test and deduction package.

Why not a prime. The portable residue is functorial assignment plus layered coherence, already generalized by Functor and other primes. A simplicial presheaf does not recur literally in unrelated substrates without importing category and homotopy theory. Its stable autonomy is substantial but field-bounded, so it is domain-specific.

Simplicial Presheaf strictly instantiates domain_specific:functor. Every instance is a functor from $C^{op}$ to $\mathbf{sSet}$, while almost all functors have different source or target categories and lack the sectionwise simplicial/presheaf equivalence. Functor is therefore the minimal live genus and proposed DAG parent.

The node is related to prime:localization because local and motivic homotopy theories invert declared classes of maps, but localization is not part of the raw object definition. It is related to prime:equivalence because objectwise and local weak equivalences organize derived comparison, and to prime:gluing because sheaf and hypercover descent reconstruct global values from local data. None of these primes covers the domain object.

domain_specific:cubical_set is a sibling, not a parent. A cubical set is a set-valued presheaf on a cube category; a simplicial presheaf is a simplicial-set-valued presheaf on a variable category $C$. Either can help model homotopy, but neither is generally a subtype of the other.

Relationships to Other Abstractions¶

Current abstraction Simplicial Presheaf Domain-specific

Parents (1) — more general patterns this builds on

Simplicial Presheaf is a kind of Functor Domain-specific

Simplicial Presheaf strictly instantiates domain_specific:functor.

Hierarchy paths (4) — routes to 4 parentless roots

Simplicial Presheaf → Functor → Category → Associativity → Invariance

Show alternative paths (3)

Neighborhood in Abstraction Space¶

Simplicial Presheaf sits in a sparse region of the domain-specific corpus (72^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Simplicial set: a functor $\Delta^{op}\to\mathbf{Set}$. Tell: a simplicial presheaf has a second contravariant $C$-axis.
Ordinary presheaf: a functor $C^{op}\to\mathbf{Set}$. Tell: it embeds discretely but lacks nondegenerate higher simplices.
Simplicial object in $C$: a functor $\Delta^{op}\to C$. Tell: only its degreewise Yoneda image is a simplicial presheaf on $C$.
Simplicial sheaf: a simplicial object in sheaves, equivalently degreewise sheaf-valued. Tell: check strict sheaf axioms at every degree.
Stack or hypersheaf: a homotopy-valued presheaf satisfying a declared descent condition. Tell: raw simplicial presheaf membership alone supplies no descent.
Presheaf of groupoids: a functor $C^{op}\to\mathbf{Grpd}$. Tell: sectionwise nerve produces a special, essentially one-truncated simplicial presheaf.
Simplicial scheme: a simplicial diagram of schemes. Tell: its Yoneda image is degreewise representable; general simplicial presheaves are not.
Simplicial category: a category enriched in simplicial sets. Tell: enrichment gives a simplicial mapping object for each pair, not one contravariant diagram on $C$.
Bisimplicial presheaf: a presheaf valued in bisimplicial sets or a twice-simplicial object. Tell: it has two $\Delta^{op}$ axes in addition to $C^{op}$.
Local fibrant replacement: a derived, descent-ready replacement of a simplicial presheaf. Tell: it is connected by a local weak equivalence but need not equal the raw input.
Presheaf of spaces in infinity-category language: a modern homotopy-coherent semantic object. Tell: identify the model or equivalence of presentations before treating a raw simplicial presheaf as its canonical representative.
Cubical set: a presheaf on a declared cube category with cubical operators. Tell: cube and simplex indexing categories have different cells and identities.

References¶

[1] The Stacks Project Authors, “Simplicial Objects as Presheaves,” Stacks Project, Tag 016G. registry ↩

[2] Daniel Dugger, Sharon Hollander, and Daniel C. Isaksen, “Hypercovers and Simplicial Presheaves,” Mathematical Proceedings of the Cambridge Philosophical Society 136, no. 1 (2004): 9–51, doi:10.1017/S0305004103007175. registry ↩a ↩b ↩c ↩d

[3] J. F. Jardine, “Simplicial Presheaves,” Journal of Pure and Applied Algebra 47, no. 1 (1987): 35–87, doi:10.1016/0022-4049(87)90100-9. registry ↩

[4] John F. Jardine, Local Homotopy Theory (Springer, 2015), doi:10.1007/978-1-4939-2300-7. registry ↩

[5] Fabien Morel and Vladimir Voevodsky, “$\mathbb A^1$-Homotopy Theory of Schemes,” Publications Mathématiques de l’IHÉS 90 (1999): 45–143, doi:10.1007/BF02698831. registry ↩a ↩b

[6] J. F. Jardine, “Stacks and the Homotopy Theory of Simplicial Sheaves,” Homology, Homotopy and Applications 3, no. 2 (2001): 361–384, doi:10.4310/HHA.2001.v3.n2.a5. registry ↩a ↩b