The model-categories tag has no usage guidance.

**47**

votes

**6**answers

3k views

### What are surprising examples of Model Categories?

Background
Model categories are an axiomization of the machinery underlying the study of topological spaces up to homotopy equivalence. They consist of a category $C$, together with three ...

**42**

votes

**4**answers

7k views

### Do we still need model categories?

One modern POV on model categories is that they are presentations of $(\infty, 1)$-categories (namely, given a model category, you obtain an $\infty$-category by localizing at the category of weak ...

**37**

votes

**6**answers

4k 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 ...

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

**27**

votes

**6**answers

3k views

### How to think about model categories?

I've read about model categories from an Appendix to one of Lurie's papers.
What are the examples of model categories? What should be my intuition about them?
E.g. I understand the typical examples ...

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

**21**

votes

**4**answers

900 views

### Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is:
"For spectra every cofibration is equivalent to a fibration" (e.g. in the ...

**21**

votes

**4**answers

1k views

### A Peculiar Model Structure on Simplicial Sets?

I'm wondering if there is a Quillen model structure on the category of simplicial sets which generalizes the usual model structure, but where every simplicial set is fibrant? I want to use this to do ...

**20**

votes

**4**answers

2k views

### Model structure on Simplicial Sets without using topological spaces

The category of simplicial sets has a standard model structure, where the weak equivalences are those maps whose geometric realization is a weak homotopy equivalence, the cofibrations are ...

**19**

votes

**4**answers

2k views

### How canonical is cofibrant replacement?

Quillen's original definition of a model category included noncanonical factorization axioms, one being that any map can be factored into a cofibration followed by an acyclic fibration. More recent ...

**18**

votes

**2**answers

596 views

### Limitations on model-categorical presentations

In higher category theory, it is common that a weak structure cannot be strictified in all directions simultaneously. For instance, a monoidal category is not (in general) equivalent to one that is ...

**17**

votes

**5**answers

2k views

### Derived categories and homotopy categories

There are two constructions that look quite similar to me: the derived category of an abelian category, and the homotopy category of a model category. Is there any explicit relationship between these ...

**17**

votes

**1**answer

1k views

### Joyal's letter to Grothendieck

Mostly out of curiosity: Where do I find Joyal's letter to Grothendieck in which he defines a model structure on simplicial sheaves?
The question was already asked in this MO post, but that ...

**17**

votes

**1**answer

1k views

### Homotopy colimits/limits using model categories

A homotopy (limits and) colimit of a diagram $D$ topological spaces can be explicitly described as a geometric realization of simplicial replacement for $D$.
However, a homotopy colimit can also be ...

**17**

votes

**2**answers

1k views

### Acyclic models via model categories?

Recall the acyclic models theorem: given two functors $F, G$ from a "category $\mathcal{C}$ with models $M$" to the category of chain complexes of modules over a ring $R$, a natural transformation $...

**16**

votes

**2**answers

840 views

### Homotopy Limits over Fibered Categories

Suppose I have a small category $ \mathcal{C} $ which is fibered over some category $\mathcal{I}$ in the categorical sense. That is, there is a functor $\pi : \mathcal{C} \rightarrow \mathcal{I}$ ...

**15**

votes

**3**answers

1k views

### Is there an additive model of the stable homotopy category?

Is there a model category $C$ on an additive category such that its homotopy category $Ho(C)$ is the stable homotopy category of spectra and the additive structure on $Ho(C)$ is induced from that on $...

**15**

votes

**5**answers

1k views

### Model structure of commutative dg-algebras inside all dg-algebras

Most of the literature considers the standard model category structure on (graded) commutative differential algebras. But this generalizes to all (not-necessarily commutative) dg-algebras.
Details ...

**15**

votes

**3**answers

2k views

### Model category structure on Set without axiom of choice

There is a model category structure on Set in which the cofibrations are the monomorphisms, the fibrations are maps which are either epimorphisms or have empty domain, and the weak equivalences are ...

**15**

votes

**2**answers

578 views

### How many model categories have the same weak equivalences?

There are many situations which arise where one might consider different Model categories with the same underlying category. For example in (left) Bousfield localization you start with a model ...

**15**

votes

**1**answer

833 views

### Is there a combinatorial way to factor a map of simplicial sets as a weak equivalence followed by a fibration?

Background on why I want this:
I'd like to check that suspension in a simplicial model category is the same thing as suspension in the quasicategory obtained by composing Rezk's assignment of a ...

**15**

votes

**1**answer

785 views

### Homology in the $A_\infty$ World

This question is turning out to be a little long so let me start off with the headline. Given a differential graded algebra $A$, we can recover $A$ from its homology $HA$ if we know "the" $A_\infty$-...

**15**

votes

**1**answer

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

**14**

votes

**3**answers

2k views

### What determines a model structure?

It is easy to prove that a model structure is determined by the following classes of maps (determined = two model structures with the mentioned classes in common are equal).
cofibrations and weak ...

**14**

votes

**4**answers

3k views

### Homotopy pullbacks and homotopy pushouts

I have a good grasp of ordinary pullbacks and pushouts; in particular, there are many categorical constructions that can be seen as special cases: e.g., equalizers/coequalizers, kernerls/cokernels, ...

**13**

votes

**2**answers

913 views

### Are non-empty finite sets a Grothendieck test category?

A "test category" is a certain kind of small category $A$ which turns out to have the following property: the category $\widehat{A}$ of presheaves of sets on $A$ admits a model category structure, ...

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

**13**

votes

**2**answers

479 views

### Model for the (infinity,1)-category of (homotopy-)limit preserving functors

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial ...

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

**13**

votes

**2**answers

768 views

### Model category structure on categories enriched over quasi-coherent sheaves

Gonçalo Tabuada has shown that there is a Quillen model category structure on the category of small dg-categories, i.e. the category of small categories enriched over chain complexes (for a fixed ...

**13**

votes

**1**answer

569 views

### The category theory of $(\infty, 1)$-categories

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent ...

**13**

votes

**2**answers

577 views

### Pointed Hurewicz model structure

In Strøm's (no relation) paper "The Homotopy Category is a Homotopy Category" he proves
that the category of unpointed topological spaces, with Hurewicz fibrations and ordinary cofibrations and ...

**13**

votes

**1**answer

678 views

### When is the category of pro-objects a homotopy category?

For a category $C$, there is a category Pro-$C$ whose objects are cofiltered diagrams $I \to C$ and whose morphisms are given by
$$
{\rm Hom}(\{x_s\},\{y_t\}) = \varprojlim_t\ \varinjlim_s\ {\rm Hom}(...

**13**

votes

**2**answers

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

**13**

votes

**1**answer

935 views

### A Model Category of Segal Spaces?

So in Julie Bergner's work on (infty, 1)-categories arXiv:0610239, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there ...

**13**

votes

**1**answer

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

**12**

votes

**5**answers

2k views

### Computations in $\infty$-categories

Direct to the point.
Since now I've looked a lot of presentations of $\infty$-categories, but it seems that the only way to do explicit computations on these objects is via model categories. Is that ...

**12**

votes

**3**answers

688 views

### Model Structure/Homotopy Pushouts in topological monoids?

Let C be the category of topological monoids, that is, the category of monoids in (Top, $\times$).
Can the model category structure on Top (Serre fibrations, cofibrations, weak homotopy equivalence)...

**12**

votes

**1**answer

452 views

### The weak equivalences in the covariant model structure

Let $S$ be a simplicial set. Recall that there is a model structure, called the covariant model structure (see HTT ch. 2 and this question), on $\mathbf{SSet}/S$ such that:
The cofibrations are the ...

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

**12**

votes

**1**answer

379 views

### How to localize a model category with respect to a class of maps created by a left Quillen functor

Let $M$ and $N$ be "nice" model categories. I'm happy to have "nice" mean combinatorial model category. Consider a Quillen pair
$$ L: M\rightleftarrows N: R.$$
I want the following result:
There ...

**12**

votes

**1**answer

1k views

### Do homotopy groups “always” commute with filtered colimits?

It is well-known that homotopy groups, of, say, simplicial sets, commute with filtered colimits.
However, I could not find a reference for an analogous result for homotopy groups of spectra, or, ...

**12**

votes

**2**answers

586 views

### global fibrations of simplicial sheaves

I'm reading the classical Brown-Gersten's paper "Algebraic K-theory as generalized sheaf cohomology" and I'm stuck with their choose of global fibrations. Namely, a morphism of simplicial sheaves $p : ...

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

**11**

votes

**3**answers

2k views

### What is the “universal problem” that motivates the definition of homotopy limits/colimits (and more generally “derived” functors)?

The ordinary notions of limit and colimit are universal solutions to a problem, specifically, finding terminal/initial objects in slice/coslice categories. In the context of homotopy right Kan ...

**11**

votes

**1**answer

895 views

### Is the simplicial completion of a localizer always a bousfield localization of the injective model structure?

Background
Recall (from Cisinski's Astérisque volume 308) that given a small category $A$, we define an $A$-localizer to be a class $W$ of morphisms of $\mathrm{Psh}(A)$ satisfying the following ...

**11**

votes

**2**answers

726 views

### Are generalized cohomology theories a homotopy category of some category of invariants?

I was taught to think of generalized cohomology theories as the homotopy category of (symmetric) spectra. But is there also a category of 'invariants', that is, some category of contravariant functors ...

**11**

votes

**1**answer

459 views

### Model structure on the category of small $A_\infty$ categories, hocolims.

I strangely could not find a reference for this. What are some (if any) model structures on the category of small $A_{\infty}$ categories, with weak equivalences quasi-equivalences. Same question in ...

**11**

votes

**2**answers

390 views

### The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...

**11**

votes

**3**answers

1k views

### What are the fibrant objects in the injective model structure?

If C is a small category, we can consider the category of simplicial presheaves on C. This is a model category in two natural ways which are compatible with the usual model structure on simplicial ...