If you want to see an organization of mathematical ideas, I'd recommend digging into https://us.metamath.org/. Great intro to formal systems, though many more layers of definitions than the OSI model.

Though, there may be canonical structures, any universal structure is illusive if not non-existent.