最終更新日：2024/08/04

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

正解を見る

Cartesian natural transformation

問題を編集する

元となった辞書の項目

Cartesian natural transformation

noun

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

A Cartesian natural transformation is a natural transformation between two functors that preserves Cartesian structure.

意味（1）

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