記法 任意のuniversal morphism: について、 とのmediator を、 のような感じで、 と書くことにする。 Power functor その1 Power projectionの族: が存在するならば、これをnaturalにするただ一つのcontravariant functor: を作ることが出来る。 Power func…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。