From Categories to Homotopy Theory - Richter (Cambridge University Press, 2020)