Skip to main content
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