Obstruction D'Extension

Un critère, une classe de cohomologie ou d'extension qui enregistre l'échec d'une extension proposée d'objets ou de structures à exister ou à se scinder ; elle encode les incompatibilités empêchant un objet défini sur un sous-domaine d'être étendu à un domaine plus grand avec les propriétés souhaitées.