单语范例（未经PONS编辑处理）
A closely related, the finiteness theorem states that the tale cohomology groups of a constructible sheaf on a complete variety are finite.
en.wikipedia.org The pullback of bundles then corresponds to the inverse image of sheaves, which is a contravariant functor.
en.wikipedia.org There are analogues of the above statements for singular cohomology and sheaf cohomology.
en.wikipedia.org The corn-rick is later broken down and the sheaves threshed to separate the grain from the straw.
en.wikipedia.org They exist in several varieties such as sheaves of sets or sheaves of rings, depending on the type of data assigned to open sets.
en.wikipedia.org