Morita Equivalence
Thomas William Barrett, Hans Halvorson
TL;DR
This paper explores the relationships among formal criteria for theoretical equivalence in logic and philosophy of science, focusing on definitional, categorical, and Morita equivalence.
Contribution
It introduces and analyzes Morita equivalence as an intermediate criterion connecting definitional and categorical equivalence.
Findings
Morita equivalence links definitional and categorical criteria.
The paper clarifies the conceptual relationships among these equivalence notions.
It provides a formal analysis of how Morita equivalence mediates between existing criteria.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.