Related papers: Arboreal Objects and Their Homotopy Theory

We study liftings of abelian model structures to categories of chain complexes and construct a realization functor from the derived category of a Grothendieck abelian category equipped with a cofibrantly generated, hereditary abelian model…

The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…

We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…

In this paper, we show that the Thomason model structure restricts to a Quillen equivalent cofibrantly generated model structure on the category of acyclic categories, whose generating cofibrations are the same as those generating the…

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…

We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties…

A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted…

This is the second paper in a series on representations over diagrams of abelian categories. We show that, under certain conditions, a compatible family of abelian model categories indexed by a skeletal small category can be amalgamated…

In [Homotopical Algebra, Springer LNM 43] Quillen introduces the notion of a model category: a category $\mathcal{C}$ provided with three distinguished classes of maps $\{\mathcal{W},\, \mathcal{F},\, co\mathcal{F}\}$ (weak equivalences,…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…