 Site (category theory)

A site is a category equipped with a Grothendieck topology, specifying which sieves are covering. The sheaves on a site satisfy unique amalgamation of matching families on those sieves. A small site presents a Grothendieck topos.