Grothendieck Universes

[Harvey Friedman]

Jodmos Horon wrote

"I'm not really convinced that any formalisation of category
theory or of a specialisation thereof has managed to adequately interpret ZFC."

Any formalization of a Grothendieck Universe should interpret ZFC.
Certainly Topoi interpret WZ (weak Zermelo).

References anyone?

Harvey Friedman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220518/556e64c2/attachment.html>