Text this: Homotopy invariant algebraic structures :