I am a mathematician working in Paris.
[ my public key: https://keybase.io/riccardobrasca; my proof: https://keybase.io/riccardobrasca/sigs/zMLBMqbLJUr2B6HQY1cdOEMMkLdSEuLMcV44TkwiEHU ]
We don't have any topos theory, that's right. But all the prerequisites are there. If you're interested in working on it I strongly suggest to ask on Zulip.