Fine sheaf (source code)

= Fine sheaf
{wiki}

A sheaf of modules over the sheaf of <smooth functions> is fine when every locally finite <open cover> admits a subordinate family of sheaf endomorphisms summing to the identity. Fine sheaves on a <paracompact space> are acyclic, so their positive-degree <sheaf cohomology> vanishes.