Timeline for How much do universes matter in topos theory?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2, 2012 at 10:42 | vote | accept | David Carchedi | ||
| Oct 2, 2012 at 7:53 | comment | added | S. Carnahan♦ | Perhaps it would be more fruitful to ask about the model-theoretic relationship between the two topoi (i.e., whether the truth of some class of first-order sentences is preserved) instead of the categorical relationship. | |
| Oct 2, 2012 at 3:46 | answer | added | Jacob Lurie | timeline score: 26 | |
| Oct 1, 2012 at 23:56 | comment | added | Joel David Hamkins | See related question mathoverflow.net/questions/24552/… for various strictly weaker universe concepts that can substitute for universes in many arguments and constructions. | |
| Oct 1, 2012 at 22:58 | history | asked | David Carchedi | CC BY-SA 3.0 |