Related papers: Lifting recollements of abelian categories and mod…
We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…
In an ongoing project to classify all hereditary abelian categories, we provide a classification of Ext-finite directed hereditary abelian categories satisfying Serre duality up to derived equivalence. In order to prove the classification,…
We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…
n-recollements of triangulated categories and n-derived-simple algebras are introduced. The relations between the n-recollements of derived categories of algebras and the Cartan determinants, homological smoothness and Gorensteinness of…
We introduce a method to lift monads on the base category of a fibration to its total category. This method, which we call codensity lifting, is applicable to various fibrations which were not supported by its precursor, categorical…
A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…
We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between…
We study connections between recollements of the derived category D(Mod-R) of a ring R and tilting theory. We first provide constructions of tilting objects from given recollements, recovering several different results from the literature.…
In this paper we introduce compatible cleft extensions of abelian categories, and we prove that if $(\mathcal{B},\mathcal{A}, e,i,l)$ is a compatible cleft extension, then both the functor $l$ and the left adjoint of $i$ preserve Gorenstein…
Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category…
We introduce the notion of (twisted) quiver representations in abelian categories and study the category of such representations. We construct standard resolutions and coresolutions of quiver representations and study basic homological…
We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…
We study linear versions of Reedy categories in relation with finite dimensional algebras and abelian model structures. We prove that, for a linear Reedy category $\mathcal{C}$ over a field, the category of left $\mathcal{C}$--modules…
We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited…
We show under mild hypotheses that a Quillen adjunction between stable model categories induces another Quillen adjunction between their left localizations, and we provide conditions under which the localized adjunction is a Quillen…
We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…
Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when…
This paper aims to answer the following question: Given an adjunction between two categories, how is Quillen (co)homology in one category related to that in the other? We identify the induced comparison diagram, giving necessary and…
We present a new method for combining two cotorsion pairs to obtain an abelian model structure and we apply it to construct and study a new model structure on left $R$-modules over a left coherent ring $R$. Its class of fibrant objects is…
Let $A$ be an artin algebra. We show that the bounded homotopy category of finitely generated right $A$-modules has Auslander-Reiten triangles. Two applications are given: (1) we provide an alternative proof of a theorem of Happel in [H2];…