On Riemmanian Metrics in Diffeology
Wednesday, April 5, 2023
 
We propose a formal framework for Riemannian diffeology, swith a definition for Riemannian metric that coincides with the standard definition for manifolds. Ref. http://math.huji.ac.il/~piz/documents/DBlog-Ex-ORMID.pdf