Stav dette: An introduction to homotopy theory.