We verify that a certain functor D :SpΣ(Ch+)→ChD:SpΣ(Ch+)→Ch is symmetric monoidal. This functor is used elsewhere in developing the model category theory of symmetric spectra and of chain complexes graded over NN or ZZ.
生成讲解博客的中文版本
生成AI智能校验的中文版本