I will present diffeology: the axiomatic and its categorical stability
properties with respect to set-theoretical operations. I will try to
show with a few examples, constructions and theorems, how diffeology
provides the "basal framework" for differential geometry, representing a
minimal structure necessary for a meaningful theory of smoothness.