The category $S Diff$ is the category whose objects are smooth supermanifolds and whose morphisms are the standard morphisms between them. Compare to Diff.