negligible presheaf[数] 可除预层
zero presheaf[数] 零预层
complete presheaf完全预层
presheaf structure[数] 预层结构
separated presheaf[数] 分离预层
presheaf of sets[数] 集的预层
presheaf of regular functions正则函数的预层
stalk of presheaf预层的茎
sheafification of presheaf预层的相伴层