Math Logic Map

• category theory

• private/abstract algebra

• Set Theory

• type theory

• homotopy type theory

Now I’m thinking nlab is the best place to find this map.