2026-03-22 03:34 浏览次数 14
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.
这实质上蕴含着预层是一个层。