2025-11-01 10:33 浏览次数 9
n. [数] 预层
presheaf of sets[数]
zero presheaf[数]
stalk of presheaf预层的茎
complete presheaf完全预层
separated presheaf[数]
presheaf structure[数]
sheafification of presheaf预层的相伴层
negligible presheaf[数]
presheaf of regular functions正则函数的预层
This essentially implies that the presheaf is a sheaf.
这实质上蕴含着预层是一个层。