层的光谱

对于任意$\infty$-意象，我们对取值于导出向量空间的层$\infty$-范畴中的粉碎局部化进行了分类：它们中的任何一个都是到（唯一）闭子意象的限制函子。我们的证明基于布尔覆盖的存在性。这一结果特别地为我们提供了第一个非零可表现对称幺半稳定$\infty$-范畴的例子，其粉碎谱没有点。将此与层-谱伴随结合，我们得到了一个关于景的Tannaka型范畴重构结果。