Meadows, Toby (2024) The Halvorson Examples. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/text.png) |
Text
The_Halvorson_Example.pdf Download (299kB) |
Abstract
Halvorson has proposed an intriguing example of a pair of theories whose categories are equivalent but which are not themselves definitionally equivalent. Moreover, it seems obvious that these theories are not equivalent in any intuitive sense. We offer a new topological proof that these theories are not definitionally equivalent. However, the underlying theorem for this claim has a converse that shows a surprising collection of theories, which are superficially similar to those in Halvorson's example, turn out to be definitionally equivalent after all. This offers some new insight into what is going “wrong” in the Halvorson example.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | theoretical equivalence; category theory; intepretation | ||||||
| Subjects: | General Issues > Structure of Theories General Issues > Theory Change |
||||||
| Depositing User: | Dr Toby Meadows | ||||||
| Date Deposited: | 05 Dec 2024 13:06 | ||||||
| Last Modified: | 05 Dec 2024 13:06 | ||||||
| Item ID: | 24350 | ||||||
| Subjects: | General Issues > Structure of Theories General Issues > Theory Change |
||||||
| Date: | 4 December 2024 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/24350 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}