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.

Filter by
Sorted by
Tagged with
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 ...
user524793's user avatar
7 votes
1 answer
150 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 ...
happymath's user avatar
  • 167
7 votes
1 answer
411 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 ...
user267839's user avatar
  • 5,938
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 ...
kelly maggs's user avatar
2 votes
2 answers
212 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 ...
Arshak Aivazian's user avatar
5 votes
0 answers
74 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 ...
Jakob's user avatar
  • 1,986
6 votes
1 answer
184 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} \}$, ...
mathmo's user avatar
  • 161
13 votes
2 answers
939 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 ...
Tim Campion's user avatar
  • 60.5k
14 votes
3 answers
580 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\...
Tyrone's user avatar
  • 4,981
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....
Philippe Gaucher's user avatar
2 votes
0 answers
127 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 $...
Philippe Gaucher's user avatar
9 votes
1 answer
429 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 ...
lemmanade's user avatar
9 votes
1 answer
194 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}},$ ...
Stahl's user avatar
  • 1,049
4 votes
1 answer
183 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$-...
Alexey Do's user avatar
  • 636
9 votes
0 answers
266 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 ...
user267839's user avatar
  • 5,938
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{...
Daniel Teixeira's user avatar
2 votes
1 answer
113 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 ...
Herman Rohrbach's user avatar
2 votes
0 answers
124 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 ...
Grisha Taroyan's user avatar
3 votes
1 answer
178 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$ ...
Andrea Marino's user avatar
3 votes
1 answer
165 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}$-...
Connor Malin's user avatar
  • 5,191
2 votes
1 answer
142 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$-...
Andrea Marino's user avatar
7 votes
1 answer
406 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 "...
MikeTrooper's user avatar
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 ...
kelly maggs's user avatar
6 votes
2 answers
362 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 ...
user267839's user avatar
  • 5,938
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 ...
Alessandro Nanto's user avatar
0 votes
2 answers
261 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?
groupoid's user avatar
  • 197
2 votes
0 answers
93 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 \...
Philippe Gaucher's user avatar
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 ...
Arshak Aivazian's user avatar
3 votes
0 answers
139 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 ...
Alexey Do's user avatar
  • 636
4 votes
0 answers
98 views

Dugger's theorem for enriched model categories

We know that a combinatorial model category has a small presentation. Is an enriched version of this theorem known? The closest I could find is: Guillou, May - Enriched model categories and presheaf ...
Arshak Aivazian's user avatar
3 votes
1 answer
104 views

Injective model structure for simplicial presheaves

I am reading the paper by Jardine and Goerss, Localization theories for simplicial presheaves and having troubles with understand an argument. In this paper, the two authors considered $\mathcal{C}$ ...
Alexey Do's user avatar
  • 636
2 votes
1 answer
374 views

Why do we need enriched model categories?

As far as I understand, model categories mainly provide tools for studying the "homotopy theories" (that is, $\infty$-categories) that are ubiquitous in mathematics. From this point of view, ...
Arshak Aivazian's user avatar
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? ...
Arshak Aivazian's user avatar
6 votes
1 answer
234 views

Left Bousfield localisation of trivial model structures

Let $\mathcal{M}$ be a category, let $\mathcal{M}^\circ$ be a reflective (full) subcategory of $\mathcal{M}$, and let $L : \mathcal{M} \to \mathcal{M}^\circ$ be the reflector. Question. Does there ...
Zhen Lin's user avatar
  • 14.9k
1 vote
0 answers
92 views

Chain complexes indexed over measurable subsets of $\mathbb{R}$: Towards a measurable notion of Euler Characteristic

I have for a while tried to generalize the notion of a chain complex in a way to obtain a "continuous" or at least "measurable" notion of Euler Characteristic. I have come up with ...
The Thin Whistler's user avatar
0 votes
1 answer
129 views

Examples of cartesian-closed model categories

One of the main settings of my research are Cartesian-closed model categories. I would like to know as many interesting and/or important examples of such categories as possible. "Interesting"...
Arshak Aivazian's user avatar
2 votes
1 answer
95 views

DK equivalences are Reedy equivalences for complete Segal spaces

$\require{AMScd}$ Dear all, I have a question concerning Charles Rezk's paper "A model for the homotopy theory of homotopy theory ", precisely Proposition 7.6 in this paper. It is proven ...
Igor Sikora's user avatar
  • 1,759
3 votes
1 answer
187 views

Monoidal structure on simplical model category of chain complexes

For $k$ a field (the case I am interested in, but the question makes sense over any dga), $\mathrm{Ch}_\bullet(k)$ its projective model category of unbounded chain complexes (here), $\mathrm{sCh}_\...
Urs Schreiber's user avatar
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,...
Philippe Gaucher's user avatar
2 votes
0 answers
100 views

homotopy theory for simplicial profinite topological spaces, and the décalage shift endofunctor

Is there a homotopy theory for simplicial profinite sets where the notion of contractibility can be defined in terms of the decalage endomorphism ? Specifically, I need a homotopy theory where notion ...
user494312's user avatar
7 votes
0 answers
141 views

Presenting geometric morphisms by geometric morphisms

It's known that any $\infty$-topos $\mathcal{E}$ can be presented by a Quillen model category $\mathbf{E}$ that is itself a 1-topos. For instance, if $\mathcal{E}$ is a left exact localization of a ...
Mike Shulman's user avatar
  • 64.8k
3 votes
0 answers
56 views

Right transferred model structure on the category of algebras in the Grothendieck topos

Let M be a model category that is a Grothendieck topos. Let $T$ be a multisorted finitary algebraic theory. Does there exist the right transferred model structure on the category of $T$-algebras in $M$...
Arshak Aivazian's user avatar
3 votes
0 answers
82 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 ...
Grisha Taroyan's user avatar
4 votes
0 answers
60 views

weak factorization systems (co)generated by an arbitrary class of morphisms

Under what assumptions can one prove existence of weak factorization systems (co)generated by a class of morphisms ? Are there counterexamples ? I am interested both in assumptions on the class of ...
user494312's user avatar
2 votes
0 answers
77 views

"Relative cell complexes in the undercategory $B/\mathscr{M}$ are relative cell complexes in $\mathscr{M}$": why do we need $B$ to be a cell complex? [closed]

$\newcommand{\M}{\mathscr{M}}\newcommand{\I}{\mathcal{I}}\newcommand{\J}{\mathcal{J}}$The context: the following is claimed in J. May's "more concise algebraic topology". We have some model ...
FShrike's user avatar
  • 487
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 ...
Arshak Aivazian's user avatar
5 votes
0 answers
147 views

Kähler differentials give a left Quillen functor

Is there a reference for the fact that the functor of Kähler differentials is a left Quillen functor on the category of $\mathrm{CDGA}_k/B$? Here $k$ is a field of characteristic $0$, and $B$ is some ...
Grisha Taroyan's user avatar
10 votes
0 answers
158 views

Rectifying diagrams of $\infty$-categories

If $C$ is a 1-category and $D$ is a locally presentable $(\infty,1)$-category presented by a combinatorial model (1-)category $M$, then any $(\infty,1)$-functor $C\to D$ can be represented by a strict ...
Mike Shulman's user avatar
  • 64.8k
3 votes
0 answers
53 views

Recognising absolute distributors in terms of simplicial model categories

Briefly, my question is the following: Can we recognise when a simplicial model category $\def\cM{\mathcal M}\cM$ is an absolute distributor, using only the language of (simplicial) model categories? ...
Zach Goldthorpe's user avatar
9 votes
1 answer
212 views

When a model category with prescribed homotopy category exists?

My question is probably insanely hard or very well-studied, but I could not find an answer, so I will ask it here. Assume that we have a suitably complete closed module over $\operatorname{Ho}(sSet).$ ...
Grisha Taroyan's user avatar

1
2 3 4 5
15