Related papers: Categorical Nonstandard Analysis
Conventional quantum field theory is a method for studying structureless elementary particles. Non-elementary particles, on the other hand, are those with internal structure or particles that are made up of elementary constituents like the…
We address some conjectures and open problems in "analysis of symmetries" which include the study of non-commutative harmonic analysis and discontinuous groups for reductive homogeneous spaces beyond the classical framework: (1) discrete…
Designing a covariance function that represents the underlying correlation is a crucial step in modeling complex natural systems, such as climate models. Geospatial datasets at a global scale usually suffer from non-stationarity and…
This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…
We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.
Standard subspaces are closed real subspaces of a complex Hilbert space that appear naturally in Tomita-Takesaki modular theory and its applications to quantum field theory. In this article, inclusions of standard subspaces are studied…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
The article explores function terms within uniform theories. It examines the uniformity of these theories through an algebraic lens. The paper compares the uniformity of terms and predicates within axiom schemas. It demonstrates the…
In a recent work, arXiv:2503.05884, we proposed a unified notion of nonclassicality that applies to arbitrary processes in quantum theory, including individual quantum states, measurements, channels, set of these, etc. This notion is…
We extend Raynaud's theory of formal models from rigid-analytic spaces over a nonarchimedean field to uniform qcqs adic spaces $X$, with no finite-type assumptions, over an arbitrary Tate affinoid base $S$. The key new ingredient is the…
We explore the possibility of using Model Theoretic ideas to study certain non-Hausdorff spaces knwon as Quantum Tori with a view to their application to Manin's theory of Real Multiplication. We study the morphisms between these spaces…
Indoor scene recognition is a multi-faceted and challenging problem due to the diverse intra-class variations and the confusing inter-class similarities. This paper presents a novel approach which exploits rich mid-level convolutional…
Approximation Fixpoint Theory (AFT) is an algebraic framework designed to study the semantics of non-monotonic logics. Despite its success, AFT is not readily applicable to higher-order definitions. To solve such an issue, we devise a…
Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a join which is again a regular subobject. Vice versa, if…
This paper is devoted to the analysis of charged superselection sectors in the framework of the locally covariant quantum field theories. We shall analize sharply localizable charges, and use net-cohomology of J.E. Roberts as a main tool.…
We define and study notions of comprehension in $(\infty,1)$-category theory. In essence, we do so by implementing B\'{e}nabou's foundations of naive category theory in a univalent meta-theory. In particular, we develop natural…
In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
In this paper, we study some topological characteristics of the n-normed spaces. We observe convergence sequences, closed sets, and bounded sets in the n-normed spaces using norms of quotient spaces that will be constructed. These norms…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…