Categories of sets, characterizations Special categories mathematics