n (context|algebraic topology) a continuous mapping satisfying the homotopy lifting property with respect to any space.