2013/01/07 by Antti Veilahti, Veilahti, Antti
Arts and Humanities · Mathematics · Psychology · #03G10 #03G30 #18B25 #18C10 #18F05 #Category Theory (math.CT) #FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO) #Philosophy, Science, and History #Pragmatism in Philosophy and Education #Psychoanalysis, Philosophy, and Politics #math.CT #math.HO #math.LO #msc:03G10 #msc:03G30 #msc:18B25 #msc:18C10 #msc:18F05
paper · pdf · doi:10.48550/arxiv.1301.1203
53+1 pages
openalex publication_date 2013/01/07 · arxiv created 2015/10/02 · arxiv updated 2015/10/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
I discuss how Alain Badiou's Logics of Worlds attempts to rephrase his material dialectic philosophical project in terms of topos theory. It turns out that his account restricts to the so called local topos theory. In particular, his claim that categorical change is not genuine is based on a constrained understanding of topos theory. We then discuss his own 'postulate of materialism' and demonstrate that it has two different interpretations depending on whether it is articulated in local or elementary topos theory. While the main concerns in this paper are technical, we also address the serious consequences of topos theory that weigh Badiou's philosophical project.