Related papers: Schanuel's Lemma for Exact categories
We use the language and tools available in model theory to redefine and clarify the rather involved notion of a {\em special subvariety} known from the theory of Shimura varieties (mixed and pure).
We consider Takahashi's categorical interpretation of the Berglund-Hubsch mirror symmetry conjecture for invertible polynomials in the case of chain polynomials. Our strategy is based on a stronger claim that the relevant categories satisfy…
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.
Inspired by the recent work of Henrard, Kvamme and van Roosmalen [17], we prove a categorified version of higher Auslander correspondence in the context of exact categories. We define n-Auslander exact categories and show that there is a…
Motivated by the study of persistence modules over the real line, we investigate the category of linear representations of a totally ordered set. We show that this category is locally coherent and we classify the indecomposable injective…
In this paper we give a model for equivariant $(\infty, 1)$-categories. We modify an approach of Shimakawa for equivariant $\Gamma$-spaces to the setting of simplicial spaces. We then adapt Rezk's Segal and completeness conditions to fit…
We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…
We develop the basic theory of covers and envelopes in proto-exact categories. As an application, we prove the existence of enough injectives for categories of Banach modules over arbitrary Banach rings.
The Auslander correspondence is a fundamental result in Auslander-Reiten theory. In this paper we introduce the category $\operatorname{mod_{\mathsf{adm}}}(\mathcal{E})$ of admissibly finitely presented functors and use it to give a version…
Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.
We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a type theory whose terms describe the operations of such structures, and whose definitional equality relation enforces…
In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…
In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical K\"unneth formula. Motivated to extend their results to…
We prove that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…
In his 1973 paper Quillen proved a resolution theorem for the K-Theory of an exact category; his proof was homotopic in nature. By using the main result of a paper by Nenashev, we are able to give an algebraic proof of Quillen's Resolution…
Given a homological epimorphism $\pi:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity…
In this note we prove an explicit binomial formula for Jack polynomials and discuss some applications of it.
We show how to obtain recollements of triangulated categories using the theory of exact model structures. After noting how the theory relates to well-known notions in the simplest case of Frobenius categories, we apply these ideas to…
The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…