対角関手 (Wikipediaを参照) 対角関手の定義 圏 と に関して対角関手 は以下のようなものとなります。 圏 の対象 に対して は の対象となります。これは以下のような関手 となります。 の対象に対しては の対象 を対応させる。 の射に対しては の恒等射 を対…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。