Abstract:Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}\Lambda$, the category of finitely generated right $\Lambda$-modules. We associate to $\mathcal{X}$ the subcategory $\mathcal{S}_{\mathcal{X}}(\Lambda)$ of the morphism category $\rm{H}(\Lambda)$ consisting of all monomorphisms $(A\stackrel{f}\rightarrow B)$ with $A, B$ and $\rm{Cok} \ f$ in $\mathcal{\mathcal{X}}$. Since $\mathcal{S}_{\mathcal{X}}(\Lambda)$ is closed under extensions then it inherits naturally an exact structure from $\rm{H}(\Lambda)$. We will define two other different exact structures else than the canonical one on $\mathcal{S}_{\mathcal{X}}(\Lambda)$, and the indecomposable projective (resp. injective) objects in the corresponding exact categories completely classified. Enhancing $\mathcal{S}_{\mathcal{X}}(\Lambda)$ with the new exact structure provides a framework to construct a triangle functor. Let $\rm{mod}\mbox{-}\underline{\mathcal{X}}$ denote the category of finitely presented functors over the stable category $\underline{\mathcal{X}}$. We then use the triangle functor to show a triangle equivalence between the bounded derived category $\mathbb{D}^{\rm{b}}(\rm{mod}\mbox{-}\underline{\mathcal{X}})$ and a Verdier quotient of the bounded derived category of the associated exact category on $\mathcal{S}_{\mathcal{X}}(\Lambda)$. Similar consideration is also given for the singularity category of $\rm{mod}\mbox{-}\underline{\mathcal{X}}$.

Category-Theoretic Reconstruction of Schemes from Categories of Reduced Schemes

Category-theoretic Reconstruction of Log Schemes from Categories of Reduced fs Log Schemes

Reconstruction of schemes from their étale topoi

Reconstruction of module categories in the infinite and non-rigid settings

Closed subcategories of quotient categories

Reconstruction from Koszul homology and applications to module and derived categories

Schemes of Finite Expansion and Universally Closed Curves

Derived categories of Quot schemes of locally free quotients

Homotopy theory of schemes and $R$-equivalence

Reconstruction of a surface from the category of reflexive sheaves

Di-Exact Categories and Lattices of Normal Subobjects

Finite Spaces and Schemes

Recovering the relative poset structure of a covering of schemes using glued topoi

Categorical resolutions of filtered schemes

Colocalizing subcategories on schemes

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Categorical Realizability for Non-symmetric Closed Structures

Different exact structures on the monomorphism categories

Reconstruction of projective curves from the derived category

Constructing monoidal structures on fibered categories via factorizations

On Simplicial Principal Bundles in Descent Categories