Algebra

Geometry

Logic & TCS

Algebraic topology

K-Theory

Homotopy type theory