Resources for homotopy theory and K-theory