Topos theory of homotopy types