Is there a map of this? Would love to see which topics branch of each other and which start from scratch
Since Lean builds everything from scratch, this should be doable, albeit Lean builds everything on top of type theory which is not the only choice possible. Different foundations will result in a different graph.
Also the best way to learn math is probably not by following this sort of graph, it would be far too abstract and disconnected from both the real world and usual practical applications.
Good alternatives are The Princeton Companion to Mathematics by Gowers and Mathematics: Its content, Methods and Meaning by Alekxandrov, Kolmogorov, et al. Those present much more detailed maps so YMMV.