End 特に、 のとき、 preserves ends より記号に矛盾は無い。 Coend 命題: (Co)ends via weighted (co)limits existence-compatible 証明 命題: (Co)powers preserve (co)ends ただし、preservation of ends は (Co)ends via weighted (co)limits を通して P…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。