No label defined (Q4489830)

From the authors abstract: ``We introduce anti-sheaves for \(C^r\)-manifolds and a category of anti-sheaves. The adjoint equivalence between the category of anti-sheaves and the category of \(C^r\)-manifolds is established. Using such an equivalence, we obtain a characterization for deciding whether two given manifolds are \(C^r\)-diffeomorphic.'' The notion of anti-sheaf is closely related to the notion of a \(C^r\)-structure on a manifold. The notation used in the paper is rather complicated, in particular the authors essentially don't motivate their definitions, making the paper hard to read. The authors claim: ``This is the first known criterion for determining whether two given manifolds are diffeomorphic.'' This neglects the work of \textit{R. P. Filipkiewicz} [Ergodic Theory Dyn. Syst. 2, No.~2, 159-171 (1982; Zbl 0521.58016)] \textit{M. Rubin} [Trans. Am. Math. Soc. 312, No.~2, 487-538 (1989; Zbl 0677.54029)], and of others. There, it is proved that two manifolds are diffeomorphic if their groups of diffeomorphisms are abstractly isomorphic.