Describir: Towards a theory of universes: structure theory and the mathematical universe hypothesis.