From Categories To Homotopy Theory