Identity functor 任意のcategory について functor を以下のように定義する: (この はobjectまたはmorphismで、まとめて定義した。) これより簡単なfunctorは無さそうだ。添字の はしばしば省略される。 参考文献 isbn:0521283043
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。