Related papers: Algebraic Tensor Products Revisited: Axiomatic App…
This document aims to give a self-contained account of the parts of abelian group theory that are most relevant for algebraic topology. It is almost purely expository, although there are some slightly unusual features in the treatment of…
We study the algebra of bilinear multiplications of an $n$-dimensional vector space. In particular, we study the Kantor product of some well-known (associative, Lie, alternative, Novikov and some other) multiplications.
We introduce a common generalization of the L-R-smash product and twisted tensor product of algebras, under the name L-R-twisted tensor product of algebras. We investigate some properties of this new construction, for instance we prove a…
Consistent tensor products on auxiliary spaces, hereafter denoted "fusion procedures", are defined for general quadratic algebras, non-dynamical and dynamical, inspired by results on reflection algebras. Applications of these procedures…
We consider tensor grammars, which are an example of \commutative" grammars, based on the classical (rather than intuitionistic) linear logic. They can be seen as a surface representation of abstract categorial grammars ACG in the sense…
The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids…
Let $\mathcal{S}$ be a small category admitting binary products. We show that the whole theory of monoidal $\mathcal{S}$-fibered categories, which is customarily formulated in terms of the usual internal tensor product, can be rephrased…
We study a tensor product in the category of effect algebras and in the category of partially ordered Abelian groups with order unit. We show that the tensor product preserves all the constructions that are essentially colimits over a…
This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…
A translational surface is a tensor product surface constructed from two space curves by translating one along the other. These surfaces are common within geometric modeling and, since their description is parametric, it is desirable to…
An algebraic representation of the Turing machines is given, where the configurations of Turing machines are represented by 4 order tensors, and the transition functions by 8 order tensors. Two types of tensor product are defined, one is to…
Module is effective representation of ring in Abelian group. Linear map of module over commutative ring is morphism of corresponding representation. This definition is the main subject of the book. To consider this definition from more…
Forming the product of two geometric spaces is one of the most basic operations in geometry, but in the spectral-triple formulation of non-commutative geometry, the standard prescription for taking the product of two real spectral triples…
The $\star_M$-family of tensor-tensor products is a framework which generalizes many properties from linear algebra to third order tensors. Here, we investigate positive semidefiniteness and semidefinite programming under the…
The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal…
In this paper, we introduce product interactions, an algebraic formalism in which neural network layers are constructed from compositions of a multiplication operator defined over suitable algebras. Product interactions provide a principled…
Let V be the representation of the quantised enveloping algebra of a general linear group which is the q-analogue of the vector representation. In this paper we construct a basis of the representations obtained by tensoring copies of V and…
In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda…
Canonical forms are central to the analytical understanding of tensor network states, underpinning key results such as the complete classification of one-dimensional symmetry-protected topological phases within the matrix product state…
Given a partial action \alpha of a group G on an associative algebra A we consider the crossed product A x_\alpha G. Using the algebras of multipliers of ideals of A we prove that A x_\alpha G is associative, provided that all ideals of A…