Diffeology

In mathematics, a diffeology generalizes the concept of smooth maps, which can be naturally defined for vector spaces. The corresponding category is strongly stable under many categorical operations.