Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On the Category-Theoretic Independence of Meaning, Object, Name and Existence

Takao Inoué

Abstract

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.

On the Category-Theoretic Independence of Meaning, Object, Name and Existence

Abstract

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 -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.
Paper Structure (12 sections, 3 theorems, 11 equations, 1 figure)

This paper contains 12 sections, 3 theorems, 11 equations, 1 figure.

Table of Contents

  1. Introduction
  2. Four Fundamental Notions (Formal Categorical Definitions)
  3. Ambient categorical semantics
  4. Formal definitions of the four notions
  5. Main Theorem: Category-Theoretic Independence
  6. An Informal Guide to the Independence Theorem
  7. Four notions as four categorical levels
  8. A schematic picture
  9. Why existence and naming separate
  10. Reading the formal proof
  11. Conclusion
  12. The Final Remark

Key Result

Lemma 3.1

Let $X=S^1$ be the circle, and let be a nontrivial covering map (for example, the standard double covering $p:S^1\to S^1$, $p(z)=z^2$). Let $A$ be the sheaf of local sections of $p$, i.e. for each open set $U\subseteq S^1$, Then $A$ is internally inhabited in $\mathbf{Sh}(S^1)$, but has no global section.

Figures (1)

  • Figure 1: Four categorical levels and their independence. Meaning, name, object, and existence live at distinct structural levels in a categorical semantics. Solid arrows indicate structural relations, while dashed arrows indicate non-recoverability established by the independence theorem. In particular, internal existence does not determine global naming.

Theorems & Definitions (15)

  • Definition 2.1: Object
  • Definition 2.2: Name
  • Definition 2.3: Meaning
  • Definition 2.4: Existence
  • Remark 2.1: Separation of levels
  • Lemma 3.1: Internally inhabited sheaf without global name
  • proof
  • Definition 3.1: Non-recoverability
  • Lemma 3.2: Internal inhabitedness vs. global elements
  • proof
  • ...and 5 more