Free enriched category 1-category について -category: を Unit-copower monoidal functor - PS を使って次のように定義できる。 これは monoidal functoriality により確かに -category になる。 Enriching 2-functor 上記と同様にして Unit-copower mono…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。