One universe as a foundation for category theory