[justatdotin]

> I wonder to which extent can category theory be re-expressed in terms of sets...

yoneda

[ginnungagap]

This also requires universes/inaccessible cardinals to even be stated for categories that are not locally small. But as I mentioned in another comment assuming enough universes exist is not a big deal for set theorists