Related papers: Reflexive combinatory algebras

Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…

We consider an evolution algebra which corresponds to a bisexual population with a set of females partitioned into finitely many different types and the males having only one type. We study basic properties of the algebra. This algebra is…

We establish a bialgebra theory for anti-flexible algebras in this paper. We introduce the notion of an anti-flexible bialgebra which is equivalent to a Manin triple of anti-flexible algebras. The study of a special case of anti-flexible…

For associative commutative algebras $A$ with Rota-Baxter operator $R$ identities of the algebra $AR=(A,\circ)$, where $a\circ b= aR(b),$ are found.

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras…

It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the…

We introduce a relaxation of the notion of tensor rank, called s-rank, and show that upper bounds on the s-rank of the matrix multiplication tensor imply upper bounds on the ordinary rank. In particular, if the "s-rank exponent of matrix…

This is a continuation of our "Lecture on Kac--Moody Lie algebras of the arithmetic type" \cite{25}. We consider hyperbolic (i.e. signature $(n,1)$) integral symmetric bilinear form $S:M\times M \to {\Bbb Z}$ (i.e. hyperbolic lattice),…

The algebras for all possible Lorentzian and Euclidean kinematics with $\frak{so}(3)$ isotropy except static ones are re-classified. The geometries for algebras are presented by contraction approach. The relations among the geometries are…

We introduce a new class of symmetric algebras, which we call hybrid algebras. This class contains on one extreme Brauer graph algebras, and on the other extreme general weighted surface algebras. We show that hybrid algebras are precisely…

Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic…

We introduce the notion of Leibniz conformal bialgebras, presenting a bialgebra theory for Leibniz conformal algebras as well as the conformal analogues of Leibniz bialgebras. They are equivalently characterized in terms of matched pairs…

This essay advocates the view that any problem that has a meaningful empirical content, can be formulated in constructive, more definitely, finite terms. We consider combinatorial models of dynamical systems and approaches to statistical…

In this report, we introduce observation algebras, constructed by considering the downclosed subsets of a coherence space ordered by reverse inclusion. These may be interpreted as specifications of sets of events via some predicates with…

In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the…

We consider the reflection equation algebra for a finite dimensional R-matrix for the $(h,w)$-deformed Heisenberg algebra ${\cal U}_{h,w}(h(4))$. A representation of the reflection matrix $K$ is constructed using the matrix generators…

The correspondence between the braid group on a solid torus of arbitrary genus and the algebra of Yang-Baxter and reflection equation operators is shown. A representation of this braid group in terms of $R$-matrices is given. The…

$\tau$-tilting theory can be thought of as a generalization of the classical tilting theory which allows mutations at any indecomposable summand of a support $\tau$-tilting pair. Indeed, for any algebra $\Lambda$ its tilting modules…

This paper presents State Algebra, a novel framework designed to represent and manipulate propositional logic using algebraic methods. The framework is structured as a hierarchy of three representations: Set, Coordinate, and Row…