“Mathematistan” by Martin Kuppe
(click picture to show the video)
A fascinating description and overview of much of the mathematics based upon logic.
Be careful though! This map is only a representation and not the territory itself. In fact, some mathematics we are aware of cannot be found on this map! Also, and even more importantly, there are mathematics, where mathematics and metaphysics merge (Knowledge Representation), that cannot be visualized in this fashion at all.