Algebraic Topology from a Homotopical Viewpoint