information about Homotopy lifting property field