nLab
Diff

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.

category: category