On the Structure and Equivalence of Theories