Related papers: Universal Algebra in UniMath
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathematical models in software, we introduce GATlab, a…
We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a…
$W$-algebras are certain algebraic structures associated to a finite dimensional Lie algebra $\mathfrak g$ and a nilpotent element $f$ via Hamiltonian reduction. In this note we give a review of a recent approach to the study of (classical…
Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…
Standard combinatorial construction, due to Kontsevich, associates to any $\ai$-algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We propose an…
We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…
Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…
We compare two known methods of extending a complex, unital, commutative normed algebra so as to include solutions to sets of monic polynomials over the original algebra. (One of these is a generalisation of a construction from the thesis…
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
We give a short introduction to generalized vertex algebras, using the notion of polylocal fields. We construct a generalized vertex algebra associated to a vector space h with a symmetric bilinear form. It contains as subalgebras all…
We introduce the marked Brauer algebra and the marked Brauer category. These generalize the analogous constructions for the ordinary Brauer algebra to the setting of a homogeneous bilinear form on a $\mathbb{Z}_2$-graded vector space. We…
In this paper we continue our investigation of signatures of hermitian forms over Azumaya algebras with involution over commutative rings. We show that the approach used in an earlier paper for central simple algebras can be extended to…
We classify all the pairs of a commutative associative algebra with an identity element and its finite-dimensional commutative locally-finite derivation subalgebra such that the commutative associative algebra is derivation-simple with…
The universal $2$-parameter vertex algebra $W_{\infty}$ of type $W(2,3,4,\dots)$ serves as a classifying object for vertex algebras of type $W(2,3,\dots,N)$ for some $N$ in the sense that under mild hypothesis, all such vertex algebras…
We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…
Standard formulation is unable to distinguish between the (+++-) and (---+) spacetime metric signatures. However, the Clifford algebras associated with each are inequivalent, R(4) in the first case (real 4 by 4 matrices), H(2) in the latter…
In 1990 Kantor defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative,…
For any L-infinity algebra L, we construct an A-infinity structure on the space of symmetric tensors Sym*(L), which generalizes the classical universal enveloping for Lie algebras. Our construction is based on an invariant homotopy on a…