Hot take: the author sneaks in a premise that synthetic mathematics is per se "reactionary", but this is itself pure reactionary copium for not getting it: https://ncatlab.org/nlab/show/synthetic+mathematics https://en.wikipedia.org/wiki/Synthetic_mathematics . There's nothing wrong with wishing to pursue a "coordinate-free" approach to any mathematical field: the old geometers were quite right about this.