Cartesian natural transformation
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
So called because its naturality squares are Cartesian squares.
Noun[edit]
Cartesian natural transformation (plural Cartesian natural transformations)
- (category theory) A natural transformation whose naturality squares are pullbacks.