(category theory) A natural transformation whose naturality squares are pullbacks.
Cartesian natural transformation
ワークショップで彼は、その自然性の図(正方形)が引き戻し(プルバック)になるような自然変換がどのように特徴付けられるかを説明した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★