Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917281818214400 |
|---|---|
| author | Inoué, Takao |
| author_facet | Inoué, Takao |
| contents | This paper proposes an interpretation of Grothendieck's geometric universes as a foundational framework for \emph{information networks}. We argue that Grothendieck topologies, sheaves, and topoi provide a sheaf-theoretic semantics in which distributed and locally held information can be integrated into globally coherent structures. In this setting, local informational states are represented by sections, while the sheaf condition governs consistency, agreement, and consensus across a network. Logical validity and mathematical existence are therefore not imposed externally but arise intrinsically from geometric and categorical conditions. From this perspective, Grothendieck's geometric universes constitute a natural foundation for information networks governed by intrinsic logical principles. Moreover, we propose that Grothendieck's geometric universes themselves concretely instantiate what the author calls \emph{intrinsic logicism}. This position is intended as a contemporary reconstruction of the classical logicist program of Frege and Russell, reformulated within the framework of category theory and topos theory, where logical structure is generated internally by geometric and categorical organization rather than presupposed as an external foundational layer. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_17160 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network Inoué, Takao Category Theory Logic Primary 68T30, Secondary 68R10, 18F20, 18B25 This paper proposes an interpretation of Grothendieck's geometric universes as a foundational framework for \emph{information networks}. We argue that Grothendieck topologies, sheaves, and topoi provide a sheaf-theoretic semantics in which distributed and locally held information can be integrated into globally coherent structures. In this setting, local informational states are represented by sections, while the sheaf condition governs consistency, agreement, and consensus across a network. Logical validity and mathematical existence are therefore not imposed externally but arise intrinsically from geometric and categorical conditions. From this perspective, Grothendieck's geometric universes constitute a natural foundation for information networks governed by intrinsic logical principles. Moreover, we propose that Grothendieck's geometric universes themselves concretely instantiate what the author calls \emph{intrinsic logicism}. This position is intended as a contemporary reconstruction of the classical logicist program of Frege and Russell, reformulated within the framework of category theory and topos theory, where logical structure is generated internally by geometric and categorical organization rather than presupposed as an external foundational layer. |
| title | Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network |
| topic | Category Theory Logic Primary 68T30, Secondary 68R10, 18F20, 18B25 |
| url | https://arxiv.org/abs/2602.17160 |