Cartesian natural transformation
English
Etymology
So called because its naturality squares are Cartesian squares.
Noun
Cartesian natural transformation (plural Cartesian natural transformations)
- (category theory) A natural transformation whose naturality squares are pullbacks.
Synonyms
- equifibered natural transformation