Loop space machines and operads in algebraic topology Homotopy theory mathematics