When are two theories equivalent?

An under-explored question in phil.phys.  Recent example of conflict: North and Curiel on primacy of Hamiltonian vs. Lagrangian forms of Classical Mechanics.

Halvorson attacks isomorphism as a criterion for equivalence. Suggests categorical equivalence as a remedy.

Holographic duality provides an additional, and distinct, way of thinking about equivalence.