预层

扩展释义

预层(presheaf)一种与拓扑空间的开集族相联系的群与同态的族。数学上，在给定拓扑空间X上的一个层（sheaf）（或译束、捆）F对于X的每个开集给出一个集合或者一个更丰富的结构F(U)。这个结构F(U)和把开集限制（restricting）到更小的子集的操作相容，并且可以把小的开集粘起来得到更大的。一个预层（presheaf）和一个层相似，但它可能不可以粘起来。