Adele Lopez comments on Why Rationalists Shouldn’t be Interested in Topos Theory

[Adele Lopez]

I’ve ran into this too, and I think that quasitopoi are also a dead-end for this sort of thing. I’m currently interested in linear logic as well!