Commit 2026-03-02 11:18 2e90c0f9
View on Github →feat(AlgebraicGeometry): constant sheaf associated to a topological space (#35915)
For a topological space (or topological abelian group) we define an associated constant sheaf by the rule U ↦ C(U, T). We show that this is a Zariski sheaf and a follow-up PR will show this is an fpqc sheaf.
When T is discrete, this recovers the constant sheaf.
This construction is from Lemma 4.2.12 in https://www.math.uni-bonn.de/people/scholze/proetale.pdf.
From Proetale.