Noun
Cartesian natural transformation (plural Cartesian natural transformations) (category theory) A natural transformation whose naturality squares are pullbacks.