The story
So called because its naturality squares are Cartesian squares.
Etymology from Wiktionary, CC BY-SA 4.0.
Cartesian natural transformation
Today it means: A natural transformation whose naturality squares are pullbacks. Full definition →
Today it means: A natural transformation whose naturality squares are pullbacks. Full definition →
So called because its naturality squares are Cartesian squares.
Etymology from Wiktionary, CC BY-SA 4.0.