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}}$.

Abstract Kleisli structures on 2-categories

On categories with arbitrary 2-cell structures

Monoidal algebraic model structures

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads

Tricategorical Universal Properties Via Enriched Homotopy Theory

A monadicity theorem for higher algebraic structures

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

Interacting Monoidal Structures with Applications in Computing

Monoidal supercategories

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Logical Structure on Inverse Functor Categories

On Kleisli liftings and decorated trace semantics

Abstract Orientable Incidence Structure and Algorithms for Finite Bounded Acyclic Categories. II. Data Structure and Fundamental Operations

Generalization of formal monad theory to lax functors

Abstract sectional category in model structures on topological spaces

Model Structures on the Category of Small Double Categories

Extended Stone Duality via Monoidal Adjunctions

Different exact structures on the monomorphism categories

Koszul Monoids in Quasi-abelian Categories

Skeleta and categories of algebras