Sheaves and homotopy theory