Related papers: Categorical Geometry and Integration Without Point…
We establish the isomorphism between a nonlinear $\sigma$-model and the abelian gauge theory on an arbitrary curved background, which allows us to derive integrable models and the corresponding Lax representations from gauge theoretical…
It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…
We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubi\'{s} and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023),…
The notion of "super convex spaces" generalizes the idea of convex spaces by replacing finite affine sums with countable affine sums. Using this notion permits a very elegant approach for analysis of the Giry monad on standard measurable…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
Classical Segal-Bargmann theory studies three Hilbert space unitary isomorphisms that describe the wave-particle duality and the configuration space-phase space. In this work, we generalized these concepts to Clifford algebra-valued…
The new approach to quantize the gravity based on the notion of differential algebra is suggested. It is shown that the differential geometry of this object can not be described in terms of points. The spatialization procedure giving rise…
Several machine learning models are defined for inputs of any size, such as graphs with different numbers of nodes and point clouds containing varying numbers of points. The universality properties of such any-dimensional models remain…
A construction of integration, function calculus, and exterior calculus is made, allowing for integration of unital magma valued functions against (compactified) unital magma valued measures over arbitrary topological spaces. The Riemann…
In 1973, E.J. McShane proposed an alternative definition of the Lebesgue integral based on Riemann sums, where gauges are used decide what tagged partitions are allowed. Such an approach does not require any preliminary knowledge of Measure…
According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is…
We consider the Segal-Bargmann transform for a noncompact symmetric space of the complex type. We establish isometry and surjectivity theorems for the transform, in a form as parallel as possible to the results in the compact case. The…
Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…
I discuss the general formalism of two-dimensional topological field theories defined on open-closed oriented Riemann surfaces, starting from an extension of Segal's geometric axioms. Exploiting the topological sewing constraints allows for…
In this paper we develop a rigorous foundation for the study of integration and measures on the space $\mathscr{G}(V)$ of all graphs defined on a countable labelled vertex set $V$. We first study several interrelated $\sigma$-algebras and a…
We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…
Isaak Moiseevich Yaglom deduced complete classification of geometric spaces. In this work, supposed to your attention, author formalizes Yaglom's approach and constructs uniform theory of geometric spaces on analytic level. Among its…
An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…
Segal's hypothesis that physical theories drift toward simple groups follows from a general quantum principle and suggests a general quantization process. I general-quantize the scalar meson field in Minkowski space-time to illustrate the…