Why does Topoi theory cause some people in Mathematics to act like midwit cunts?
depends on your motif, subobject classifier, and levels if truncation
Is that logic but with gay arrows?
>>17000102kind of
>>16999785cause to a classicist the kind of people that would purposefully work under intuitionistic logic tend to have an extraneously repellent air to them... purely out of survivorship bias, as in the kind of cunt that puts themselves to category theory or HoTT AND are vocal about it are just that, cunts, while the quiet ones are a mix of cunts and ok-to-quite-nice people, never the less, and for better or worse, such is the landscape, hope that helps niggabooger
>>17000456and that's not even getting into the fact that said cunts tend to see set theory as the C programming language, and their flavour of intuitionistic gooberidoo as the Rust programing language, which should inform you a fair bit more of that landscape i mentioned IF you know even a bit about that fuckatry in programing
