Inflation

A canonical pullback homomorphism that carries cohomological classes, extension classes, or similar obstruction data from a quotient, subobject, or simpler model into a larger ambient object; concretely, it is the map induced by precomposition with a structural morphism so that classes defined on a smaller or quotient object are realized in the bigger object.