Skip to main content
4 events
when toggle format what by license comment
Jan 27, 2012 at 14:18 vote accept CommunityBot
Jan 23, 2012 at 17:00 comment added Mike Shulman I think the 2-category of toposes is a better candidate for the category of set theoretic universes. It probably doesn't satisfy all the multiverse axioms either, but at least it approximates some of them, e.g. closure under forcing.
Jan 23, 2012 at 14:35 comment added user2529 Thank you Mike. I think it's a really pity that there is still not a (suitable) category or moduli of set theoretic universes. Or more generaly, fix a first-order theory $T$. It would be great to have a category of moduli of models of $T$.
Jan 23, 2012 at 6:58 history answered Mike Shulman CC BY-SA 3.0