Homotopy sheaf