Questions tagged [model-categories]
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.
714
questions
5
votes
3
answers
320
views
Bar construction in commutative algebras is calculated by pushout
$\DeclareMathOperator\colim{colim}$
Also asked in MathStackexchange here
This is a statement in Lurie's Higher Algebra 5.2.2.4.
Proposition 3.2.4.7 in HA said that the monoidal structure on $\text{...
4
votes
1
answer
101
views
Simplicial enrichment on unbounded algebras over an operad
In his paper "Homological Algebra of Homotopy Algebras" V.Hinich introduced a simplicial structure on algebras in unbounded chain complexes over arbitrary $\Sigma$-split operads. Not to get ...
0
votes
0
answers
17
views
classifications of all weak factorisation systems on a category [duplicate]
Is there an example of a category where all the weak factorisation systems have been classified ? Is this something that people tried to classify ?
This can be done trivially for Sets (see the ...
7
votes
1
answer
732
views
Is hammock localization a localization in the sense of Lurie?
In a series of papers ([1], [2] and [3]), Dwyer and Kan introduced the hammock localization [2] as an effective technique to compute the simplicial localization of a model category [1]. This is meant ...
5
votes
1
answer
341
views
Model structures on the category of unbounded chain complexes
In his book "Model Categories" Mark Hovey constructs both projective and injective model structures on unbounded chain complexes of $R$-modules. For what kinds of abelian categories does ...
11
votes
1
answer
617
views
Is the Thomason model structure on Cat simplicial? Is it a monoidal model category?
The Thomason model structure on the category of small categories is transferred from the Quillen model structure on simplicial sets along the right adjoint $Ex^2 \circ N$ (where $N$ is the nerve), i.e....
7
votes
1
answer
151
views
Reference request for equivalences between different models of lax limits
There are several models for lax limits of model categories/ $\infty$-categories in the literature. For example, within the realm of $\infty$-categories one can construct them using coCartesian ...
5
votes
1
answer
495
views
When is a right lifting property closed under pushouts?
A class of morphisms defined by a right Quillen lifting property (weak orthogonality)
is always closed under pullbacks (limits); under what assumptions will it be closed under pushouts (colimits)? In ...
5
votes
1
answer
103
views
Minimal cell structures in combinatorial model categories
I recently rediscovered a classical theorem from Hatcher which states that simply-connected CW complexes have a 'minimal' cell structure, where the cells correspond to spheres and disks indexed by the ...
13
votes
3
answers
967
views
Model Structure/Homotopy Pushouts in topological monoids?
Let $\mathsf C$ be the category of topological monoids, that is, the category of monoids in $(\textsf{Top}, \times)$.
Can the model category structure on $\textsf{Top}$ (Serre fibrations, ...
7
votes
1
answer
413
views
Model categories as a tool to resolve size issues for localizing categories
I have a rather basic question about one motivation for introducing model categories in David White's notes, as a possible way to overcome troubles with size issues appearing when localizing a ...
2
votes
2
answers
219
views
Is the mapping cylinder a replacement for morphism by cofibration in model categories?
Let $M$ be a model category, consider a very good cylinder object $X \coprod X \to X \times I \overset{\operatorname{pr}}{\to} X$ (here $X \times I$ is just a notation, no object $I$ is implied), that ...
5
votes
0
answers
75
views
Tensor product of modules in model vs. infinity categories
Let $C$ be a combinatorial symmetric monoidal model category and let $A$ be a associative algebra object in $C$, that is cofibrant as an object in $C$. In Higher Algebra 4.3.3.17, Lurie proves an ...
13
votes
2
answers
946
views
Categories on which one can determine all model structures?
Famously, there are exactly nine model structures on the category of sets, which are detailed here. In this case, one can exhaustively determine all six weak factorization systems and then see which ...
3
votes
1
answer
166
views
Enriched cofibrant replacement in spectrally enriched categories
If $\mathcal{V}$ is a monoidal model category with all objects cofibrant, Theorem 13.5.2. of Categorical Homotopy Theory will guarantee that the functorial cofibrant replacement of a $\mathcal{V}$-...
14
votes
3
answers
583
views
Strøm model structures on the category of simplicial sets
Let $X,Y$ be simplicial sets. A simplicial homotopy is a simplicial map of the form $h:X\times\Delta^1\rightarrow Y$. There are two distinguished maps
$$
in_0:X\cong X\times\Delta^0\xrightarrow{1\...
6
votes
1
answer
186
views
Weakly contractible $X$, but none of the maps $*\to X$ are cofibrations
Let $\mathrm{Top}$ be the category of all topological spaces and continuous maps. The Quillen model structure on $\mathrm{Top}$ has weak equvalences $W = \{ \text{weak homotopy equivalences} \}$, ...
11
votes
3
answers
1k
views
A category with weak equivalences that is not a model category
I'm only considering complete and cocomplete categories. A pair $(\mathfrak{X} , \mathfrak{W}) $ is, by definition, a category with weak equivalences if $ \mathfrak{X} $ is a category and $ \mathfrak{...
46
votes
8
answers
10k
views
Non-examples of model structures, that fail for subtle/surprising reasons?
An often-cited principle of good mathematical exposition is that a definition should always come with a few examples and a few non-examples to help the learner get an intuition for where the concept's ...
7
votes
3
answers
884
views
A fibrant-objects structure on Top
(Sorry for the crossposting, but I'm really interested in this question).
One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological ...
11
votes
1
answer
937
views
How many model category structures are there on Top?
I recently started learning a little model category theory and in particular I found this nice exercise. I only know a little topology, but this prompted me to wonder how many model category ...
3
votes
1
answer
116
views
$n$-truncation of a Simplicial Model Category
I'm working in the category of rational $CDGAs$ and trying to find a reference/construction of a natural $2$-categorical structure via truncation of the mapping spaces.
In my head, the key point is ...
7
votes
2
answers
202
views
Cofibrancy of a right module over an operad
If I have a right module $M$ over an operad $\mathscr{O}$ in spaces, are there general methods to determine if $M$ is cofibrant with respect to the Reedy model structure? What if I know that my module ...
2
votes
1
answer
175
views
Very good cylinder and strong deformation retract
Let $\mathcal{M}$ be a model category and let $C:\mathcal{M}\to\mathcal{M}$ be a very good cylinder object. The natural transformations coming with $C$ are denoted by $\gamma^\epsilon_X:X\to CX$ with $...
3
votes
0
answers
81
views
Are fibrations of small categories fibrations?
The isofibrations are the fibrations of the canonical model structure of the category of small categories. If I call fibration of small categories the same notion by removing the word isomorphism, i.e....
3
votes
1
answer
156
views
Which positive flat stable model structures on (flavors of) spectra have the property that cofibrant operad-algebras forget to cofibrant spectra?
Let $M$ be a monoidal model category and $O$ an operad valued in $M$, and the category of $O$-algebras inherits a model structure from $M$ where a map $f$ is a weak equivalence (resp. fibration) if ...
4
votes
1
answer
203
views
What should be required from a model category so that the category of algebraic objects in it has the natural model structure?
I have two reference questions
What should be required of a category with finite products so that a (multi-sorted, finitary) Lawvere theory induces a monadic adjunction on it? This should be ...
6
votes
1
answer
596
views
When is the cofibrant replacement of a product the product of the cofibrant replacements?
I'm in a situation where I'd like to prove $Q(E\otimes E) \simeq QE \otimes QE$ for a monoid $E$ in a symmetric monoidal model category. I know it's not true in general that $Q(E\otimes F)\simeq QE \...
2
votes
0
answers
128
views
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
I consider the enriched category $[\mathcal{M}^{op},\mathrm{Top}]$ of enriched functors (I call them $\mathcal{M}$-spaces) from the enriched small category $\mathcal{M}^{op}$ to the enriched category $...
1
vote
0
answers
249
views
Homotopy coherent nerve for algebraic model categories
Is a homotopy coherent nerve defined for algebraic model category that returns algebraic quasi-categories as Urs Schreiber wrote about? Or do we not know how to determine it / does it seem impossible?
...
9
votes
1
answer
431
views
Is there a shape-independent definition of (∞,1)-categories?
For all definitions of $\infty$-categories I am aware of, an $(\infty,1)$-category is defined via reference to some shape, be it simplices in a form of a quasi-category or a cubical analogue of a ...
10
votes
2
answers
554
views
Model for the (infinity,1)-category of functors preserving certain homotopy limits
This question is a follow up to: Model for the (infinity,1)-category of (homotopy-)limit preserving functors.
Warm-up Question: Given a simplicial model category $M$, what model category models the ...
7
votes
3
answers
2k
views
Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes
It seems to be a well-known fact that homotopy (co)limits
of (co)simplicial diagrams of nonnegatively graded
(co)chain complexes in (Grothendieck) abelian categories
can be computed by using the Dold-...
9
votes
1
answer
199
views
Does $\infty$-categorical localization commute with taking directed fibered products?
Suppose we are given categories $\mathsf{C},\mathsf{D},\mathsf{E},$ equipped with collections of weak equivalences $\mathcal{W}_{\mathsf{C}},\mathcal{W}_{\mathsf{D}},$ and $\mathcal{W}_{\mathsf{E}},$ ...
4
votes
1
answer
184
views
Model categories: "equivalence" of finite limits and finite colimits
I am needing a reference for the following statement (in case it is true): Quillen functor between stable model categories preserve finite limits iff it preserves finite colimits.
For stable $\infty$-...
12
votes
1
answer
418
views
Is the Grothendieck construction a homotopy pullback?
The category of elements of a functor $F:\mathcal C\to\mathsf{Set}$ can be obtained as the strict pullback in with the forgetful functor of pointed sets $\mathsf{Set_*}\to\mathsf{Set}$:
$$
\begin{...
9
votes
0
answers
272
views
How acyclic models led to idea of model categories
The Wikipedia article about Acyclic models notices that the way that they were used in the proof of the Eilenberg–Zilber theorem laid the foundation stone to the idea of the model category.
Could ...
3
votes
0
answers
99
views
Homotopy theory for small strict semimonoidal topologically enriched categories
I work with the category of $\Delta$-generated spaces. I call reparametrization category a small strict semimonoidal topologically enriched category $(\mathcal{P},\otimes)$ such that $\mathcal{P}(\ell,...
2
votes
1
answer
117
views
Is a left Bousfield localization of simplicial presheaves a locally cartesian closed model category?
Let $\mathcal{C}$ be a small category and let $\mathcal{M} = \operatorname{sPre}(C)$ be the model category of simplicial presheaves on $\mathcal{C}$ with the injective model structure.
Let $S$ be a ...
2
votes
0
answers
125
views
Geometric conditions on motivic fibrations
What are the geometric conditions on a map of varieties/schemes being a motivic fibration (i.e. a fibration in the motivic model structure on simplicial presheaves on affine schemes)?
For example, are ...
3
votes
1
answer
179
views
A fiber-like method to show equivalence of infinity categories
Suppose I have a functor of quasi-categories $f: \mathcal{C} \to \mathcal{D}$. I want to show a criterion like: "$f$ is an equivalence of $\infty$-categories if the homotopy fiber of $f$ ...
2
votes
1
answer
143
views
Left Proper model structure on the category of non-symmetric operads in chain complexes
It is shown in Moriya (Multiplicative formality of operads and
Sinha’s spectral sequence for long knots, 2.1) that there exists a left proper model category structure on non-symmetric operads over $k$-...
7
votes
1
answer
410
views
Different definitions of homotopy colimits
I was reading about the definition of homotopy limits and colimits, and I have seen two different approaches in "Homotopy theories and model categories" by Dwyer and Spalinski, and in "...
6
votes
2
answers
364
views
Size issues in localization $\mathcal{C}[\mathcal{W}^{-1}]$ category
When one starts with a locally small category $\mathcal{C}$ and wants to localize it at an appropriate choosen collection of morphisms $\mathcal{W}$, then in general one faces some size issues in the ...
0
votes
0
answers
108
views
Locally constant (homotopy) pre-factorization algebras
In my thesis, I'm using the theory of (homotopy) factorization algebras and particularly locally constant ones. While reading an article that I can't find again I read that already a locally constant ...
8
votes
3
answers
2k
views
Is the category of small categories locally presentable?
I was wondering whether the various model structures on the category of small categories are combinatorial. I think that the ones I know are at least cofibrantly generated. In order to be ...
0
votes
2
answers
265
views
Is the identity a cofibration?
In a closed model category, is the identity $\textrm{id}: A \to A$ a cofibration? Does it only hold on some special cases? Or is it never true?
2
votes
0
answers
94
views
Projective model categories on homotopy equivalent index categories
Consider a fixed proper simplicial combinatorial model category $\mathcal{M}$. Consider a functor $F:I\to J$ between small categories. It induces a right Quillen functor $F^*:\mathcal{M}^J \to \...
0
votes
0
answers
49
views
Finitely continuous fibrant replacement functor for localization of simplicial presheaves with projective model structure
Let $C$ be a model category given by generators and relations in the sense of Dugger (that is, $C$ is a left Bousfield localization of a global projective model model structure on simplicial ...
3
votes
0
answers
140
views
Direct images commute with homotopy colimits
In Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (II), Ayoub defined the notion of a stable homotopical algebraic derivators; roughly, for a ...