Abstract Homotopy And Simple Homotopy Theory