Related papers: Categoricity for transfinite extensions of modules
We prove a K\"unneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p > 0$ for various coefficients, including finite discrete rings, algebraic field extensions $E \supset…
We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…
We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…
Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent…
We give an intrinsic characterization of the closure under shifts $\widehat{\cal A}$ of a given strictly unital $A_\infty$-category ${\cal A}$. We study some arithmetical properties of its higher operations and special conflations in the…
We show that any directed colimit of acessible categories and accessible full embeddings is accessible and, assuming the existence of arbitrarily large strongly compact cardinals, any directed colimit of acessible categories and accessible…
We classify indecomposable pure injective modules over domestic string algebras, verifying Ringel's conjecture on the structure of such modules.
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…
The manuscript at hand systematically studies K\"unneth formulas at a categorical level. We give criteria for an abstract six functor formalism to satisfy the categorical K\"unneth formula, and use this to formulate conjectures for…
Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…
In this paper we study the category of graded modules for the current algebra associated to $\mathfrak{sl}_2$. The category enjoys many nice properties, including a tilting theory which was established in previous work of the authors. We…
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…
We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical…
In this paper, we give a complete classification of extensions of finite irreducible conformal modules over rank two Lie conformal algebras.
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
We construct continuous Frobenius categories of type $D$. The stable categories of these Frobenius categories are cluster categories which contain the standard cluster categories of type $D_n$. When $n=\infty$, maximal compatible sets of…
We continue the research of an extension $\widetilde{\mid}$ of the divisibility relation to the Stone-\v Cech compactification $\beta N$. First we prove that ultrafilters we call prime actually possess the algebraic property of primality.…
A categoricity theorem is established for patterns of resemblance of order 2 showing that the order in which patterns arise in a wide range of hierarchies is the same.
We establish connections between silting and tilting objects in an abelian category $\mathcal{B}$ and those in a cleft extension $\mathcal{A}$ of $\mathcal{B}$, which provides a method for constructing more silting and tilting objects. Then…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…