Grothendieck universeLast updated Jun 3, 2024One universe as a foundation for category theory (MacLane, 2006) argues that many size complications of category theory resolve whenever we assume the existence of a single Grothendieck universe.