Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I'm an amateur mathematician interested in a diverse array of problems.
Mathematics - category theory, probability, causality, foundations
Physics - topos physics, categorical quantum mechanics, abstract differential geometry
Computer science - categorical semantics, descriptive complexity, strong artificial intelligence, homotopy type theory
