加载中…
In this paper we define the tensor product of two A-categories and two A-functors. This tensor product makes the category of A-categories symmetric monoidal (up to homotopy), and the category ACat/ a closed symmetric monoidal category. Moreover, we define the derived tensor product making Ho(ACat), the homotopy category of the A-categories, a closed symmetric monoidal category. We provide also an explicit description of the internal homs in terms of A- functors.

生成讲解博客的中文版本

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