From Categories to Homotopy Theory