Category of all small categories