Formal criteria of theoretical equivalence are mathematical mappings between specific sorts objects, notably including those objects used in physics. Proponents formal claim that results involving these have implications extend beyond pure mathematics. For instance, they bear on the project using our best physics as a guide to what world is like, and also deflationary for various debates metaph...