余模范畴上的强等价

证明了ｈ（－，Ｍ）函数保持右正合及有限值和，－□ｃＭｃ（ｃＭ拟有限）保持拟有限和有限维性，推出了联系余－ｈｏｍ和余张量函数的一人同构，给出了强等价新的定义，并得到范畴，Ｍｔ和Ｍ＾Ｄ强等价且仅当ｃＭ和＾ＤＭ强等价，令Ｆ：ｃＭ→Ｄ．Ｍ是一等价，则当Ｆ（ＭＣ）包含于Ｍ＾Ｄ时，Ｆ│ＭＣ强等价，这改进了林的结果，作为应用，证明了若Ｆ同上且Ｄ是自反的，则Ｆ│Ｍ＾Ｃ是一强等价，且Ｃ是上自反的。