Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908744565129216 |
|---|---|
| author | Sukhov, Dmytro |
| author_facet | Sukhov, Dmytro |
| contents | Tunnel Geometry and Proliferation Logic were developed as independent attempts to describe structure without assuming an underlying continuum of points. Although their languages differ, both frameworks encode the same underlying idea: that locality is not primitive but emerges from stable patterns of refinement. This paper shows that each theory admits a representation as a frame equipped with its space of ultrafilters and a compatible Lawvere metric. In this common setting the two frameworks become strictly identical. I construct explicit functors establishing a strict categorical equivalence between Tunnel Geometry and Proliferation Logic, and show that their associated Laplacian operators are unitarily equivalent. The result suggests that geometric and logical approaches to structure are not competing descriptions but two aspects of a single static ontology. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_00803 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence Sukhov, Dmytro Category Theory 18B99 (Primary), 18F99, 54E70, 03G30 F.4.1; G.2.2; I.2.4 Tunnel Geometry and Proliferation Logic were developed as independent attempts to describe structure without assuming an underlying continuum of points. Although their languages differ, both frameworks encode the same underlying idea: that locality is not primitive but emerges from stable patterns of refinement. This paper shows that each theory admits a representation as a frame equipped with its space of ultrafilters and a compatible Lawvere metric. In this common setting the two frameworks become strictly identical. I construct explicit functors establishing a strict categorical equivalence between Tunnel Geometry and Proliferation Logic, and show that their associated Laplacian operators are unitarily equivalent. The result suggests that geometric and logical approaches to structure are not competing descriptions but two aspects of a single static ontology. |
| title | Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence |
| topic | Category Theory 18B99 (Primary), 18F99, 54E70, 03G30 F.4.1; G.2.2; I.2.4 |
| url | https://arxiv.org/abs/2601.00803 |