Related papers: Presentations of algebras in chain complexes
A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called…
We obtain a duality between certain category of finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are essentialy sheaves of MTL-chains over Alexandrov spaces.…
This is the compendium of the cluster algebra and quiver package for sage. The purpose of this package is to provide a platform to work with cluster algebras in graduate courses and to further develop the theory by working on examples, by…
General concept of ternary algebras is introduced in this article, along with several examples of its realization. Universal envelope of such algebras is defined, as well as the concept of tri-modules over ternary algebras. The universal…
The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category…
Many structured categories of interest are most naturally described as algebras for a relative monad, but turn out nonetheless to be algebras for an ordinary monad. We show that, under suitable hypotheses, the left oplax Kan extension of a…
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…
This is a survey article for "Handbook of Linear Algebra", 2nd ed., Chapman & Hall/CRC, 2014. An informal introduction to representations of quivers and finite dimensional algebras from a linear algebraist's point of view is given. The…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
The cluster category is a triangulated category introduced for its combinatorial similarities with cluster algebras. We prove that a cluster algebra A of finite type can be realized as a Hall algebra, called the exceptional Hall algebra, of…
In this paper we define a sequence of monads $\mathbb{T}^(\infty;n)$ $(n\in\mathbb{N})$ on $\infty$-$\mathbb{G}\text{r}$, the category of the $\infty$-graphs. We conjecture that algebras for $\mathbb{T}^(0;n)$ which are defined in a purely…
This thesis studies arithmetic of linear algebraic groups. It involves studying the properties of linear algebraic groups defined over global fields, local fields and finite fields, or more generally the study of the linear algebraic groups…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
In this paper we look into the structure of finite-dimensional graded superalgebras of various types such as associative, Lie and Jordan over an algebraically closed field of characteristic zero.
We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.
The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.
We describe the graded isomorphisms of rings of endomorphisms of graded flags over graded division algebras. As a consequence describe the isomorphism classes of upper block triangular matrix algebras (over an algebraically closed field of…
In this paper, we use the language of monads, comonads and Eilenberg-Moore categories to describe a categorical framework for $A_\infty$-algebras and $A_\infty$-coalgebras, as well as $A_\infty$-modules and $A_\infty$-comodules over them…
In this article we show how to build main aspects of our paper on globular weak $(\infty,n)$-categories, but now for the cubical geometry. Thus we define a monad on the category $\mathbb{C}\mathbb{S}ets$ of cubical sets which algebras are…
Over the topos of sets, the notion of Lawvere theory is infinite countably-sorted algebraic but not one-sorted algebraic. Shifting viewpoint over the object-classifier topos, a finite algebraic presentation of Lawvere theories is…