Categories of spaces in differential topology