English
Related papers

Related papers: Categorical Nonstandard Analysis

200 papers

Locales have been studied as "topologies without points", mainly by tools of category theory. While traditional topology presents a space as a set of points with specified neighborhoods, localic topology presents a space as a lattice of…

Category Theory · Mathematics 2023-11-20 Dusko Pavlovic

In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution…

Mathematical Physics · Physics 2021-12-14 Hayato Saigo

An operational definition of contextuality is introduced which generalizes the standard notion in three ways: (1) it applies to arbitrary operational theories rather than just quantum theory, (2) it applies to arbitrary experimental…

Quantum Physics · Physics 2016-09-08 R. W. Spekkens

We introduce the space of grid functions, a space of generalized functions of nonstandard analysis that provides a coherent generalization both of the space of distributions and of the space of Young measures. We will show that in the space…

Functional Analysis · Mathematics 2019-07-15 Emanuele Bottazzi

We study generalized symmetries of quantum field theories in 1+1D generated by topological defect lines with no inverse. This paper follows our companion paper on gapped phases and anomalies associated with these symmetries. In the present…

High Energy Physics - Theory · Physics 2021-06-25 Ryan Thorngren , Yifan Wang

Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra…

Algebraic Geometry · Mathematics 2026-04-08 Ivan Karpov , Miguel Moreira

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…

Quantum Algebra · Mathematics 2007-05-23 Jeffrey Morton

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

Logic in Computer Science · Computer Science 2015-07-01 Hyvernat Pierre

Non-Archimedean mathematics (in particular, nonstandard analysis) allows to construct some useful models to study certain phenomena arising in PDE's; for example, it allows to construct generalized solutions of differential equations and…

Logic · Mathematics 2015-12-18 Vieri Benci , Lorenzo Luperi Baglini

In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We define a dagger compact category *Hilb suitable for the…

Quantum Physics · Physics 2018-03-05 Stefano Gogioso , Fabrizio Genovese

Global invertible symmetries act unitarily on local observables or states of a quantum system. In this note, we aim to generalise this statement to non-invertible symmetries by considering unitary actions of higher fusion category…

High Energy Physics - Theory · Physics 2025-04-16 Thomas Bartsch

The theory uses methods and language of linear algebra to study nonlinear spaces. These techniques can be used particularly to describe analytic geometry of non-linear elliptic, hyperbolic, De Sitter and Anti de Sitter spaces. The main…

History and Overview · Mathematics 2018-07-27 Alexandru Popa

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…

Logic · Mathematics 2019-08-20 Russell Miller

The objective of this manuscript is to introduce and develop the concept of a generalized $\theta$-parametric metric space-a novel extension that enriches the modern metric fixed point theory. We study of its fundamental properties,…

Optimization and Control · Mathematics 2025-10-02 Abhishikta Das , Hemanta Kalita , Mohammad Sajid , T. Bag

For classical dynamical systems, the polynomial entropy serves as a refined invariant of the topological entropy. In the setting of categorical dynamical systems, that is, triangulated categories endowed with an endofunctor, we develop the…

Algebraic Geometry · Mathematics 2021-03-23 Yu-Wei Fan , Lie Fu , Genki Ouchi

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

Algebraic Geometry · Mathematics 2021-03-25 Wolfgang Bertram , Jérémy Haut

A new version of scale analysis and renormalization theory has been found on the non-commutative Moyal space. It could be useful for physics beyond the standard model or for standard physics in strong external field. The good news is that…

High Energy Physics - Theory · Physics 2015-05-13 Vincent Rivasseau

We explore the possibility of replacing point set topology by higher category theory and topos theory as the foundation for quantum general relativity. We discuss the BC model and problems of its interpretation, and connect with the…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Louis Crane

Category theory has been successfully applied in various domains of science, shedding light on universal principles unifying diverse phenomena and thereby enabling knowledge transfer between them. Applications to machine learning have been…

Machine Learning · Computer Science 2023-03-09 Eli Sennesh , Tom Xu , Yoshihiro Maruyama

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…

Category Theory · Mathematics 2025-05-01 Martin Escardo , Alex Simpson