@Deprecated 替わりにAdjunction lifting - PSを参照。 命題 Functor: について、 *1 *2 *3 そのdual: 記法 参考文献 Anderson.pdf The Comonad.Reader » Kan Extensions II: Adjunctions, Composition, Lifting *1:universal morphismの族 *2:ひとつのunive…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。