Skip to content

Higher Stack

A higher-categorical stack: a presheaf valued in spaces, infinity-groupoids, or higher categories that satisfies descent by gluing compatible local objects together with all levels of equivalence and coherence data.

Version
v1 · 2026-09-28 · History
Domain-specific #
9871
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Higher Category Geometry, Algebraic Geometry, Homotopy Theory → Mathematics
Aliases
Higher stacks, Infinity-stack

Core Idea

A higher stack is local-to-global data whose values have nontrivial morphisms at more than one level. It begins with a presheaf of spaces, infinity-groupoids, or higher categories on a site and requires compatible local objects to recover the global value up to coherent equivalence.

The topology, target category, truncation level, and choice of Čech descent or hyperdescent are part of the specification. Representability, algebraicity, smoothness, or derived structure are additional properties, not consequences of the word higher.

Structural Signature

Sig role-phrases:

  • Underlying site — Provides objects, morphisms, and covering families. It is underlying site. Counterfactual: Without a topology there is no stack descent condition.
  • Higher-valued presheaf — Assigns spaces or higher categories contravariantly. It is higher valued presheaf. Counterfactual: Set- or groupoid-valued data alone give lower truncations.
  • Local objects — Supply pieces to be glued. It is local objects. Counterfactual: No local data means descent is vacuous for applications.
  • Higher equivalences — Record morphisms, homotopies, and higher coherence. It is higher equivalences. Counterfactual: Discarding them loses the defining higher structure.
  • Descent comparison — Requires local compatible data to reconstruct global data up to equivalence. It is descent comparison. Counterfactual: A presheaf failing descent is not a higher stack.
  • Truncation level — Controls whether the object is an n-stack or infinity-stack. It is truncation level. Counterfactual: Unstated truncation makes categorical claims ambiguous.

What It Is Not

  • An arbitrary higher category is a possible value but is not itself a stack on a site.
  • A higher presheaf that fails the selected descent condition remains a presheaf rather than a higher stack.
  • An ordinary sheaf of sets forgets automorphisms and higher coherence.
  • Higher stack alone does not imply the atlas or representability requirements of an algebraic stack.
  • Closest near-miss. An algebraic or derived stack may be presented as a higher stack with additional geometric or derived representability conditions; higher stack alone does not supply those conditions.

Scope of Application

  • Higher moduli. Retains automorphisms and higher automorphisms of families.
  • Derived geometry. Provides ambient higher sheaf language before representability conditions.
  • Homotopy theory. Models descent for spaces and spectra.
  • Gauge theory. Organizes fields, gauge transformations, and higher gauge relations locally and globally.

Clarity

Name the site and Grothendieck topology, the target infinity-category, variance, the covers or hypercovers used, and the comparison map whose equivalence expresses descent. State separately any truncation, hypercompleteness, representability, or geometric conditions.

Manages Complexity

Higher stacks preserve all coherence needed to glue not only objects but equivalences between objects and equivalences between those equivalences. This prevents loss of automorphism data, while replacing strict equalities and ordinary limits with homotopy-coherent diagrams that are harder to present and compute.

Abstract Reasoning

  1. Choose a site and target higher category with needed limits.
  2. Define the contravariant higher-valued presheaf.
  3. Form the Čech or hypercover descent diagram for each cover.
  4. Compare the global value with the relevant homotopy limit.
  5. State truncation, representability, and hyperdescent assumptions separately.

Knowledge Transfer

Higher-stack reasoning transfers among sites only after topology, target infinity-category, descent notion, and truncation are re-established. A higher category or homotopy type is not a higher stack without indexed local-to-global data.

Examples

Canonical

A presheaf of infinity-groupoids on a geometric site sends a cover to a descent diagram whose homotopy limit is equivalent to the global value.

Mapped back: site → geometric site; values → infinity-groupoids; gluing → homotopy limit; condition → descent equivalence.

Applied / In Practice

A simplicial presheaf carrying higher data but failing hyperdescent is not a higher stack for the selected topology.

Mapped back: higher data → present; descent → fails; verdict → higher presheaf only.

Structural Tensions

T1 — Local Presentation versus Global Homotopy Type. Computations use covers while the result must be invariant under descent equivalence.

Diagnostic: Does the construction depend on a chosen presentation?

T2 — Strict Notation versus Coherent Equivalence. Strict diagrams simplify formulas but higher gluing is generally only coherent up to equivalence.

Diagnostic: Where are higher homotopies retained?

Structural–Framed Character

Higher Stack is structural as homotopy-coherent descent and framed by higher category theory. The defining move is indexed gluing in a higher-valued presheaf, with equivalence rather than literal equality governing reconstruction.

Structural Core vs. Domain Accent

The transferable skeleton is local compatibility yielding a global object. The higher-categorical accent retains successive morphism levels, homotopy limits, truncations, and coherence; suppressing these levels recovers ordinary stack or sheaf cases rather than the full abstraction.

This entry is a kind of Stack (Mathematics).

  • Approved unparented root. No reviewed parent entails higher-valued presheaf structure together with homotopy-coherent descent.

  • Related — stack, sheaf, and derived stack. Ordinary stacks and sheaves are truncations; derived stacks combine higher descent with additional derived and geometric structure.

Relationships to Other Abstractions

Local relationship map for Higher StackParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Higher StackDOMAINDomain-specific abstraction: Stack (Mathematics) — is a kind ofStack(Mathematics)DOMAIN

Current abstraction Higher Stack Domain-specific

Parents (1) — more general patterns this builds on

  • Higher Stack is a kind of Stack (Mathematics) Domain-specific

    A Higher Stack is a Stack valued in spaces, infinity-groupoids, or higher categories and satisfying higher descent.

Hierarchy paths (3) — routes to 3 parentless roots

Neighborhood in Abstraction Space

Higher Stack sits in a crowded region of the domain-specific corpus (38th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory & Higher Structures (18 abstractions)

Nearest neighbors

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

Not to Be Confused With

  • Stack (mathematics). Tell: Usually groupoid-valued and therefore a 1-truncated case.
  • Algebraic stack. Tell: Adds algebraic representability and atlas conditions.
  • Derived stack. Tell: Adds derived structure and may be modeled in a higher-stack framework.
  • Higher category. Tell: Is a possible value type, not by itself a sheaf satisfying descent.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Higher_stack (revision 1339170805).
  • Preserved source candidate: https://ems.press/journals/emss/articles/12837
  • Preserved source candidate: https://ncatlab.org/nlab/show/higher+stack
  • Preserved source candidate: https://higher-structures.math.cas.cz/api/files/issues/Vol5Iss1/Carchedi
  • Preserved source candidate: https://math.stackexchange.com/questions/2493119/higher-stacks-and-bg

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.