English

Hypersheaves and bases

Category Theory 2025-06-18 v1 Algebraic Geometry Algebraic Topology

Abstract

Let XX be a topological space equipped with a basis. We prove that, for every \infty-category C\mathcal{C} with limits, the restriction functor from C\mathcal{C}-valued hypersheaves on XX to basic hypersheaves is an equivalence of \infty-categories.

Keywords

Cite

@article{arxiv.2506.14007,
  title  = {Hypersheaves and bases},
  author = {Tobias Dyckerhoff and Till Heine and Simon Schneider},
  journal= {arXiv preprint arXiv:2506.14007},
  year   = {2025}
}

Comments

13 pages, comments welcome

R2 v1 2026-07-01T03:20:44.468Z