An adjunction of the categories of sheaves related to a topology and a diffeology

Abstract

There exists an adjoint pair (D, C) of functors between the category of diffeological spaces and that of topological spaces. In this article, by using the functors, we introduce two pairs of functors between the categories of sheaves on a diffeological space and on a topological space. Then, the adjointness of the novel functors up to the functors induced by the unit and counit of C and D is clarified. There is no natural functor between sites obtained by a diffeological space and a topological space. Therefore, the adjunctions on the categories of sheaves are elaborated without applying the general theory of topoi.