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