Timeline for Set theory for category theory beginners
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Mar 26, 2010 at 1:53 | comment | added | The Mathemagician | I agree,as long as Grothendieck universes can be defined and developed in a manner that makes classical axiomatic set theory a special case of the generalization. I know many mathematicians that have tried to do this with mixed success. I think it's certainly a task worth attempting. | |
| Nov 23, 2009 at 18:37 | comment | added | Harry Gindi | This is the best answer in every case. Distinguishing between classes and sets is nonsense, since as noted above, we're forced to introduce an ever-increasing system of classes if we want to look at functors between large categories, in which case, we're just effectively looking at universes anyway, so why not go the whole mile. | |
| Nov 23, 2009 at 4:33 | history | answered | Reid Barton | CC BY-SA 2.5 |