Diff is the category whose objects are smooth manifolds based on cartesian spaces and whose morphisms are smooth maps between them.
For some purposes, Diff should be replaced with a category of generalized smooth spaces.