Related papers: Conjunctive Table Algebras
The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…
Traditionally categorical data analysis (e.g. generalized linear models) works with simple, flat datasets akin to a single table in a database with no notion of missing data or conflicting versions. In contrast, modern data analysis must…
A classic result of representation theory is Brauer's construction of a diagrammatical (geometrical) algebra whose matrix representation is a certain given matrix algebra, which is the commutating algebra of the enveloping algebra of the…
This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In…
A triangular limit algebra A is isometrically isomorphic to the tensor algebra of a C*-correspondence if and only if its fundamental relation R(A) is a tree admitting a $Z^+_0$-valued continuous and coherent cocycle. For triangular limit…
Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence such as deductive databases and knowledge representation and reasoning. Disjunctive existential rules (a.k.a. disjunctive…
Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. To a cluster algebra of simply laced Dynkin type one can associate the cluster category. Any cluster of the cluster algebra corresponds…
Inspired by earlier works on representations of the Temperley-Lieb algebra we introduce a novel family of representations of the algebra. This may be seen as a generalization of the so called asymmetric twin representation. The underlying…
Spinors are central to physics: all matter (fermions) is made of spinors, and all forces arise from symmetries of spinors. It is common to consider the geometric (Clifford) algebra as the fundamental edifice from which spinors emerge. This…
An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and…
We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these…
Based on a fact that complex Clifford algebras of even dimension are isomorphic to the matrix ones, we consider bundles in Clifford algebras whose structure group is a general linear group acting on a Clifford algebra by left…
New notions are introduced in algebra in order to better study the congruences in number theory. For example, the <special semigroups> makes an important such contribution.
We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal…
We introduce a new logic that combines Adjoint Logic with Graded Necessity Modalities. This results in a very expressive system capable of controlling when and how structural rules are used. We give a sequent calculus, natural deduction,…
We call an operator algebra A {\em reversible} if A with reversed multiplication is also an abstract operator algebra (in the modern operator space sense). This class of operator algebras is intimately related to the {\em symmetric operator…
Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the…
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational databases, object-oriented databases, and tagged XML documents to be…
The present text surveys some relevant situations and results where basic Module Theory interacts with computational aspects of operator algebras. We tried to keep a balance between constructive and algebraic aspects.
Courant algebroids are a natural generalization of quadratic Lie algebras, appearing in various contexts in mathematical physics. A connection on a Courant algebroid gives an analogue of a covariant derivative compatible with a given…