Related papers: Categoricity of abstract classes with amalgamation

The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…

We show that a monomial algebra $\Lambda$ over an algebraically closed field $K$ is self-injective if and only if each map $\mathrm{soc}(_{\Lambda}\Lambda)\to \ _{\Lambda}\Lambda$ can be extended to an endomorphism of $_{\Lambda}\Lambda$,…

Let ${\bf K}$ be an $\mathrm{LS}({\bf K})$-short abstract elementary class and assume more than the existence of a monster model (amalgamation over sets and arbitrarily large models). Suppose ${\bf K}$ is categorical in some…

Given an exact symplectic manifold M and a support Lagrangian \Lambda, we construct an infinity-category Lag, which we conjecture to be equivalent (after specialization of the coefficients) to the partially wrapped Fukaya category of M…

Let $\Lambda$ be the set of partitions of length $\geq 0$. We introduce an $\mathbb{N}$-graded algebra $\mathbb{A}_q^d(\Lambda)$ associated to $\Lambda$, which can be viewed as a quantization of the algebra of partitions defined by Reineke.…

Let $S$ be a minimal compact complex surface with Betti numbers $b_1(S)=1$ and $b_2(S)\ge 1$ i.e. a compact surface in class VII$_0^+$. We show that if there exists a twisted logarithmic 1-form $\tau\in H^0(S,\Omega^1(\log D)\otimes…

In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…

We show how to build primes models in classes of saturated models of abstract elementary classes (AECs) having a well-behaved independence relation: $\mathbf{Theorem.}$ Let $K$ be an almost fully good AEC that is categorical in $\text{LS}…

We prove that if a level set of a degree $n$ general inverse $\sigma_k$ equation $f(\lambda_1, \cdots, \lambda_n) = \lambda_1 \cdots \lambda_n - \sum_{k = 0}^{n-1} c_k \sigma_k(\lambda) = 0$ is contained in $q + \Gamma_n$ for some $q \in…

We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs)…

Let A be a cogroup in the category of connected graded algebras over a commutative ring R. Let nu denote the inverse of A and chi the antipode of the underlying Hopf algebra of A. We clarify the differences and similarities of nu and chi,…

Scissors congruence groups have traditionally been expressed algebraically in terms of group homology. We give an alternate construction of these groups by producing them as the $0$-level in the algebraic $K$-theory of a Waldhausen…

This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the…

Let Gamma be a lattice in a simply-connected solvable Lie group. We construct a Q-defined algebraic group A such that the abstract commensurator of Gamma is isomorphic to A(Q) and Aut(Gamma) is commensurable with A(Z). Our proof uses the…

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…

Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the…

We establish a formula for the classes of certain tori in the Grothendieck ring of varieties, in terms of its lambda-structure. More explicitly, we will see that if L* is the torus of invertible elements in the n-dimensional separable…

Problem 5.1 in page 181 of [Fuc15] asks to find the cardinals $\lambda$ such that there is a universal abelian $p$-group for purity of cardinality $\lambda$, i.e., an abelian $p$-group $U_\lambda$ of cardinality $\lambda$ such that every…