Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 12166

A model category is a category equipped with notions of weak equivalences, fibrations and cofibrations allowing to run arguments similar to those of classical homotopy theory.

4 votes
Accepted

Left Proper model structure on the category of non-symmetric operads in chain complexes

Let $k$ be a commutative ring and let $\mathrm{Ch}(k)$ be the category of non-negatively graded chain complexes of $k$-modules. We endow it with the projective model structure. Weak equivalences are q …
Fernando Muro's user avatar
10 votes
Accepted

Fubini theorem for hocolim

This property holds actually for right derivable categories in the sense of: MR2729017 Reviewed Cisinski, Denis-Charles Catégories dérivables. (French) [Derivable categories] Bull. Soc. Math. France 1 …
Fernando Muro's user avatar
5 votes

If $A$ is a cofibrant commutative dg-algebra over a commutative ring of characteristic $0$, ...

Cofibrant CDGAs are retracts of cellular ones. A cellular cofibrant CDGA is a free commutative graded algebra on a (possibly transfinite) sequence of generators $x_1,x_2,\dots$ such that $d(x_i)$ only …
Fernando Muro's user avatar
3 votes
Accepted

Moerdijk Model Structure on Bisimplicial sets

That's not the Moerdijk model structure. In the Moerdijk model structure, weak equivalences and fibrations are created by the diagonal simplicial set construction. Your model structure resembles the B …
Fernando Muro's user avatar
2 votes
Accepted

Is the projective model structure simplicial?

The answer is positive when the target is the category of simplicial sets. You can find a proof in Chaper VIII of Goerss-Jardine's book. Then it follows for presented combinatorial model categories in …
Fernando Muro's user avatar
5 votes
Accepted

When does the projective model structure on functors exist?

I found it in Hirschhorn's book. It's in 11.6 Diagrams in a cofibrantly generated model category. The answer is always, provided K is cofibrantly generated (Theorem 11.6.1). For him (as well as for Ho …
Fernando Muro's user avatar
8 votes

An example of two cofibrant dg categories whose tensor product is not cofibrant

You can consider DGAs, which are DG-categories with only one object. The polynomial ring $k[x]$ concentrated in degree $0$ (with trivial differential) is cofibrant, since it is free as a (graded) $k$- …
Fernando Muro's user avatar
3 votes

Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes

Rodríguez González, Beatriz(E-CSIC-IM) Simplicial descent categories. (English summary) J. Pure Appl. Algebra 216 (2012), no. 4, 775–788
Fernando Muro's user avatar
3 votes
Accepted

dg-flat complexes and their characters

I take 'dg-injective' as fibrant in the injective model structure on complexes of right dg-$R$-modules, whose weak equivalences are the quasi-isomorphisms and whose cofibrations are the levelwise inje …
Fernando Muro's user avatar
6 votes
Accepted

Analogues of 'cone' distinguished triangles for pointed model categories?

1) Mikhail, mapping cones etc, are defined for arbitrary maps. The problem is that they are not homotopy invariant unless your model category is left proper. Therefore, in general you must take cofibr …
Fernando Muro's user avatar
8 votes

A model category which is an additive category

Yes, because the projection functor from the model category to the homotopy category preserves coproducts of cofibrant objects. That is actually the way of showing that the homotopy category has copro …
Fernando Muro's user avatar
5 votes
Accepted

Bousfield localization before and after taking homotopy

Let $\tilde C$ be the left Bousfield localization of $C$. As categories $C=\tilde C$, but $\tilde C$ has more weak equivalences. In particular, the identity functor induces a functor $\varphi\colon \o …
Fernando Muro's user avatar
4 votes

Homotopy limit-colimit diagrams in stable model categories

Yes, because both statements are equivalent to the existence of an exact triangle of the form $$W\longrightarrow X\oplus Y\oplus Z\longrightarrow V\longrightarrow\Sigma W.$$ The arrows are the same …
Rasmus's user avatar
  • 3,184
30 votes

Non-examples of model structures, that fail for subtle/surprising reasons?

I like the following example because it is very close to the origins of homotopy theory (and also because I worked on it at the beginning of my career): proper homotopy theory. Objects are topological …
Fernando Muro's user avatar
5 votes
Accepted

Homotopy excision and homotopy pushout

1) I assume your three model structures have the same weak equivalences, correct me if I'm wrong. Let $\mathcal C$ be a model category and $I$ a small category, e.g. $I=\bullet\leftarrow \bullet\right …
Fernando Muro's user avatar

15 30 50 per page