Anonymous
11/3/2025, 7:27:21 AM
No.16834802
>>16834605
Your first hint that you're wrong should be that Grothendieck was a mathematician, not a philosopher.
Its utility as a good setting for cohomology theories alone places it firmly in mathematics. Moreover, all the preliminary work - besides size issues - one does to establish the theory of topoi is math and not philosophy.
The fact that it sees ways to approach logic makes it no more a part of philosophy than linear algebra is a subfield of physics.
Your first hint that you're wrong should be that Grothendieck was a mathematician, not a philosopher.
Its utility as a good setting for cohomology theories alone places it firmly in mathematics. Moreover, all the preliminary work - besides size issues - one does to establish the theory of topoi is math and not philosophy.
The fact that it sees ways to approach logic makes it no more a part of philosophy than linear algebra is a subfield of physics.