On Internal Structure, Categorical Structure, and Representation

Philosophy of Science 90 (1):188-195 (2023)
  Copy   BIBTEX

Abstract

If categorical equivalence is a good criterion of theoretical equivalence, then it would seem that if some class of mathematical structures is represented as a category, then any other class of structures categorically equivalent to it will have the same representational capacities. Hudetz (2019a) has presented an apparent counterexample to this claim; in this note, I argue that the counterexample fails.

Categories

Keywords

Reprint years

DOI

10.1017/psa.2022.10

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Why Not Categorical Equivalence?James Owen Weatherall - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 427-451.
Definable categorical equivalence.Laurenz Hudetz - 2019 - Philosophy of Science 86 (1):47-75.
On ℵ0-categorical weakly o-minimal structures.B. Herwig, H. D. Macpherson, G. Martin, A. Nurtazin & J. K. Truss - 1999 - Annals of Pure and Applied Logic 101 (1):65-93.
Coding in the automorphism group of a computably categorical structure.Dan Turetsky - 2020 - Journal of Mathematical Logic 20 (3):2050016.
ω‐categorical weakly o‐minimal expansions of Boolean lattices.Stefano Leonesi & Carlo Toffalori - 2003 - Mathematical Logic Quarterly 49 (4):394-400.
Twist Structures and Nelson Conuclei.Manuela Busaniche, Nikolaos Galatos & Miguel Andrés Marcos - 2022 - Studia Logica 110 (4):949-987.
M-Zeroids: Structure and Categorical Equivalence.Joshua B. Palmatier & Fernando Guzman - 2012 - Studia Logica 100 (5):975-1000.
omnibus Review. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
[Omnibus Review].Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
Degrees That Are Not Degrees of Categoricity.Bernard Anderson & Barbara Csima - 2016 - Notre Dame Journal of Formal Logic 57 (3):389-398.
Applications of Kolmogorov Complexity to Computable Model Theory.B. Khoussainov, P. Semukhin & F. Stephan - 2007 - Journal of Symbolic Logic 72 (3):1041 - 1054.
Absoluter Wert in Kants Grundlegung zur Metaphysik der Sitte.Rocco Porcheddu - 2020 - Kantian Journal 39 (1):7-30.
Enumerations in computable structure theory.Sergey Goncharov, Valentina Harizanov, Julia Knight, Charles McCoy, Russell Miller & Reed Solomon - 2005 - Annals of Pure and Applied Logic 136 (3):219-246.
Countably Categorical Structures with n‐Degenerate Algebraic Closure.Evgueni V. Vassiliev - 1999 - Mathematical Logic Quarterly 45 (1):85-94.
Categorical Modeling of Natural Complex Systems. Part II: Functorial Process of Localization-Globalization.Elias Zafiris - 2008 - Advances in Systems Science and Applications 8 (3):367-387.

Analytics

Added to PP
2022-04-07

Downloads
97 (#174,820)

6 months
26 (#109,749)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Dewar
Cambridge University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references