Diagram showing common mathematical structures and their relationships. From Max Tegmark's paper "Is 'the theory of everything' merely the ultimate ensemble theory?".