Fascinating diagram of relationships between basic mathematical structures (space.mit.edu)