3 ms·

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

• ginnungagap 4y ago
  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