Related papers: Exact dg categories II : The embedding theorem
Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$…
We show a cotorsion pair cogenerated by a class is complete under suitable conditions in an arbitrary exact category using the generalized small object argument given by Chorny. This recovers Saor\'in and \v{S}\v{t}ov\'{i}\v{c}ek's…
This paper is the first part of a series that investigates the existence of $n$-exact structures on idempotent complete additive categories for positive integers $n$. It is shown that every idempotent complete additive category has a unique…
We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives,…
Let $\Lambda$ be a finite dimensional algebra. Let $\mathcal C$ be a functorially finite exact subcategory of $\Lambda$-mod with enough projective and injective objects and $\mathcal S (\mathcal C)$ be its monomorphism category. It turns…
Given a complete hereditary cotorsion pair $(\mathcal{A},\mathcal{B})$ in a Grothendieck category $\mathcal{G}$, the derived category $\mathcal{D}(\mathcal{B})$ of the exact category $\mathcal{B}$ is defined as the quotient of the category…
We study Ginzburg dg algebras which appear at the intersection of representation theory and symplectic topology. First, we provide a collection of proper modules that generates all proper modules over a Ginzburg dg algebra, without assuming…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
Recollements were introduced originally by Beilinson, Bernstein and Deligne to study the derived categories of perverse sheaves, and nowadays become very powerful in understanding relationship among three algebraic, geometric or topological…
In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…
Using generalized enriched categories, in this paper we show that Rosick\'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over…
We study categories of dualizable torsion and complete objects for compactly-rigidly generated tensor-triangulated categories T with a Noetherian central action of a graded commutative Noetherian ring R. We show that they always admit a…
In this paper, we study ideal approximation theory associated to almost $n$-exact structures in extension closed subcategories of $n$-angulated categories. For $n=3$, an $n$-angulated category is nothing but a classical triangulated…
This paper develops a theory of pretriangulated 2-representations of dg 2-categories. We characterize cyclic pretriangulated 2-representations, under certain compactness assumptions, in terms of dg modules over dg algebra 1-morphisms…
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)…
We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.
We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories…
We prove that, for a proper connective dg algebra $A$ with cohomology concentrated in degrees between $1-d$ and $0$, the extended heart $\mathcal{D}^{fd}(A)^{(-d,0]}\subseteq \mathcal{D}^{fd}(A)$ is an extriangulated category with…
We introduce perfect tangles for modular tensor categories. These are intended to generalise the perfect tensors first introduced in the context of a toy model for the AdS/CFT correspondence. We construct perfect tangles for several…
We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…