(と呼べるかな)(Tensor の略だと思うが名称不明・・・) Ten Symmetric closed monoidal category において、-functor: を次のように定義できる: 命題.1 命題.2 参考文献 Basic Concepts of Enriched Category Theory
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。