Diminution

From Conservapedia

Diminution, in reference to composing and music, relates to the technique of changing a passage of notes into shorter note values (eg. half their value, or twice as fast).

The opposite is called Augmentation