Cartesian natural transformation

English

edit

Etymology

edit

So called because its naturality squares are Cartesian squares.

Noun

edit

Cartesian natural transformation (plural Cartesian natural transformations)

  1. (category theory) A natural transformation whose naturality squares are pullbacks.

Synonyms

edit