 Carnap’s structuralism about mathematics also points forward, in its anticipation, for instance, of Tarski’s structural delimitation of logic modeled on the Erlanger Programm (Tarski 1986, Sher 1991), and has recently been seen as a precursor of a new form of mathematical structuralism based on homotopy type theory in its emphasis on invariance (Awodey 2017).