Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908456591556608 |
|---|---|
| author | Santacana, Andreu Ballus |
| author_facet | Santacana, Andreu Ballus |
| contents | We introduce a new categorical and constructive foundation for analytic approximation based on a Contextual Choice Principle (CCP), which enforces locality and compatibility in the construction of mathematical objects. Central to our approach is the Universal Embedding and Linear Approximation Theorem (UELAT), which establishes that functions in broad spaces -- including C(K), Sobolev spaces W^{k,p}(Omega), and distributions D'(Omega) -- can be explicitly approximated by finite-rank linear projections, each with a constructive, algorithmically verifiable certificate of accuracy.
These constructions are governed categorically by a functorial adjunction between local logical probes and analytic models, making analytic existence both formally certifiable and programmatically extractable. As a key result, we prove a uniform certificate stability theorem, ensuring that approximation certificates persist under uniform convergence.
The CCP avoids classical pathologies (e.g., non-measurable sets, Banach--Tarski paradoxes) by eliminating non-constructive choice and replacing it with a coherent, local-to-global semantic logic. Our framework strengthens the foundations of constructive analysis while contributing tools relevant to formal verification, type-theoretic proof systems, and computational mathematics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_22693 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation Santacana, Andreu Ballus Functional Analysis Logic in Computer Science Logic 03F65, 03B30, 46E35, 68Q55 F.4.1; G.1.2; F.3.1 We introduce a new categorical and constructive foundation for analytic approximation based on a Contextual Choice Principle (CCP), which enforces locality and compatibility in the construction of mathematical objects. Central to our approach is the Universal Embedding and Linear Approximation Theorem (UELAT), which establishes that functions in broad spaces -- including C(K), Sobolev spaces W^{k,p}(Omega), and distributions D'(Omega) -- can be explicitly approximated by finite-rank linear projections, each with a constructive, algorithmically verifiable certificate of accuracy. These constructions are governed categorically by a functorial adjunction between local logical probes and analytic models, making analytic existence both formally certifiable and programmatically extractable. As a key result, we prove a uniform certificate stability theorem, ensuring that approximation certificates persist under uniform convergence. The CCP avoids classical pathologies (e.g., non-measurable sets, Banach--Tarski paradoxes) by eliminating non-constructive choice and replacing it with a coherent, local-to-global semantic logic. Our framework strengthens the foundations of constructive analysis while contributing tools relevant to formal verification, type-theoretic proof systems, and computational mathematics. |
| title | Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation |
| topic | Functional Analysis Logic in Computer Science Logic 03F65, 03B30, 46E35, 68Q55 F.4.1; G.1.2; F.3.1 |
| url | https://arxiv.org/abs/2506.22693 |