 We will postpone our discussion of categorical structuralism to section 3, both because it is important mathematically, thus deserving treatment in a separate section, and because it is harder to compare to the other forms of structuralism. Before that, we want to offer a richer, more  comprehensive taxonomy for structuralist positions. This taxonomy will be wide enough to encompass all the positions mentioned so far. But it will also point beyond them, starting with the introduction of a basic dichotomy between “metaphysical” and  “methodological”  structuralism.