Related papers: Generalization of terms via universal algebra
Given a partially ordered set $P$ there exists the most general Boolean algebra $F(P)$ which contains $P$ as a generating set, called the {\it free Boolean algebra} over $P$. We study free Boolean algebras over posets of the form $P=P_0\cup…
Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…
We develop a generalised gauge theory in which the role of gauge group is played by a coalgebra and the role of principal bundle by an algebra. The theory provides a unifying point of view which includes quantum group gauge theory,…
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
In this paper we introduce the notion of generalized Lie algebroid and we develop a new formalism necessary to obtain a new solution for the Weistein's Problem. Many applications emphasize the importance and the utility of this new…
The algebraic geometry of a universal algebra $\mathbf{A}$ is defined as the collection of solution sets of term equations. Two algebras $\mathbf{A}_1$ and $\mathbf{A}_2$ are called algebraically equivalent if they have the same algebraic…
Generalized Functions play a central role in the understanding of differential equations containing singularities and nonlinearities. Introducing infinitesimals and infinities to deal with these obstructions leads to controversies…
Let $A$ be a $W$-algebra over a field $F$ of characteristic zero, where $W$ is any $F$-algebra. We first develop a comprehensive theory of generalized identities independent of the algebraic structure of $W$, using the multiplier algebra of…
We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It…
We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. We introduce algebras with fuzzy orders which consist of sets of functions which are compatible with particular binary fuzzy relations called fuzzy…
In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same…
We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…
We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a…
Various concepts associated with quadratic algebras admit natural generalizations when the quadratic algebras are replaced by graded algebras which are finitely generated in degree 1 with homogeneous relations of degree N. Such algebras are…
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras…
Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts,…
In this thesis we develop the foundations for a theory of analytic geometry over a valued field, uniformly encompassing the case when the base field is equipped with a non-archimedean valuation and the case when it has an archimedean one.…
There is considerable current interest in applications of generalised Lie algebras graded by an abelian group $\Gamma$ with a commutative factor $\omega$. This calls for a systematic development of the theory of such algebraic structures.…
Geiss, Leclerc and Schr\"oer introduced a class of 1-Iwanaga-Gorenstein algebras $H$ associated to symmetrizable Cartan matrices with acyclic orientations, generalizing the path algebras of acyclic quivers. They also proved that…
The non-relativistic versions of the generalized Poincar\'{e} algebras and generalized $AdS$-Lorentz algebras are obtained. This non-relativistic algebras are called, generalized Galilean algebras type I and type II and denoted by…