加载中…
We show that the tensor product of -categories enriched in a suitable monoidal -category preserves colimits in each variable, fixing a mistake in an earlier paper of Gepner and the author. We also prove that essentially surjective and fully faithful functors form a factorization system on enriched -categories, and that the tensor product and internal hom are compatible with this.

生成讲解博客的中文版本

生成AI智能校验的中文版本