Comma category Functor: について、comma category: を次のように定義できる: 命題 Morphism category identity functor: を使って と定義できる。 Over category, slice category Category と -object について、 constant functor: を使った をcategory o…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。