Comma category 二つのfunctor: について、comma category: のmorphismはこんな感じであった: Comma functor (と呼んでいいと思う) つまり、naturality squareを上下にくっつけるfunctorを返す。 Morphismの実装部(青色)は変化していない。 Hom functor 特に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。