Related papers: On Heyting algebras with negative tense operators

Let $H$ be a Hopf algebra. In this paper, we study a class of $H$-operators on $H$-pseudoalgebras, which resemble the Rota-Baxter $H$-operator, and they are called Rota-Baxter type $H$-operators. We firstly present some basic properties and…

This text gives a construction of a differential graded Lie algebra in Nori's category of effective homological motives. In fact the construction works in more a general setting than that of an Abelian category. This allows us to give the…

We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are…

We prove that a sequence $h$ of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property if and only if it is an SI-sequence. This generalizes the result by T. Harima which…

For any $n<\omega$ we construct an infinite Heyting algebra $H_n$ which is $(n+1)$-generated but that contains only finite $n$-generated subalgebras. From this we conclude that for every $n<\omega$ there exists a variety of Heyting algebras…

We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step…

A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. In this paper, we introduce a strongly homotopy version of hom-associative algebras ($HA_\infty$-algebras in short) on a graded vector space.…

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

We study the action of the inertia operator on the motivic Hall algebra, and prove that it is diagonalizable. This leads to a filtration of the Hall algebra, whose associated graded algebra is commutative. In particular, the degree 1…

We give a presentation of localized affine and degenerate affine Hecke algebras of arbitrary type in terms of weights of the polynomial subalgebra and varied Demazure-BGG type operators. We offer a definition of a graded algebra…

Hom-algebras over a PROP are defined and studied. Several twisting constructions for Hom-algebras over a large class of PROPs are proved, generalizing many such results in the literature. Partial classification of Hom-algebras over a PROP…

Let H_T=C[T,T^{-1}] be the Hopf algebra of symmetries of a lattice of rank 1, or equivalently, H_T is the group algebra of a free Abelian group with one generator T. We construct conformal algebras, vertex Poisson algebras and vertex…

Using classical double G of a Lie algebra g equipped with a classical R-operator we define two sets of mutually commuting functions with respect to the initial Lie-Poisson bracket on g* and its extensions. We consider in details examples of…

We introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and…

Hom-Lie algebras are generalizations of Lie algebras that arise naturally in the study of nonassociative algebraic structures. In this paper, the concepts of solvable and nilpotent Hom-Lie algebras studied further. In the theory of groups,…

A class of well-behaved *-representations of a q-deformed Heisenberg algebra is studied and classified.

This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par) propositions, the class of propositions with No Nested…

We introduce the notion of weakly associative algebra and its relations with the notion of nonassociative Poisson algebras.

Two-dimensional real hyporeductive triple algebras (h.t.a.) are investigated. A classification of such algebras is presented. As a consequence, a classification of two-dimensional real Lie triple algebras (i.e. generalized Lie triple…

Hom-algebras are generalizations of algebras obtained using a twisting by a linear map. But there is a priori a freedom on where to twist. We enumerate here all the possible choices in the Lie and associative categories and study the…