[FOM] New umbrella?

[Monroe Eskew]

> 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?
http://arxiv.org/pdf/1211.2851v2.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141102/c2bbfdb2/attachment-0001.html>