Cartesian natural transformation
名词 n.
英文释义
名词 n.
- A natural transformation whose naturality squares are pullbacks.
词源
So called because its naturality squares are Cartesian squares.
0 次浏览
数据来源: Wiktionary