Necessary and Sufficient Condition of Diffeomorphisms

摘要

The authors introduce a notion of anti-sheaf of Cr manifolds and a category ofanti-sheaves. The adjoint equivalence between the category of anti-sheaves and the category of Cr manifolds is established. Using such an equivalence, the authors give a characterization of the Cr diffeomorphism in terms of inherent W.(G)-sheaves.