noun
(algebraic topology) A continuous mapping satisfying the homotopy lifting property with respect to any space.