Obstruction au Relèvement

Un invariant, une classe de cohomologie ou une condition qui mesure l'incapacité à produire un relèvement d'une structure, d'un élément ou d'un morphisme donné le long d'une surjection ou d'une projection spécifiée ; il s'annule précisément lorsqu'un relèvement global compatible avec les données prescrites existe.