Timeline for The set-theoretic multiverse as a (bi)category
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 22, 2012 at 10:42 | comment | added | David Roberts♦ | Note that we might have not just a category but an $n$-fold category for some $n$ which is the number of currently known different kinds of morphisms between models/universes, or at least the ones we are interested in for the purposes of the exercise (see ncatlab.org/nlab/show/n-fold+category). | |
| Oct 12, 2011 at 20:18 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |