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.
No takes yet. Share an insight, caveat, or question.
Martin Laubinger (2009) studied this question.