Related papers: Categorical Nonstandard Analysis
New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with…
We use the functional renormalization group and the $\epsilon$-expansion concertedly to explore multicritical universality classes for coupled $\bigoplus_i O(N_i)$ vector-field models in three Euclidean dimensions. Exploiting the…
Spontaneously broken, flavour-dependent, gauged $U(1)$ extensions of the Standard Model (SM) have many phenomenological uses. We chart the space of solutions to the gauge anomaly cancellation equations in such extensions, for both the SM…
We use nonstandard analysis to formulate quantum mechanics in hyperfinite-dimensional spaces. Self-adjoint operators on hyperfinite-dimensional spaces have complete eigensets, and bound states and continuum states of a Hamiltonian can thus…
We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…
A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then…
This is the second paper in a series on intrinsic Donaldson-Thomas theory, a framework for studying the enumerative geometry of general algebraic stacks. In this paper, we present the construction of Donaldson-Thomas invariants for general…
The aim of this contribution is to bring together the areas of $p$-adic analysis and nonstandard analysis. We develop a nonstandard measure theory with values in a complete non-Archimedean valued field $K$, e.g. the $p-$adic numbers…
This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the…
The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group \Gamma, with quotient group isomorphic to \Gamma/N. It is shown how to enumerate such…
Although generalized ensembles have now been in use in statistical mechanics for decades, including frameworks such as Tsallis' nonextensive statistics and superstatistics, a classification of these generalized ensembles outlining the…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
We review the status of (scalar) quantum field theory on curved spacetimes using a novel formulation in terms of non linear functionals over the smooth configuration fields. In particular, this entails also a new foundation of locally…
We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object…
Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…
Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…
$U(n\otimes m)\ast$ gauge field theory on noncommutative spacetime is formulated and the standard-like model with the symmetry ${\text{U}(3_c\otimes 2\otimes 1_{\text{\scriptsize$Y$}})\ast}$ is reconstructed based on it. $\text{U}(n+m)\ast$…
For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of finite-dimensional Hilbert spaces into the category of…
We study the most elementary aspects of harmonic analysis on a homogeneous space of a deformation of the two-dimensional Euclidean group, admitting generalizations to dimensions three and four, whose quantum parameter has the physical…