Text this: Homotopy extension property in homotopy theory for topological semigroups.