Toward Riemannian diffeology

We introduce a framework for Riemannian diffeology. To this end, we use the tangent functor in the sense of Blohmann and one of the options of a metric on a diffeological space in the sense of Iglesias-Zemmour. With a technical condition for a definite Riemannian metric, we show that the psudodistance induced by the metric is indeed a distance. As examples of Riemannian diffeological spaces, an adjunction space of manifolds, a space of smooth maps and the mixed one are considered.