(・・・なんて略語はたぶんない) 命題 Right Adjoints Preserve Right Kan extensions: adjunction: functor: functor: right Kan extension along : について、 も、right Kan extension along 。 証明 Adjunction lifting - PS(のpostcomposition版)により で…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。