Precomposition functor Category と functor について、whiskering functor precomposition functor: *1 を定義できる。 Right Kan extension Functor: について、-terminal morphism*2: を、right Kan extesion of along (-ran) といい、 を、 で表す: Hom…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。