Timeline for Category theory from MK class theory perspective?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 10, 2017 at 0:55 | comment | added | Alec Rhea | Ah, I simply picked from the top of the list in Kanamori's book -- pretend I said an $I0-I3$ cardinal! | |
| Jul 10, 2017 at 0:54 | comment | added | Andreas Blass | $0=1$ cardinals, i.e., inconsistent ones, are easy to understand: In the presence of such a cardinal, absolutely everything is true. The problem is understanding consistent things. | |
| Jul 10, 2017 at 0:51 | comment | added | Alec Rhea | Wow, this is quite enlightening -- I'm still an undergrad, so I have relatively little experience with large cardinal theory or category theory, but this has successfully outlined exactly how 'large' of a logical domain category theory works in. I tremble to think about what it is like to truly 'understand' a $0=1$ cardinal! | |
| Jul 10, 2017 at 0:07 | vote | accept | Alec Rhea | ||
| Jul 9, 2017 at 23:39 | history | answered | Andreas Blass | CC BY-SA 3.0 |