Related papers: A (possibly new) structure without the canonical b…
In the theory of conditional sets, many classical theorems from areas such as functional analysis, probability theory or measure theory are lifted to a conditional framework, often to be applied in areas such as mathematical economics or…
On the basis of the covariant description of the canonical formalism for quantization, we present the basic elements of the symplectic geometry for a restricted class of topological defects propagating on a curved background spacetime. We…
Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approaches to define computability in these sets, order-theoretic…
The dual basis of the canonical basis of the modified quantized enveloping algebra is studied, in particular for type $A$. The construction of a basis for the coordinate algebra of the $n\times n$ quantum matrices is appropriate for the…
The coherence of an individual quantum state can be meaningfully discussed only when referring to a preferred basis. This arbitrariness can however be lifted when considering sets of quantum states. Here we introduce the concept of set…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
A canonical basis in the sense of Lusztig is a basis of a free module over a ring of Laurent polynomials that is invariant under a certain semilinear involution and is obtained from a fixed "standard basis" through a triangular base change…
In this paper, we further develop the theory of circles of partition by introducing the notion of complex circles of partition. This work generalizes the classical framework, extending from subsets of the natural numbers as base sets to…
The paper puts into discussion the concept of universality, in particular for structures not of the power of Turing computability. The question arises if for such structures a universal structure of the same kind exists or not. For that the…
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of…
A notion of an algebroid - a generalization of a Lie algebroid structure is introduced. We show that many objects of the differential calculus on a manifold M associated with the canonical Lie algebroid structure on T^M can be obtained in…
Over an arbitrary field of positive characteristic we construct an example of a locally finite variety of Lie algebras which does not have a finite basis of its polynomial identities. As a consequence we construct varieties of Lie algebras…
A new n-dimensional family of Poisson structures is globally characterized and analyzed, including the construction of its main features: the symplectic structure and the reduction to the Darboux canonical form. Examples are given and…
We introduce a lattice structure as a generalization of meet-continuous lattices and quantales. We develop a point-free approach to these new lattices and apply these results to $R$-modules. In particular, we give the module counterpart of…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general…
Quantum theory departs from classical probabilistic theories in foundational ways. These departures--termed quantumness here--power quantum information and computation. This thesis charts the role of discrete structures in assessing…
Generalized contextuality is a possible indicator of non-classical behaviour in quantum information theory. In finite-dimensional systems, this is justified by the fact that noncontextual theories can be embedded into some simplex, i.e.…
The dimensional properties of fields in classical general relativity lead to a tangent tower structure which gives rise directly to quantum mechanical and quantum field theory structures without quantization. We derive all of the…
We describe the mathematical properties of pairwise comparisons matrices with coefficients in an arbitrary group. We provide a vocabulary adapted for the description of main algebraic properties of inconsistency maps, describe an example…