Ein grundlegender Problemtyp, der in der gesamten Mathematik auftritt, ist das Liftungsproblem: Gegeben sei ein Raum, der aufgrund einer Projektionsabbildung "über" einem anderen "Basis"-Raum "sitzt", und eine Abbildung von einem dritten Raum in den Basis-Raum. Gesucht ist ein "Lift" von nach , das heißt, eine Abbildung , so dass [...]