The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “How to make many-sorted algebras one-sorted”

Generalization of the concept of variety and quasivariety to partial algebras through category theory

H. Andréka, I. Németi

Similarity:

CONTENTSIntroduction ................................................................................................5§1. The purely category theoretical version of Birkhoff's theorem................7§2. Category theoretical study of generalized identities............................19§3. Generalized identities in partial algebras.............................................29§4. Calculus...............................................................................................41§5....

Ext-algebras and derived equivalences

Dag Madsen (2006)

Colloquium Mathematicae

Similarity:

Using derived categories, we develop an alternative approach to defining Koszulness for positively graded algebras where the degree zero part is not necessarily semisimple.

Morphisms in the category of finite-dimensional absolute valued algebras

Seidon Alsaody (2011)

Colloquium Mathematicae

Similarity:

This is a study of morphisms in the category of finite-dimensional absolute valued algebras whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two-dimensional algebras. We then give an account of the reducibility of the morphisms, and for...