Homotopy extension properties, cofibrations in algebraic topology Homotopy theory mathematics