Hochhebungseigenschaft
aus Wikipedia, der freien encyclopedia
Die Hochhebungseigenschaft (englisch Lifting property) ist ein Begriff aus der Kategorientheorie. Er bezeichnet eine Eigenschaft zweier Morphismen. Sie spielt eine wichtige Rolle in der Theorie der Modellkategorien. Ein wichtiger Spezialfall der Hochhebungsseigenschaft ist die Homotopie-Hochhebungseigenschaft aus der Topologie.