Aronszajn and Sikorski subcartesian differential spaces
We construct a natural transformation between the category of Aronszajn subcartesian spaces and the category of subcartesian differential spaces, which is a subcategory of Sikorski differential spaces.
math.DG↗