Timeline for answer to Set theoretical foundations for derived categories by Zhen Lin
Current License: CC BY-SA 4.0
Post Revisions
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 11, 2024 at 19:44 | comment | added | jg1896 | What a fantastic answer! | |
| Nov 11, 2024 at 19:43 | vote | accept | jg1896 | ||
| Nov 11, 2024 at 11:28 | comment | added | Leo Alonso | Another point of due is strengthening your foundations using Morse-Kelly. But, at the end of the day, Grothendieck universes are simpler that iterating the NBG procedure, at the cost of assuming the existence of inaccesible cardinals. | |
| Nov 11, 2024 at 11:20 | history | answered | Zhen Lin | CC BY-SA 4.0 |