Category theory's foundational issues are resolved by Grothendieck universes, which avoid self-refer...