相关论文: Integration over a generic algebra
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to include continuous-time models of computation. We prove that every…
Anti-unification in logic programming refers to the process of capturing common syntactic structure among given goals, computing a single new goal that is more general called a generalization of the given goals. Finding an arbitrary common…
The Feynman Path Integral is extended in order to capture all solutions of a quantum field theory. This is done via a choice of appropriate integration cycles, parametrized by M in SL(2,C), i.e., the space of allowed integration cycles is…
This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular…
The analysis of data sometimes requires fitting many free parameters in a theory to a large number of data points. Questions naturally arise about the compatibility of specific subsets of the data, such as those from a particular experiment…
The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gr\"{o}bner) methods are severely limited by algorithmic issues…
We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational database systems. Based on universal constructions of modules we…
In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of…
In this paper we will present an ongoing project which aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We will argue that this approach provides a geometric semantics for such…
The compatibility between the conformal symmetry and the closure of conformal algebras is discussed on the nonlinear sigma model. The present approach, above the basis of field redefinition employed in the Hamiltonian scheme, attempts the…
By parametrizing the action integral for the standard Schrodinger equation we present a derivation of the recently proposed method for quantizing a parametrized theory. The reformulation suggests a natural extension from conventional to…
A criterion for determining exactly when an order of a maximal subfield of a central simple algebra over a number field can be embedded into an order of this algebra is given. Various previous results have been generalized and recovered by…
We construct a geometric system from which the Hall algebra can be recovered. This system inherently satisfies higher associativity conditions and thus leads to a categorification of the Hall algebra. We then suggest how to use this…
We propose a new framework that generalizes the parameters of neural network models to $C^*$-algebra-valued ones. $C^*$-algebra is a generalization of the space of complex numbers. A typical example is the space of continuous functions on a…
The centralizer algebra of a matrix consists of those matrices that commute with it. We investigate the basic representation-theoretic invariants of centralizer algebras, namely their radicals, projective indecomposable modules, injective…
In this note we point out that the definition of the universal enveloping dialgebra for a Leibniz algebra is consistent with the interpretation of a Leibniz algebra as a generalization not of a Lie algebra, but of the adjoint representation…
In this article, we introduce the notion of a curved absolute $\mathcal{L}_\infty$-algebra, a structure that behaves like a curved $\mathcal{L}_\infty$-algebra where all infinite sums of operations are well-defined by definition. We develop…
We initiate a study on a range of new generalized derivations of finite-dimensional Lie algebras over an algebraically closed field of characteristic zero. This new generalization of derivations has an analogue in the theory of associative…