Related papers: A Lie-algebraic perspective on Tree-Adjoining Gram…
This paper introduces a greedy parser based on neural networks, which leverages a new compositional sub-tree representation. The greedy parser and the compositional procedure are jointly trained, and tightly depends on each-other. The…
We discuss how to represent the non-associative octonionic structure in terms of the associative matrix algebra using the left and right octonionic operators. As an example we construct explicitly some Lie and Super Lie algebra. Then we…
We show how various constructions of $\mathbb{Z}$-graded Lie superalgebras are related to each other. These Lie superalgebras have a Lie algebra $\mathfrak{g}$ as the subalgebra at degree 0, an odd $\mathfrak{g}$-module V as the subspace at…
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract…
We extend the concepts of the associator and commutator from algebras with a binary multiplication law to algebras with a ternary multiplication law using cube roots of unity. By analogy with the Jacobi identity for the binary commutator,…
The main purpose of this work is to develop the basic notions of the Lie theory for commutative algebras. We introduce a class of $\mathbbZ_2$-graded commutative but not associative algebras that we call ``Lie antialgebras''. These algebras…
It is known that there are Lie algebras with non-semigroup gradings, i.e. such that the binary operation on the grading set is not associative. We provide a similar example in the class of associative algebras.
We introduce the class of graded Lie-Rinehart algebras as a natural generalization of the one of graded Lie algebras. For $G$ an abelian group, we show that if $L$ is a tight $G$-graded Lie-Rinehart algebra over an associative and…
In this paper we study the categories of braided categorical associative algebras and braided crossed modules of associative algebras and we relate these structures with the categories of braided categorical Lie algebras and braided crossed…
Let $\mathfrak{a},\mathfrak{b},\mathfrak{e}$ be algebras over a field $k$. Then $\mathfrak{e}$ is an extension of $\mathfrak{a}$ by $\mathfrak{b}$ if $\mathfrak{a}$ is an ideal of $\mathfrak{e}$ and $\mathfrak{b}$ is isomorphic to the…
The main purpose of these lecture notes is to provide a concise introduction to Lie groups, Lie algebras, and isometric and adjoint actions, aiming mostly at advanced undergraduate and graduate students. In addition, the connection between…
We introduce a concept, $d$-complete, and show that a Lie algebra is $d$-complete if and only if its full graph is complete.
Although conceptualization has been widely studied in semantics and knowledge representation, it is still challenging to find the most accurate concept phrases to characterize the main idea of a text snippet on the fast-growing social…
A coassociative Lie algebra is a Lie algebra equipped with a coassociative coalgebra structure satisfying a compatibility condition. The enveloping algebra of a coassociative Lie algebra can be viewed as a coalgebraic deformation of the…
Although they exist since more than ten years already, have attracted diverse implementations, and have been used successfully in a significant number of applications, declarative mapping languages for constructing knowledge graphs from…
The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and…
We study non-selfadjoint representations of a finite dimensional real Lie algebra $\fg$. To this end we embed a non-selfadjoint representation of $\fg$ into a more complicated structure, that we call a $\fg$-operator vessel and that is…
An aggregative composition is a binary operation obeying the principle that the whole is determined by the sum of its parts. The development of graph algebras, on which the theory of formal graph languages is built, relies on aggregative…
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
In this paper, we extend the concept of Lie superalgebras to a more generalized framework called Super-Lie superalgebras. In addition, they seem to be exploring various supergeneralizations of other algebraic structures, such as…