A categorical presheaf is a sheaf for if every matching family on a covering sieve has a unique amalgamation. Equivalently restriction is bijective for each covering sieve . Sheaves on a small site form a Grothendieck topos.
New to topics? Read the docs here!