定義 対角自然変換 に対し、 に射 を割り当てる関数 で次の図を 可換にするものを対角自然変換という。 対角自然変換は と書く。 例 ・双関手の自然変換 に対し、 とする。 ・2つの1変数関手から「1つの変数がダミーのもの」をつくることができる。 に対し、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。