This reminded me about Tegmark's map of relationships between various basic mathematical structures:

https://arxiv.org/pdf/gr-qc/9704009.pdf (on page 2)