It seems there is a distinction between the space of mathematical structures (which is a tautology that requires no creation) and the practice of creating tools for exploring this space.

→ View original post on X — @plinz