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.