The model-categories tag has no usage guidance.

**7**

votes

**0**answers

122 views

### Why is every object cofibrant in an excellent model category?

In Appendix A.3 of the book higher topos theory appears the notion of an excellent model category (see Definition A.3.2.16). The main feature of this notion is that when $\mathbf{S}$ is an excellent ...

**3**

votes

**1**answer

72 views

### Saturated classes and cofibrantly generated model structures

There seem to be two definitions of what a saturated class should be:
A class of morphisms closed under retracts, pushouts and transfinite composition.
A class of monomorphisms containing all ...

**3**

votes

**2**answers

110 views

### Cube Lemma on a cofibrantly generated (almost) model category

Suppose I have a complete and cocomplete category $\mathscr{C}$ with two sets of maps $I,J$ that are the candidates for generating (trivial) cofibrations on a model structure on $\mathscr{C}$.
The ...

**21**

votes

**2**answers

920 views

### The homotopy category is not complete nor cocomplete

I understand that the homotopy category of (pointed) topological spaces and continuous maps is not complete. Nor is it cocomplete. In particular it neither has all pullbacks nor all pushouts.
What ...

**9**

votes

**1**answer

140 views

### Explicit calculations of small homotopy limits of CDGAs

I would like to carry out explicit calculations of homotopy limits of certain simple diagrams of CDGAS. My set-up is the following : I have a finite graded poset $R$ with minimal element $0$ and a ...

**3**

votes

**0**answers

89 views

### Universal enveloping algebra functor preserves quasi-isomorphism

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}$ denote the category of DG algebras and $\mathtt{DGLA}_{k}$ denote the category of DG Lie algebras. It is well known that there are model ...

**5**

votes

**0**answers

54 views

### Intuition for resolutions of operads

Is there an intuitive way to understand resolutions of operads for someone not well-versed in model categories? In particular, I'd like to have some idea, even if not a complete understanding, of how ...

**2**

votes

**0**answers

105 views

### A question about the definition of complete dg Lie algebras in a paper of Lazarev and Markl

In their paper Disconnected Rational Homotopy Theory, Lazarev and Markl give the following definition (page 23):
Definition: A complete differential graded Lie algebra is an inverse limit of ...

**4**

votes

**0**answers

95 views

### Cofibrations in the model structures for non-negative graded (commutative) DG algebras

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}^{+}$ denote the category of non-negative graded DG algebras and $\mathtt{CDGA}_{k}^{+}$ denote the category of non-negative graded ...

**5**

votes

**0**answers

61 views

### Model structure on DG-algebras with flat cofibrants

Let $k$ be a commutative ring,
and consider the category of associative non-positive DG-algebras over $k$ (thus, $A^i = 0$ for $i>0$, and the differential has degree $+1$).
Is there a closed model ...

**4**

votes

**1**answer

90 views

### A distinguished triangle of mapping spectra arising from recollement

I suspect the following should be well known, in some circles, under some name. Alas, I could not figure out how to prove it or where to look it up.
Recall that a recollement is a sequence of (...

**12**

votes

**1**answer

241 views

### From relative categories to marked simplicial sets

Both relative categories and marked simplicial sets (over Δ^0) present the ∞-category of ∞-categories.
Naturally, one could ask whether there is a reasonably direct way to pass between these two ...

**13**

votes

**2**answers

388 views

### When do colimits agree with homotopy colimits?

I'm wondering about when the colimit and the homotopy colimit agree with diagrams of simplicial sets. I know that hocolim$(F)=$colim$(F_c)$ where $F_c$ is the cofibrant replacement of $F$. However, it ...

**8**

votes

**1**answer

233 views

### Relative version of Quillen's theorem A

Quillen's Theorem A is formulated as follows:
Let $F:X\to Y$ be a functor between small categories. Suppose for each $y\in Y$ the category
$F/y$ is contractible. Then $F$ induces a weak equivalence ...

**2**

votes

**2**answers

100 views

### Reedy model structure on sSet

According to this question, there is a model structure on $\mathrm{Set}$ in which the cofibrations are the monomorphisms, the fibrations are maps which are either epimorphisms or have empty domain, ...

**3**

votes

**0**answers

203 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...

**8**

votes

**0**answers

129 views

### Model category of cofibrant topological spaces

By browsing the list of open problems in Mark Hovey's book "Model categories", I came across the following one (Problem 8.3): find a model structure on topological spaces, with the same weak ...

**6**

votes

**1**answer

180 views

### Bousfield Localization and Quillen Equivalence

The notion of a (left, say) Bousfield localization of a model category doesn't seem to be invariant under Quillen equivalence. There are a lot of things that could go wrong. But I don't know any ...

**4**

votes

**1**answer

158 views

### When does the projective model structure on functors exist?

What this boils down to is: if $\mathcal{K}$ is cofibrantly-generated model category which permits the small object argument and $\mathcal{D}$ is a small category, then when does $\mathcal{K}^\mathcal{...

**3**

votes

**2**answers

200 views

### How to simplify the proof of right-properness?

Question. Is it true that to check that a model category is right proper, it suffices to check the property for weak equivalences with fibrant codomain ? (if the domain is also fibrant, the pullback ...

**5**

votes

**0**answers

143 views

### Continuous cohomology via model category

Is it possible to formulate notion of continuous cohomology in terms of model categories?
If yes, then is there a reference for this?

**8**

votes

**1**answer

319 views

### Non-Cartesian Monoidal Model Structure on a Slice Category

Given a monoidal model category $(M,\otimes, 1)$, and a monoid therein $A$, one can take the slice model category $M_{/A}$. This category has a natural monoidal structure induced by taking fibered ...

**4**

votes

**0**answers

112 views

### What structure of a monoidal simplicial model category is preserved by taking the opposite category?

Suppose we have $(M,\otimes,1)$, a monoidal simplicial model category. Then we can consider the opposite model category $M^{op}$ with the opposite model structure (fibrations become cofibrations, etc.)...

**33**

votes

**5**answers

3k views

### What is modern algebraic topology(homotopy theory) about?

At a basic level, algebraic topology is the study of topological spaces by means of algebraic invariants. The key word here is "topological spaces". (Basic) algebraic topology is very useful in other ...

**2**

votes

**1**answer

81 views

### Homotopy limits of homotopically constant diagrams over contractible categories

I suspect that the following result should be true and more or less well known:
Let $\mathcal{M}$ be a model category and $I$ a small category with contractible nerve. For every diagram $X: I \to \...

**3**

votes

**1**answer

236 views

### Reference for t-structures on stable model categories

What kind of definitions of t-structures
on stable model categories have been investigated in the literature?
Of course, one can always define a t-structure on a stable model category as a t-...

**3**

votes

**0**answers

134 views

### Test categories applied to Dold-Kan correspondence?

Let's see how this goes, this might be a bit rushed, if you spot any mistakes feel free to correct them. A test category $X$ is a category that can be used in place of the simplex category $\Delta$ to ...

**15**

votes

**1**answer

596 views

### Is there an ∞-categorical interpretation of the Quillen S⁻¹S construction?

The Quillen S⁻¹S construction (not to be confused with the Quillen Q-construction or the Quillen plus-construction),
as defined by Grayson in Higher algebraic K-theory: II (page 219),
takes as an ...

**9**

votes

**2**answers

203 views

### Simple question: different definitions of Bousfield localization

I am not an expert on model categories and I am getting lost with two different definitions I have found on Bousfield localizations. I don't see the link between them.
First definition: Let $\mathbf{...

**10**

votes

**1**answer

519 views

### Categorical or simplicial introduction to modern homotopy theory

I've heard some people saying that it would be easier to study homotopy theory first through simplicial sets. First, i thought that these people were not being serious. But it caught me wondering...
...

**1**

vote

**1**answer

109 views

### dg-resolution of the polynomial algebra

I am intersted in constructing a cofibrant resolution of the commutative polynomial algebra in some number of variables in the category of dg-algebras(not necceserily commutative).
The resolutions ...

**2**

votes

**0**answers

70 views

### How to show these class of morphisms are perfect

In Lurie's book "Higher Topos Theory", a class $\mathsf{W}$ of morphisms in a category $\mathcal{A}$ is called perfect if
Every isomorphism belongs to $\mathsf{W}$.
it satisfies "2 out of 3 ...

**1**

vote

**0**answers

66 views

### Cofibrancy of simplicial objects [duplicate]

Let $\mathcal{C}$ be a site. Consider $sPsh(\mathcal{C})$ be the equipped with the local projective model structure. Let $C_{\bullet}$ be a cofibrant object in $\mathcal{C}$ and let $y(C_\bullet)$ be ...

**11**

votes

**1**answer

386 views

### Examples of differential cohomology in cohesive $\infty$ topos

I might direct this question to Urs Schreiber directly, but just in case someone else has some interesting examples, I'll make the question public.
The formulation of differential cohomology in ...

**7**

votes

**1**answer

187 views

### Fiber vs homotopy fiber in model categories: simple question

I have a concrete problem with the homotopy fiber and I am getting lost with the
literature. I state my question and, to avoid confusions, I state downwards the
definitions I am using.
Let $C$ be a ...

**8**

votes

**1**answer

198 views

### Operads and the Stable Module Category

I am seeking references to places where operads and their algebras have been studied for the stable module category. Colored operads are fine too.
Let $k$ be a field and $R$ a $k$-algebra. The stable ...

**7**

votes

**2**answers

340 views

### Is dgCat a category or a 2-category?

Let us consider dgCat, the "collection" of all small dg-categories. In On differential graded categories and Lectures on dg categories the authors state that they form a category, i.e. dgCat has ...

**3**

votes

**0**answers

132 views

### Reedy fibrant and cofibrant objects

Let $\mathcal{C}$ be a Reedy category, $\mathcal{M}$ be a model category. Then consider $Fun(\mathcal{C}, \mathcal{M})$, the category of diagrams from $\mathcal{C}$ to $\mathcal{M}$ equipped with the ...

**13**

votes

**1**answer

387 views

### Fibrant-cofibrant models of Eilenberg-MacLane spectra

There are many models for spectra, by which I mean a model category whose homotopy category is triangulated-equivalent to the stable homotopy category. In each model, there are ways to construct ...

**5**

votes

**1**answer

63 views

### Characterization of right properness using slice categories

I would like to know how to cite this theorem (which has a quite surprising consequence):
A model category $\mathcal{M}$ is right proper if and only if for any
weak equivalence $f:A\to B$, the ...

**5**

votes

**1**answer

95 views

### Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer.
Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...

**2**

votes

**1**answer

96 views

### Model structures on diagrams indexed by a Reedy category

I'm interested in the way to put a model structure on the category of functors
$F : P^{op} \rightarrow Ch(\mathbf{k})$ where $\mathbf{k}$ is a field of characteristic zero, $Ch(\mathbf{k})$ the (co)...

**3**

votes

**1**answer

169 views

### Triangulated structure on $\mathbf{SH}(S)$: $\mathbb{P}^1$-suspension versus classical suspension

I am studying the construction of the motivic stable homotopy category of schemes $\mathbf{SH}(S)$ following Riou's paper Categorie homotopiquement stable d'un site suspendu avec intervalle (click to ...

**12**

votes

**2**answers

279 views

### Quasicategories for non-simplicial model categories

If I have a simplicially enriched model category, then I can take the coherent nerve of the full subcategory of bifibrant opjects to obtain a quasicategory. If I have a model category that is not ...

**8**

votes

**0**answers

352 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**9**

votes

**1**answer

306 views

### Why do the model structures on dg-algebras and on dg-categories are not compatible?

First we talk about dg-algebras. According to this n-lab page, we write $dgAlg$ for the category of cochain dg-algebras in non-negative degree over a field $k$ of characteristic $0$. Write $CdgAlg\...

**4**

votes

**1**answer

206 views

### Stabilization of a generic pointed model category

Let $\mathcal C$ be a pointed model category. It is well-known that its homotopy category $\mathrm{Ho}(\mathcal C)$ is naturally a $\mathrm{Ho}(\underline{\mathrm{sSet}}_*)$-category, where $\mathrm{...

**1**

vote

**0**answers

71 views

### Does it require Reedy fibrancy when we want the totalization to be weakly equivalent to the homotopy limit?

This question arises when I am reading the last two Chapter of Hirschhorn's "Model categories and their localizations"
In Part (2) of Theorem 19.8.4 of that book it says
If $(\bf{\Delta},\mathcal{M})...

**1**

vote

**0**answers

87 views

### Internal Hom on simplicial presheaves and the preservation of cofibrant objects

1)Let $\mathcal{C}$ be a cartesian closed small category. Let $\operatorname{Map}\: : \: sPsh(\mathcal{C})\times sPsh(\mathcal{C})\to sPsh(\mathcal{C})$ be the internal Hom of simplicial presheaves, i....

**6**

votes

**2**answers

519 views

### On combinatorial and cellular model categories and infinity categories

I am looking for a counterexample. Let me first give the set-up. When you work with model categories, it is extremely common to assume they are cofibrantly generated. For me, this means the definition ...