A Handbook of Categorical Algebra 3: Categories of sheaves