Related papers: Categoricity of abstract classes with amalgamation

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on…

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

Let $\mathbb{K}$ be an infinite field. We prove that if a variety of anti-commutative $\mathbb{K}$-algebras - not necessarily associative, where $xx=0$ is an identity - is locally algebraically cartesian closed, then it must be a variety of…

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

A class of C*-algebras is described for which the homomorphism from $C_0(0,1]$ to the algebra may be classified by means of the Cuntz semigroup functor. Examples are given of algebras--simple and non-simple--for which this classification…

We consider a generalization $K_0^{\operatorname{gr}}(R)$ of the standard Grothendieck group $K_0(R)$ of a graded ring $R$ with involution. If $\Gamma$ is an abelian group, we show that $K_0^{\operatorname{gr}}$ completely classifies graded…

In the framework of graphs, we study abstract elementary classes (aecs). In this work we analyze several properties of Forb(G) and versions of Forb-Con(G) in the context of aecs and we present some examples of classes of graphs which…

We prove explit formulas for the decomposition of a differential graded Lie algebra into a minimal and a linear $L_\infty$-algebra. We define a category of metric $L_\infty$-algebras, called Palamodov $L_\infty$ algebras, where the…

We relate two conjectures which have been raised for classification of Leavitt path algebras. For purely infinite simple unital Leavitt path algebras, it is conjectured that K_0 classifies them completely. For arbitrary Leavitt path…

Quantum $L_\infty$ algebras are higher loop generalizations of cyclic $L_\infty$ algebras. Motivated by the problem of defining morphisms between such algebras, we construct a linear category of $(-1)$-shifted symplectic vector spaces and…

The Kumjian-Pask algebra KP(\Lambda) is a graded algebra associated to a higher-rank graph \Lambda and is a generalization of the Leavitt path algebra of a directed graph. We analyze the minimal left-ideals of KP(\Lambda), and identify its…

Let $K$ and $L$ be algebraic extensions of the rational numbers inside the field of complex numbers. An $L$-de Rham-Betti class on a smooth projective variety $X$ over $K$ is a class in the Betti cohomology with $L$-coefficients of the…

Characteristic classes of Schubert varieties can be used to study the geometry and the combinatorics of homogeneous spaces. We prove a relation between elliptic classes of Schubert varieties on a generalized full flag variety and those on…

This paper is an attempt to show that, parallel to Elliott's classification of AF $C^*$-algebras by means of $K$-theory, the graded $K_0$-group classifies Leavitt path algebras completely. In this direction, we prove this claim at two…

It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal…

We construct a family of purely infinite $C^*$-algebras, $\mathcal{Q}^\lambda$ for $\lambda\in (0,1)$ that are classified by their $K$-groups. There is an action of the circle $\T$ with a unique ${\rm KMS}$ state $\psi$ on each…

In this paper we examine the task set forth by Shelah and Villaveces in \cite{ShVi} of proving the uniqueness of limit models of cardinality $\mu$ in $\lambda$-categorical abstract elementary classes with no maximal models, where $\lambda$…

We show that the category O for a rational Cherednik algebra of type A is equivalent to modules over a q-Schur algebra (parameter not a half integer), providing thus character formulas for simple modules. We give some generalization to…

For a $(-1)$-shifted Lagrangian in a critical locus, we construct a homomorphism from the $K$-group of matrix factorisations of the critical locus to the $K$-group of the Lagrangian, partially answering the Joyce-Safronov conjecture. The…