On the Category-Theoretic Independence of Meaning, Object, Name and Existence
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914339770859520 |
|---|---|
| author | Inoué, Takao |
| author_facet | Inoué, Takao |
| contents | We prove a category-theoretic independence theorem for four fundamental notions: meaning, object, name, and existence. Working in a Lawvere-style categorical semantics and in particular in toposes, we show that these notions occupy distinct structural levels (object, morphism, element, and internal logical level) and are not uniformly recoverable from one another.
The key separation arises between internal existence and global naming. Using a concrete example in the topos $\mathbf{Sh}(S^1)$-the sheaf of local sections of a nontrivial covering-we exhibit an object that is internally inhabited but admits no global element.
These results provide a precise structural basis for treating geometric universes as foundational frameworks for information networks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_18033 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the Category-Theoretic Independence of Meaning, Object, Name and Existence Inoué, Takao Category Theory Logic in Computer Science Logic Primary 18C05, Secondary 18B25, 03G30, 18F20 We prove a category-theoretic independence theorem for four fundamental notions: meaning, object, name, and existence. Working in a Lawvere-style categorical semantics and in particular in toposes, we show that these notions occupy distinct structural levels (object, morphism, element, and internal logical level) and are not uniformly recoverable from one another. The key separation arises between internal existence and global naming. Using a concrete example in the topos $\mathbf{Sh}(S^1)$-the sheaf of local sections of a nontrivial covering-we exhibit an object that is internally inhabited but admits no global element. These results provide a precise structural basis for treating geometric universes as foundational frameworks for information networks. |
| title | On the Category-Theoretic Independence of Meaning, Object, Name and Existence |
| topic | Category Theory Logic in Computer Science Logic Primary 18C05, Secondary 18B25, 03G30, 18F20 |
| url | https://arxiv.org/abs/2602.18033 |