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.