Let XX be a topological space equipped with a basis. We prove that, for every ∞∞-category CC with limits, the restriction functor from CC-valued hypersheaves on XX to basic hypersheaves is an equivalence of ∞∞-categories.
生成讲解博客的中文版本
生成AI智能校验的中文版本