Related papers: Commutative Quantale and Localization
Quasi-set theory was proposed as a mathematical context to investigate collections of indistinguishable objects. After presenting an outline of this theory, we define an algebra that has most of the standard properties of an orthocomplete…
The aim of this paper is to develop a framework for localization theory of triangulated categories $\mathcal{C}$, that is, from a given extension-closed subcategory $\mathcal{N}$ of $\mathcal{C}$, we construct a natural extriangulated…
We introduce regular stratified piecewise linear manifolds to describe lattices and investigate the lattice model approach to topological quantum field theory in all dimensions. We introduce the unitary $n+1$ alterfold TQFT and construct it…
In one of our previous articles, we outlined the formulation of a version of the categorical arithmetic local Langlands conjecture. The aims of this article are threefold. First, we provide a detailed account of one component of this…
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…
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…
Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or…
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary…
A full-rank lattice in the Euclidean space is a discrete set formed by all integer linear combinations of a basis. Given a probability distribution on $\mathbb{R}^n$, two operations can be induced by considering the quotient of the space by…
Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call…
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our…
The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion.…
Let $(E,\tau)$ be a locally solid vector lattice. A filter $\mathcal{F}$ on the set $E$ is said to be converge to a vector $e\in E$ if, each zero neighborhood set $U$ containing $e$, $U$ belongs to $\mathcal{F}$. We study on the concept of…
We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…
We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of…
Machine Learning classification models learn the relation between input as features and output as a class in order to predict the class for the new given input. Quantum Mechanics (QM) has already shown its effectiveness in many fields and…