Algebra

Geometry

Algebraic topology

K-Theory

Logic & TCS

Homotopy type theory