18B05 - Category theory; homological algebra :: Special categories :: Category of sets, characterizations