Related papers: Differential graded versus Simplicial categories
We construct on the category of diffeological spaces a Quillen model structure having smooth weak homotopy equivalences as the class of weak equivalences.
Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of…
We put a Quillen model structure on the category of small categories enriched in simplicial $k$-modules and non-negatively graded chain complexes of $k$-modules, where $k$ is a commutative ring. The model structure is obtained by transfer…
The classical Dold-Kan correspondence is known to admit a categorification in the form of an equivalence between the $\infty$-categories of $2$-simplicial stable $\infty$-categories and connective chain complexes of stable…
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,…
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra…
For every regular cardinal $\alpha$, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially DG categories which are stable under suspensions, cosuspensions, cones and $\alpha$-small sums.…
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative…
We construct a cofibrantly generated Quillen model structure on the category of small differential graded categories. ----- Nous construisons une structure de categorie de modeles de Quillen a engendrement cofibrant sur la categorie des…
Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the Andr\'{e}-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$…
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…
For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…
Let A be a finitely generated connected graded k-algebra defined by a finite number of monomial relations. Then there is a finite directed graph, Q, the Ufnarovskii graph of A, for which the categories QGr(A) and QGr(kQ) are equivalent:…
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored…
The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor…
We introduce higher analogs for cleavages in the context of (Kan) simplicial fibrations. We apply them to obtain geometric models for representations up to homotopy of (higher) Lie groupoids. Concretely, we set an equivalence between…
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…
If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…