加载中…
A dg-natural transformation between dg-functors is called an objectwise homotopy equivalence if its induced morphism on each object admits a homotopy inverse. In general an objectwise homotopy equivalence does not have a dg-inverse but has an quasi-inverse. In this note we give a recurrent formula of the quasi-inverse. This result is useful in studying the compositions of dg-lifts of derived functors of schemes.

生成讲解博客的中文版本

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