The model-categories tag has no usage guidance.

**5**

votes

**2**answers

88 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 ...

**10**

votes

**1**answer

422 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

75 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

62 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

63 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 ...

**10**

votes

**1**answer

309 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

143 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 ...

**6**

votes

**0**answers

109 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 ...

**6**

votes

**2**answers

299 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

90 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 ...

**12**

votes

**1**answer

315 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

55 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 ...

**4**

votes

**1**answer

71 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

86 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 ...

**3**

votes

**1**answer

143 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 ...

**11**

votes

**2**answers

249 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

327 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$ ...

**8**

votes

**1**answer

267 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 ...

**4**

votes

**1**answer

178 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 ...

**1**

vote

**0**answers

64 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 ...

**1**

vote

**0**answers

78 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, ...

**6**

votes

**2**answers

465 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 ...

**6**

votes

**3**answers

499 views

### Higher refinement of Seifert-van Kampen theorem on the language of hocolim

I like the following version of SvKT. If $\Pi_1$ is the functor of fundamental groupoid and $(X_i)_{i\in I}$ is a diagram of spaces then
$$\Pi_1({\sf hocolim}\: X_i)\simeq {\sf hocolim}\: ...

**3**

votes

**0**answers

85 views

### About Quillen equivalences between Bousfield localizations

Let $\mathcal{M}$ be a locally presentable category equipped with two left proper and left determined combinatorial model structures $\mathcal{M}_1$ and $\mathcal{M}_2$. There exist two sets $S_1$ and ...

**9**

votes

**1**answer

237 views

### Tensor products over operads and bar constructions

Let $O$ be an operad in spaces, $A$ an $O$-algebra and $R$ an right $O$-module. One can define $R \otimes_O A$ as the coequalizer of the two maps $ROA$ to $RA$. One can also define $B(R,O,A)$ (as in ...

**0**

votes

**3**answers

99 views

### smash product of pointed spaces preserve weak equivalences

Consider the category of pointed simplicial sets with usual notion of weak equivalence. The question is does the functor
$$Y \mapsto X\wedge Y$$ preserve weak equivalences? or at the very least does ...

**3**

votes

**0**answers

111 views

### How can one “extend scalars” for (motivic) ring spectra and for modules over it?

Let $S$ be a (motivic symmetric) ring spectrum (more generally, one can possibly consider a ring object in a symmetric stable model category); let $R$ be a flat associative commutative unital algebra ...

**5**

votes

**0**answers

115 views

### Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy ...

**3**

votes

**1**answer

217 views

### Model structure on non-negative differential graded algebras with homological grading

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of ...

**13**

votes

**1**answer

377 views

### Homotopy transfer in the opposite direction

Let $X\rightleftarrows Y\circlearrowleft$ be a strong deformation retraction of chain complexes (a.k.a. contraction), i.e. $X\rightarrow Y\rightarrow X$ is the identity, $Y\rightarrow Y$ is a homotopy ...

**3**

votes

**2**answers

279 views

### How to show the following two definitions of homotopy monomorphism are equivalent?

Let $M$ be a model category. In Toen's The homotopy theory of dg-categories and derived Morita theory Page 11 it is written:
a morphism $x \to y$ in a model category $M$ is called a homotopy ...

**2**

votes

**1**answer

113 views

### A question about the morphisms in the homotopy category of dg-Cat

Let $dg-Cat$ denote the category of (small) dg-categories and $Ho(dg-Cat)$ denote the localization of $dg-Cat$ at quasi-equivalence. Using the model structure on $dg-Cat$ we can describe the morphisms ...

**13**

votes

**2**answers

407 views

### A model category of abelian categories?

Let $\mathcal{M}$ be the following category:
The objects are small abelian categories with chosen zero object, biproducts, kernels, and cokernels.
The morphisms are functors that preserve the ...

**1**

vote

**0**answers

158 views

### Does the Boardman-Vogt tensor product of operads commute with their W-construction

I have absolutely no idea whether this is true or not but it could well be useful for me in the future if it is. If we have topological operads $\mathcal{P}$ and $\mathcal{Q}$ and we let $W$ denote ...

**3**

votes

**0**answers

103 views

### Homotopy (co)limit (co)cones

Let $\mathscr{M}$ be a model category and let $\mathscr{I}$ be a small category. Consider any homotopy colimit functor ...

**6**

votes

**2**answers

180 views

### Direct proof that the model category of cdgas is left proper

Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred ...

**0**

votes

**0**answers

48 views

### Contraction of simplicial presheaves

Let $X,Y$ be two simplicial presheaves on a small category $\mathcal{C}$, let $*$ be the final simplicial presheaf. Consider the category of simplicial presheaves equipped with its projective model ...

**2**

votes

**0**answers

38 views

### Comparing right and left quasi-representable bimodules

Let $\mathcal V$ be your favourite (closed, symmetric) monoidal model category. To fix ideas, set $\mathcal V = \mathrm{Ch}(k)$, the category of chain complexes over a fixed commutative ring. Given a ...

**8**

votes

**1**answer

289 views

### When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...

**6**

votes

**1**answer

179 views

### Technical lemma about frame and cosimplicial resolution

I'm reading the Hirschhorn's book model categories and their localization and I have a question about frames and resolutions.
Following the book (definition 16.6.1) a cosimplicial frame on an object ...

**4**

votes

**0**answers

258 views

### A construction with homotopy colimits and homotopy pullbacks for descent

EDIT: Following the lines of some suggestions in the comments below, I try to add something more to explain the problem better. A map $\text{hocolim}Y\rightarrow\bar{Y}$ in $\text{Ho}(\mathbf{M})$ is ...

**5**

votes

**1**answer

85 views

### Monoidal structure on simplicial sheaves

Let $\mathcal{C}$ be a site and let $sPh(\mathcal{C})_{proj}$ be the category of simplicial presheaves equipped with the projective model structure. This category is a closed monoidal model category ...

**0**

votes

**0**answers

28 views

### Criterion for projectively cofibrant diagrams? [duplicate]

(repost from math.stackexchange)
Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The ...

**4**

votes

**0**answers

141 views

### When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...

**5**

votes

**1**answer

185 views

### Does the stable category of a nice exact category embed in (the underlying category of) a derivator?

In Derivators, Pointed Derivators, and Stable Derivators, Moritz Groth gives as an example of a non-invertible morphism with trivial cone an inclusion $f:X\to I$. Here $X$ is an object of injective ...

**3**

votes

**0**answers

132 views

### hypothetical model structure on the category of model categories

It is natural to ask if the category of model categories can be endowed with the structure of a model category where the class of weak equivalences is given by the Quillen equivalences knowing that ...

**4**

votes

**1**answer

158 views

### fibrant generation of $sSet_{Quillen}$?

I wonder if someone has proved that $sSet_{Quillen}$ is not a fibrantly generated model structure ? Do we know something about the possible fibrant generation of $sSet_{Quillen}$ ?
Thanks

**3**

votes

**0**answers

80 views

### Equivariant model structure on $G-\mathrm{Gpd}$

Let's denote $G\text{-}\mathrm{Gpd}$ the presheaf category $[\mathbf{B}G, \mathrm{Gpd}]$. Now assume that $\mathrm{Gpd}$ is endowed with its natural model structure where weak equivalences are ...

**1**

vote

**0**answers

99 views

### Function complex and simplicial presheaves

Let $\mathcal{C}$ be a small catgeory, $\mathcal{E}$ be a model category and $A\: : \: \mathcal{C}\to \mathcal{E}$ be a functor. Let $\tilde{A}$ be an objectwise cosimplicial frame on A. Consider the ...

**7**

votes

**0**answers

243 views

### A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...