本文将证明Ｘ与Ａ的一个双交叉积为Ｘ与Ａ的强乘积的余循环变形，当且仅当存在Ｍ＾Ｘ×Ｍ＾Ａ到Ｍ＾Ｘ×Ａ的一个Ｍｍｏｎｏｉｄａｌ函子，当且仅当存在Ｍ＾Ｘ×Ａ到Ｍ＾Ｘ×Ｍ＾Ａ的一个Ｍｏｎｉｄａｌ函......