対象間の射と自然変換の関係 の対象は函手 とみなせますが, このとき から への自然変換とは, 射 のことに他なりません.以前, 自然変換の水平合成を定義していましたね. mathneko.hatenablog.comこれによれば, 函手 から への自然変換 における は と書くこ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。