A cover (or covering family) of an object U in a site is a family of morphisms {Uᵢ → U} that the Grothendieck topology declares to be “enough to determine U locally.”
The covering family says: to understand U, it suffices to understand the pieces Uᵢ and how they overlap. The sheaf condition then asks that any compatible local data on the pieces glues to unique global data on U.
In classical topology, a cover of an open set U is a collection of open subsets {Uᵢ} whose union is U. In a Grothendieck topology, covering families are declared axiomatically and need not come from open sets — they can be étale maps, flat maps, or any class of morphisms that satisfies the covering axioms (identity covers, stability under pullback, transitivity).
What qualifies as a cover determines the entire character of the sheaf theory. A finer topology (more covering families) imposes stronger gluing conditions and produces fewer sheaves. A coarser topology imposes weaker conditions and admits more sheaves. Choosing a topology is choosing what “local” means.
In the semiotic universe, the set of fragments F(H) covers the Heyting algebra H: every element belongs to some fragment, and the fragments together determine the global algebra. Fragment-preserving operations respect these local pieces.