以下、symmetric monoidal category において・・・ Enriched functor の分解 Enriched bifunctoriality - PS の n-ary 版(特に 3-ary のとき)は以下のようになるのであった: これにより -functor をその partial application たちに分解できる: 並べ方も symme…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。