Timeline for Can Category theory be founded in set theory using worldly cardinals instead of inaccessibles?
Current License: CC BY-SA 4.0
12 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 1, 2022 at 7:00 | vote | accept | Zuhair Al-Johar | ||
Jun 26, 2022 at 19:34 | answer | added | Timothy Chow | timeline score: 5 | |
Jun 26, 2022 at 18:06 | comment | added | Zuhair Al-Johar | @TimothyChow, I mean it it provides more critical analysis of the subject, I mean analysis of the merits and faults of various approaches, showing where they exceed what is demanded or where they fall short of it, etc.. While Shulman's approach is more illustrative. Both are very useful and informative as they tackle different facets of the subject. | |
Jun 26, 2022 at 17:41 | comment | added | Timothy Chow | @ZuhairAl-Johar What do you mean by "critical"? Do you mean "censorious" or "crucial"? | |
Jun 26, 2022 at 14:41 | comment | added | Zuhair Al-Johar | @TimothyChow, I remember reading this paper. It is very interesting. It doesn't mention anything about using worldly cardinals. It appears to me that Muller's work is more critical. Not really sure. Thanks | |
Jun 26, 2022 at 13:24 | comment | added | Timothy Chow | Although it does not discuss Muller's ideas specifically, the paper Set theory for category theory by Mike Shulman may interest you. | |
Jun 26, 2022 at 11:31 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 72 characters in body
|
Jun 25, 2022 at 21:49 | answer | added | Alec Rhea | timeline score: 5 | |
Jun 25, 2022 at 21:08 | comment | added | Alec Rhea | As someone who’s read Mullers paper and enjoyed it, I’m not sure his ‘criteria for category theory’ should really be taken too seriously. He clearly has a good understanding of set theoretical foundations and has tried to ‘look at’ category theory from that perspective to ‘see what it needs foundationally’, but I didn’t get the impression that he’s ever actually done any real category theory and this prevents him from giving criteria that are really central to the working category theorist. That being said, the parts of his paper on set/class theory are very cool and interesting. | |
Jun 25, 2022 at 6:57 | comment | added | Zuhair Al-Johar | @godelian, I just wanted to mention that the worldly stages are not just transitive, they are supertransitive, so all subsets of elements of them are elements of them as well. | |
Jun 24, 2022 at 21:38 | comment | added | godelian | You are very right, I thought the power set was not absolute and that was the only argument for my objections, so I withdraw them and delete them. | |
Jun 24, 2022 at 20:02 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |