命題: Limits in 証明 実装 補題: A reduction of limits in 命題: Hom functors preserve limits (Limits via limits in ) 証明 および、補題により確かに Preservation of weighted limits - PS の形になる。 参考文献 Basic Concepts of Enriched Category…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。