Abstract: In recent years philosophers of science have explored categorical equivalence as a promising criterion for when two (physical) theories are equivalent. On the one hand, philosophers have presented several examples of theories whose relationships seem to be clarified using these categorical methods. On the other hand, philosophers and logicians have studied the relationships, particularly in the first order case, between categorical equivalence and other notions of equivalence of theories, including definitional equivalence and generalized definitional (aka Morita) equivalence. In this article, I will express some skepticism about this approach, both on technical grounds and conceptual ones. I will argue that "category structure" (alone) likely does not capture the structure of a theory, and discuss some recent work in light of this claim.
Recommendations
Cites work
- A categorical equivalence between generalized holonomy maps on a connected manifold and principal connections on bundles over that manifold
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
- Basic Category Theory
- Classical Mechanics Is Lagrangian; It Is Not Hamiltonian
- Comparing theories: the dynamics of changing vocabulary
- Confessions of a (cheap) sophisticated substantivalist
- Duality and definability in first order logic
- Equivalent and Inequivalent Formulations of Classical Mechanics
- Fiber bundles, Yang-Mills theory, and general relativity
- First-order logical duality
- General Relativity as a Collection of Collections of Models
- Higher gauge theory
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 7599495 (Why is no real title available?)
- scientific article; zbMATH DE number 6745059 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- scientific article; zbMATH DE number 3068569 (Why is no real title available?)
- In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
- Morita equivalence
- On Einstein algebras and relativistic spacetimes
- On generalization of definitional equivalence to non-disjoint languages
- On representational redundancy, surplus structure, and the hole argument
- On the structure of classical mechanics
- Regarding the ‘Hole Argument’
- Rigor and Structure
- Smooth Manifolds and Observables
- The generally covariant locality principle -- a new paradigm for local quantum field theory
- The hole argument against everything
- The semantic view of theories and higher-order languages
- Understanding Electromagnetism
Cited in
(8)- ``Above the Slough of Despond: Weylean invariantism and quantum physics
- Categorical approach to modelling and to coupling of models
- On Morita equivalence and interpretability
- Morita equivalence
- Beyond linguistic interpretation in theory comparison
- An invitation to conventionalism: a philosophy for modern (space-)times
- On automorphism criteria for comparing amounts of mathematical structure
- Equivalence and duality in electromagnetism
This page was built for publication: Why not categorical equivalence?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015983)
