Diffeological spaces
Author
Laubinger, Martin
Abstract
We define diffeological spaces and give some examples. The diffeological category contains the category of smooth manifolds as full subcategory. We prove that diffeological spaces and smooth maps form a cartesian closed category. The concepts of differential form and tangent functor are extended from smooth manifolds to diffeological spaces.