Enriched functor category symmetric closed monoidal category: -category: において、ending -wedge の族: *1 が存在するとき、-category of -functors: を次のように定義できる: 次の命題により、これは確かに -category となる。 命題 上記の end bijec…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。