Sheaves on a site form Grothendieck topos. Elementary: Cartesian closed + subobject classifier + finite limits/colimits.