Following work of Pa lasińska and Pigozzi on partially ordered varieties and quasi-varieties of universal algebras, the author recently introduced partially ordered systems (posystems) and partially ordered functors (pofunctors) to cover the case of the algebraic systems arising in categorical abstract algebraic logic. Analogs of the ordered homomorphism theorems of universal algebra were shown...

We introduce and study term functions over fuzzy hyperalgebras. We start from this idea that the set of nonzero fuzzy subsets of a fuzzy hyperalgebra can be organized naturally as a universal algebra, and constructing the term functions over this algebra. We present the form of generated subfuzzy hyperalgebra of a given fuzzy hyperalgebra as a generalization of universal algebras and multialgeb...

We introduce strong Morita equivalence for inverse semigroups. This notion encompasses Mark Lawson’s concept of enlargement. Strongly Morita equivalent inverse semigroups have Morita equivalent universal groupoids in the sense of Paterson and hence strongly Morita equivalent universal and reduced C∗-algebras. As a consequence we obtain a new proof of a result of Khoshkam and Skandalis showing t...

The above theorems are valid for a representation of a Lie group also. In this case, it is shown that it is possible to extend the representation to elliptic elements of the universal enveloping algebra. It is also shown that the representatives of the strongly elliptic elements of the universal enveloping algebra are the infinitesimal generators of holomorphic semi-groups. Integral representat...

Every group is isomorphic to the automorphism group of a Kripke structure with Boolean part equal to a power set Boolean algebra. More generally, we prove that the category of Kripke structures with Boolean part equal to a power set Boolean algebra and morphisms with complete Boolean part is alg-universal, which means that it contains any category of universal algebras as a full subcategory.

In quantum groups coproducts of Lie-algebras are twisted in terms of generators of the corresponding universal enveloping algebra. If representations are considered, twists also serve as starproducts that accordingly quantize representation spaces. In physics, requirements turn out to be the other way around. Physics comes up with noncommutative spaces in terms of starproducts that miss a suiti...

The Calabi-Yau property of cocommutative Hopf algebras is discussed by using the homological integral, a recently introduced tool for studying infinite dimensional AS-Gorenstein Hopf algebras. It is shown that the skew-group algebra of a universal enveloping algebra of a finite dimensional Lie algebra g with a finite subgroup G of automorphisms of g is Calabi-Yau if and only if the universal en...

In this chapter we provide an overview of the main techniques for processing qualitative temporal constraints. We survey a collection of algorithms for solving fundamental reasoning problems in the context of Allen’s Interval Algebra, Vilain and Kautz’s Point Algebra, and of other tractable and intractable classes of temporal relations. These problems include determining the satisfiability of a...

We present several embedding results for 3-graded Lie algebras and KKT algebras that are generated by two homogeneous elements of degrees 1 and −1. We also propose the canonical kernel function for a “universal Bergman kernel” which extends the usual Bergman kernel on a bounded symmetric domain to a group-valued function or, in terms of formal series, to an element in the formal completion of t...

This paper introduces a new method in the study of representations of groups into affine algebraic groups. In this work we focus on the study of SLnrepresentations and postpone the consideration of the theory in full to future papers. Let G be a group and let R be a commutative ring with unity. There is a commutative R-algebra Repn(G), called the universal representation algebra, and the univer...