Text this: Algebraic homotopy