[FOM] New umbrella?

Monroe Eskew meskew at math.uci.edu
Sun Nov 2 00:51:40 EDT 2014

> On Nov 1, 2014, at 6:55 PM, Urs Schreiber <urs.schreiber at googlemail.com> wrote:
> You may tediously
> rebuild that universe inside that tiny corner by building models of
> infinity-toposes in set theory, but this will be immensely tedious and
> is unlikely to be of practical use.

Didn’t we already agree that this work has been done?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141102/c2bbfdb2/attachment-0001.html>

More information about the FOM mailing list