Categorical Nonstandard Analysis

In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while we make use of an endofunctor $\mathcal{U}$ on a topos of sets $S$ together with a natural transformation $\upsilon$, instead of the terms as “standard”, “internal” or “external”. Moreover, we propose a general notion of a space called $\mathcal{U}$-space, and the category $\mathcal{U}space$ whose objects are $\mathcal{U}$-spaces and morphisms are functions called $\mathcal{U}$-spatial morphisms. The category $\mathcal{U}Space$, which is shown to be cartesian closed, will give a unified viewpoint toward topological and coarse geometric structure. It will also useful to study symmetries/asymmetries of the systems with infinite degrees of freedom such as quantum fields.

💡 Research Summary

The paper proposes a categorical reformulation of non‑standard analysis that eliminates the traditional triad of “standard”, “internal”, and “external” terminology. The authors start from a topos of sets S (essentially the ordinary category of sets) and introduce an endofunctor 𝕌 : S → S together with a natural transformation ν : Id_S ⇒ 𝕌. For each object X, the functor assigns a “non‑standard extension” 𝕌X, while ν_X : X → 𝕌X embeds the original set as a distinguished copy inside its extension. This pair (𝕌, ν) plays the same logical role as the transfer principle and the internal‑external distinction in Nelson’s Internal Set Theory, but it does so purely in categorical language, making the framework independent of any meta‑linguistic labeling of elements.

Building on this foundation, the authors define a 𝕌‑space as a pair (X, ρ) where X is a set and ρ ⊆ X × 𝕌X is a relation satisfying three axioms: (i) Transfer – if (x, u)∈ρ and (u, v)∈𝕌ρ then (x, v)∈ρ; (ii) Reverse Transfer – if (x, v)∈ρ there exists u∈𝕌X with (x, u)∈ρ and (u, v)∈𝕌ρ; (iii) Saturation – for every x∈X, (x, ν_X(x))∈ρ. These conditions simultaneously encode the usual neighbourhood‑based continuity of topology and the large‑scale proximity that characterises coarse geometry. In effect, ρ serves as a unified “closeness” predicate that can talk about infinitesimally close points as well as points that are close only at a macroscopic scale.

A 𝕌‑spatial morphism f : (X, ρ) → (Y, σ) is a function f : X → Y that respects the relations in the sense that f∘ρ ⊆ σ∘𝕌f, where 𝕌f : 𝕌X → 𝕌Y is the functorial image of f. This single condition subsumes the usual definition of a continuous map (preservation of open sets) and the definition of a coarse map (preservation of large‑scale entourages). Consequently, the collection of all 𝕌‑spaces and 𝕌‑spatial morphisms forms a category denoted 𝕌Space.

One of the central technical results is that 𝕌Space is cartesian closed. The product of two 𝕌‑spaces (X, ρ) and (Y, σ) is given by the ordinary set product X × Y equipped with the relation ρ ⊗ σ defined pointwise, and this product again satisfies the three axioms, making it a 𝕌‑space. Moreover, for any 𝕌‑spaces A and B there exists an internal hom object Hom_𝕌(A, B) whose underlying set is the ordinary function set Hom_S(A, B) and whose proximity relation is defined so that a function g belongs to the relation with a non‑standard function h precisely when g and h agree on a ν‑small neighbourhood. This internal hom again satisfies the axioms, establishing the closure property. The cartesian closedness is significant because the ordinary category of topological spaces (Top) and the category of coarse spaces are not cartesian closed; thus 𝕌Space provides a unified setting where both “small‑scale” and “large‑scale” function spaces exist naturally.

The authors then discuss applications to physics, focusing on systems with infinitely many degrees of freedom such as quantum fields. In quantum field theory one simultaneously deals with a Hilbert space (a fine‑grained topological structure) and with large‑scale phenomena like infrared behavior or renormalization group flows (coarse geometry). A quantum field can be modelled as a map from spacetime into a 𝕌‑real line 𝕌ℝ, allowing infinitesimal fluctuations to be represented by genuine non‑standard points, while the coarse proximity captures long‑range correlations. Symmetry groups act as 𝕌‑spatial automorphisms; preservation of the relation ρ encodes whether a symmetry respects both microscopic and macroscopic structures. Conversely, symmetry breaking or phase transitions can be detected by the failure of a candidate automorphism to preserve ρ, offering a categorical criterion for asymmetry.

Finally, the paper outlines future directions. The authors suggest developing a non‑standard measure theory inside 𝕌Space, which would give a categorical foundation for Loeb measures and hyperfinite probability spaces. They also propose extending the framework to higher‑categorical settings (2‑categories or ∞‑categories) to accommodate quantum field algebras (e.g., C∗‑algebras) and to explore connections with homotopy type theory. Another promising line is the application of 𝕌‑spaces to computer science, where non‑standard models could provide semantics for programs with infinitesimal time steps or for reasoning about concurrent systems at multiple scales. In sum, the paper delivers a novel axiomatic system that recasts non‑standard analysis in categorical terms, unifies topological and coarse geometric viewpoints, and opens a pathway to treat infinite‑dimensional physical theories within a single, mathematically robust framework.