Dual of... Enriched end - PS Enriched end functor - PS Preservation of ends - PS 以下、symmetric closed monoidal category において・・・ 定義: Coend -functor について 定義: Coend 1-functor 命題: Internal hom functors send coends to ends 証明 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。