記法.1 @deprecated と(勝手に)書くことにする。詳しくは Monoidal product of enriched categories - PS Self-enriched monoidal product - PS を使って 記法.2 命題 証明 系 Dual 証明 @deprecated 参考文献 Basic Concepts of Enriched Category Theory (…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。