Morita Equivalence

Abstract

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

30 pages

References in corpus (1)

• When Bi-interpretability implies Synonymy

Cited by in corpus (7)

• Respecting Boundaries: Theoretical Equivalence and Structure Beyond Dynamics
• On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures
• On the Categoricity of Quantum Mechanics
• Testing definitional equivalence of theories via automorphism groups
• Type space functors and interpretations in positive logic
• Boolean algebras, Morita invariance, and the algebraic K-theory of Lawvere theories
• On some Symmetry Axioms in Relativity Theories