定義: Precomposition functor Exponentiation 2-functor on enriched categories - PS の を使って、 命題 Left Kan extension: について -natural in しかも、この representation の unit は 。 証明 参考文献の通り(に計算する)。 系: Kan adjoints Left…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。