In mathematics, specifically in category theory, an extranatural transformation is a generalization of the notion of natural transformation.