Related papers: Categorical Geometry and Integration Without Point…
This paper presents a point-free version of the Lebesgue integral for simple functions on $\sigma$-locales. It describes the integral with respect to a measure defined on the coframe of all $\sigma$-sublocales, moving beyond the constraints…
We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It…
We reformulate superalgebra and supergeometry in completely categorical terms by a consequent use of the functor of points. The increased abstraction of this approach is rewarded by a number of great advantages. First, we show that one can…
Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards…
Category theory is famous for its innovative way of thinking of concepts by their descriptions, in particular by establishing universal properties. Concepts that can be characterized in a universal way receive a certain quality seal, which…
We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying…
A classical theorem of Siegel asserts that the set of S-integral points of an algebraic curve C over a number field is finite unless C has genus 0 and at most two points at infinity. In this paper we give necessary and sufficient conditions…
The concept of $\mathcal S$-topological $\sigma$-ideal in measurable space $(X, \mathcal S)$ was introduced by Hejduk and using a theorem of Wagner on convergence of measurable functions characterized $\mathcal S$-topological…
Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy…
We generalize Siegel's theorem on integral points on affine curves to integral points of bounded degree, giving a complete characterization of affine curves with infinitely many integral points of degree d or less over some number field.…
Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…
We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…
In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic…
Categories of models of algebraic theories have good categorical properties except for gluing. Building upon insights and examples from Synthetic Differential Geometry, we introduce a generalisation of models of algebraic theories to…
The gauge principle is at the heart of a good part of fundamental physics: Starting with a group G of so-called rigid symmetries of a functional defined over space-time Sigma, the original functional is extended appropriately by additional…
We introduce a notion of integration defined from filters over families of finite sets. This procedure corresponds to determining the average value of functions whose range lies in any algebraic structure in which finite averages make…
One of the central concepts in modern theoretical physics, gauge symmetry, is typically realised by lifting a finite-dimensional global symmetry group of a given functional to an infinite-dimensional local one by extending the functional to…
We prove new theorems which are higher-dimensional generalizations of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from $\mathbb{C}$ to affine curves. These include results on…
The geometric construction of the functional integral over coset spaces ${\cal M}/{\cal G}$ is reviewed. The inner product on the cotangent space of infinitesimal deformations of $\cal M$ defines an invariant distance and volume form, or…
With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…