 The technical results just mentioned are clearly relevant for our discussion, but we cannot explore them further in this general survey. (Cf. Awodey 2014 for more on the relation between structuralism and the Univalent Foundations project.) We also have to leave a further, more definite evaluation of the philosophical claims and arguments concerning categorical structuralism to another occasion, interesting and important as that debate is. Instead, we now conclude with some more general remarks about structuralism, even beyond the philosophy of mathematics.