Cartesian natural transformation

名词 n.

英文释义

名词 n.
  1. A natural transformation whose naturality squares are pullbacks.

词形变化

词源

So called because its naturality squares are Cartesian squares.
0 次浏览 数据来源: Wiktionary