Related papers: Model structure from one hereditary complete corto…
We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the…
We show that C if is a proper model category, then the pro-category pro-C has a strict model structure in which the weak equivalences are the levelwise weak equivalences. The strict model structure is the starting point for many homotopy…
In this article, we study the Gorenstein property of abelian quotient categories induced by fully rigid subcategories on an exact category B. We also study when d-cluster tilting subcategories become fully rigid. We show that the quotient…
Let $R$ be a commutative ring. We show that any complete duality pair gives rise to a theory of relative homological algebra, analogous to Gorenstein homological algebra. Indeed Gorenstein homological algebra over a commutative Noetherian…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
The characteristic connection of an almost hermitian structure is a hermitian connection with totally skew-symmetric torsion. The case of parallel torsion in dimension six is of particular interest. In this work, we give a full…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
Given a complete hereditary cotorsion pair $(\mathcal{A}, \mathcal{B})$ in an abelian category $\mathcal{C}$ satisfying certain conditions, we study the completeness of the induced cotorsion pairs $(\Phi(\mathcal{A}),…
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these…
We introduce a general version of singular compactness theorem which makes it possible to show that being a $\Sigma$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed…
We study Tate-Vogel and relative cohomologies of complexes by applying the model structure induced by a complete hereditary cotorsion pair ($\A$, $\B$) of modules. We show first that the class of complexes admitting a complete $\A$…
In the paper of Keller and Reiten, it was shown that the quotient of a triangulated category (with some conditions) by a cluster tilting subcategory becomes an abelian category. After that, Koenig and Zhu showed in detail, how the abelian…
Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…
We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…
In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at…
Let $\mathcal{A}$ be a Frobenius category and $\omega$ the full subcategory consisting of projective objects. The relations between special precovering (resp., precovering) ideals in $\mathcal{A}$ and special precovering (resp.,…
It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable…
We introduce the category of structures and interpretations which allows us to discuss some issues of Grothendieck's anabelian geometry in model-theory terms. Our main result is a formulation in terms of pure stability theory of a problem…
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…
We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model…