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