自然变换

functorial morphism, natural transformation...