homotopy sheaf