A road map of mathematical objects by Max Tegmark, via intothecontinuum:
The arrows generally indicate addition of new symbols and/or axioms. Arrows that meet indicate the combination of structures.
For instance, an algebra is a vector space that is also a ring, and a Lie group is a group that is also a manifold.